COMPASTA = COMPASS + TASTE

COMPASTA is an ESA study (2021–2022) that aims at integrating the functionalities of the COMPASS and TASTE toolsets. COMPASS is a tool for model-based system engineering (MBSE) developed in a series of ESA studies from 2008 to 2016. It integrates various formal techniques for automated verification, based on model checking. COMPASS supports and automates activities related to requirements engineering, contract-based design, functional verification, safety assessment, fault detection, identification and recovery (FDIR) specification and effectiveness analysis. TASTE is a development environment for real-time embedded systems, developed under the initiative of ESA. It is a composition of heterogeneous tools released under an open source schema, including code generators, middleware layers and a user interface, devoted to support embedded systems design and development in a model-based fashion. The integration of COMPASS into TASTE is based on the idea, namely the COMPASS back-ends are split from the COMPASS front-end, and integrated directly into the TASTE front-end. In this way, the COMPASS functionalities become available in TASTE, to support the analysis of specifications written in different input languages and for different purposes. The novelty of COMPASTA consists in providing a full end-to-end coherent tool chain covering system design, verification, RAMS analyses, HW/SW implementation, deployment and testing. In this paper, we discuss the objectives and technical benefits of COMPASTA, and we demonstrate the COMPASTA approach and technology.