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.