SW/Tool Type:
Open Source

Name:
COMPASS

Description:
COMPASS (COrrectness, Modeling and Performance of AeroSpace Systems) is a toolset aiming to ensure system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. The COMPASS toolset provides an integrated model-based approach for System-Software Co-Engineering. It uses formal verification techniques, notably model checking, and originates from an ESA initiative dating back to 2008.

Contact Point:
compass-support@lists.rwth-aachen.de.

Missions:
    Multiple


Instruments:
    Multiple


Mission_stage:
Mission Operations

Software/tool_category:
Visualisation

Company:
RWTH Aachen University (Germany) and Fondazione Bruno Kessler (Italy)

Date released:
None

Operative System:
Windows, Linux, Mac OS X

Version:
3.0

Documents Linked:
http://www.compass-toolset.org/

Storage Physical Location:


Thematic Area:

Application Domain:

Priority:

Notes:


Created At: May 1, 2019, 12:23 p.m. Updated At: May 1, 2019, 12:23 p.m. Date Featured: None