Projects

This is an incomplete list of projects using this tool.

• Current

  • Boeing collaboration

• Past

  • COMPASTA: Integration of the COMPASS and TASTE Toolset
  • VALU3S: Verification and Validation of Automated Systems' Safety and Security
  • COMPASS3: Consolidation of COMPASS Tools
  • Catsy: Catalog of System Properties
  • Amass: Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
  • CITADEL
  • MISSA: More Integrated and cost efficient Systems Safety Assessment
  • EURAILCHECK: ERA project on the formalization and validation of ETCS
  • COMPASS: Correctness, Modeling and Performance of Aerospace Systems
  • OMC-ARE: On board Model Checking Autonomous Reasoning Engine
  • IRONCAP: Innovative Rover Operations Concept -- Autonomous Planning
  • AUTOGEF: Dependability design approach for critical flight software
  • FAME: FDIR Development and Verification & Validation Process
  • HASDEL: Hardware-Software Dependability for Launchers
  • SafeCer: Safety Certification of Software-Intensive Systems with Reusable Components
  • D-MILS: Distributed MILS for Dependable Information and Communication Infrastructure