This content is not published

Integration of the COMPASS and TASTE toolsets (COMPASTA)

Thu, 06/22/2023 - 11:46
Start Date: 
2020
Programme: 
Discovery
End Date: 
2022
Programme Reference: 
20-D-T-TEC-04-i
Country: 
Italy
Contractor: 
Fondazione Bruno Kessler
Status: 
Closed
Description: 

COMPASS is a tool for model-based system/software co-engineering developed in a series of ESA studies (2008–2016). It is based on a dialect of AADL and it offers a complete set of functionalities for formal verification, including requirements specification and analysis, contract-based design and verification, functional verification, fault specification, fault injection and RAMS analyses, including Fault Tree Analysis (FTA), Failure Modes and Effects Analysis (FMEA), Diagnosability Analysis, Fault Detection, Isolation and Recovery Analysis (FDIR). COMPASS is based on the AADL built-in concept of model extension, i.e., the possibility to automatically inject faults into a nominal model, by specifying error models and a set of fault injections.

TASTE is a development environment dedicated to embedded, real- time systems, developed since 2008 under the initiative of ESA, together with a set of partners from the space industry. It consists of various tools such as graphical editors for models, visualisers, code generators and middlewares that support the development of embedded systems within a model-based design (MBD) approach. The key technologies involved are AADL for architecture definition, ASN.1 for data modelling and SDL for behavior specification.

The objective of COMPASTA is to integrate the COMPASS functionality into TASTE, thus providing a comprehensive, end-to-end tool chain that covers system development, early verification and validation, safety assessment and FDIR, and system deployment.

Application Domain: 
Generic Technologies
Technology Domain: 
8 - System Design & Verification
Competence Domain: 
9-Digital Engineering
Keywords: 
COMPASS
TASTE
MBSE
Executive summary: