COMPASTA: Extending TASTE with Formal Design and Verification Functionality

TASTE is a development environment dedicated to embedded, real-time systems, developed under the initiative of the European Space Agency. It consists of various tools, such as graphical editors, code generators and visualizers, which support model-based design of embedded systems, automatic code generation, deployment and simulation. TASTE currently lacks a comprehensive support for performing early verification and assessment of the design models. The goal of the COMPASTA study is to integrate the formal verification capabilities of COMPASS into TASTE. COMPASS is a tool for model-based System-SW Co-Engineering developed in a series of ESA studies, offering formal design and verification capabilities, such as requirements analysis, contract-based design, functional verification and safety assessment, fault detection and identification analysis. COMPASTA will deliver a full end-to-end coherent tool chain, based on TASTE, covering system design, HW/SW implementation, deployment and testing.