COMPASS is a toolset for the evaluation of system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. It supports a comprehensive process for system-software co-engineering, by covering Requirements Validation, Functional Correctness, Safety and Dependability Analysis, Performability Analysis, and has specific capabilities for the analysis and synthesis of Fault Detection, Identification and Recovery. The AADL-based input language allows for a natural modeling of the nominal and erroneous behaviours of discrete, timed and probabilistic systems. At its core, COMPASS integrates advanced model checking and probabilistic engines for the analysis of dynamic systems.
COMPASS has been developed since 2008, with funding of the European Space Agency, by Fondazione Bruno Kessler (FBK), Trento, and the RWTH Aachen, through the projects COMPASS, AUTOGEF, FAME, HASDEL, and CATSY.
COMPASS Technology Description: http://esa-tec.eu/space-technologies/from-space/compass-correctness-modelling-and-performance-of-aerospace-systems/