You are here

Model Based Design


The goal of COMPASTA is to integrate the COMPASS toolset with TASTE. COMPASS is a toolset for System-SW Co-Engineering developed in a series of ESA studies from 2008 to 2016. It is based on a dialect of AADL and provides a full set of verification and validation techniques, based on model checking, including requirements analysis, faults extension, functional correctness, safety assessment and dependability, FDIR, performability analysis.


CHESS (Composition with Guarantees for High-integrity Embedded Software Components Assembly) tool is a open source software project that supports the design phases of safety-critical systems, combining the model-driven architecture design with formal methods.