COMPASTA: Integrating COMPASS Functionality into TASTE-Reference-Cited by-同舟云学术

COMPASTA: Integrating COMPASS Functionality into TASTE

Published:2023-10-30 Issue:1 Volume:43 Page:54-57
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Bombardelli A.¹,Bonizzi A.¹,Bozzano M.¹,Cavada R.¹,Cimatti A.¹,Griggio A.¹,Nazaria M.¹,Nicolodi E.¹,Tonetta S.¹,Zampedri G.¹

Affiliation:

1. Fondazione Bruno Kessler, Trento, Italy

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

General Medicine

Link

https://dl.acm.org/doi/pdf/10.1145/3631483.3631489

Reference14 articles.

1. J. Hugues , L. Pautet , B. Zalila , P. Dissaux , and M. Perrotin , Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project," in Proc . ERTS , 2008 . J. Hugues, L. Pautet, B. Zalila, P. Dissaux, and M. Perrotin, Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project," in Proc. ERTS, 2008.

2. TASTE web page." https://taste.tools/. TASTE web page." https://taste.tools/.

3. SAE , Architecture Analysis & Design Language (AADL) ," 2022 . SAE document AS 5506D SAE, Architecture Analysis & Design Language (AADL)," 2022. SAE document AS5506D

4. International Telecommunication Union, IT U-T Z.100. Specification and Description Language -- Overview of SDL-2010 ," 2021 . International Telecommunication Union, ITU-T Z.100. Specification and Description Language -- Overview of SDL-2010," 2021.

5. ADE : Autonomous Decision Making in Very Long Traverses." ADE: Autonomous Decision Making in Very Long Traverses."