Integration of the COMPASS and TASTE toolsets (COMPASTA)

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.