التفاصيل البيبلوغرافية
العنوان: |
COMPASTA: Integrating COMPASS Functionality into TASTE. |
المؤلفون: |
Bombardelli, A., Bonizzi, A., Bozzano, M., Cavada, R., Cimatti, A., Griggio, A., Nazaria, M., Nicolodi, E., Tonetta, S., Zampedri, G. |
المصدر: |
Ada User Journal; Mar2023, Vol. 44 Issue 1, p75-78, 4p |
مصطلحات موضوعية: |
ARCHITECTURAL design |
الشركة/الكيان: |
EUROPEAN Space Agency |
مستخلص: |
TASTE is a tool chain dedicated to the design and implementation of embedded, real-time systems, developed under the initiative of the European Space Agency (ESA). It consists of various tools, which support model-based design of embedded systems, automatic code generation, deployment and simulation. TASTE is based on several specification languages, in particular it uses AADL for the architectural design, whereas the behavior of SW components can be specified in SDL and other languages. TASTE currently lacks a comprehensive support for performing early verification and assessment of the design models. COMPASTA is an ESA study that aims at filling this gap, by integrating into TASTE the formal verification functionality of COMPASS, a tool for model-based HW-SW co-Engineering developed in a series of ESA studies. COMPASTA extends TASTE by providing the possibility to model the behavior of HW components using SLIM, a dialect of AADL supported by COMPASS. Moreover, it offers capabilities such as library-based specification of HW faults, automatic fault injection, contract-based design, functional verification and safety assessment, fault detection and identification analysis. [ABSTRACT FROM AUTHOR] |
|
Copyright of Ada User Journal is the property of Ada-Europe ivzw/aisbl and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
قاعدة البيانات: |
Complementary Index |