Projects

This is an incomplete list of projects using this tool.

• Current
  • Catsy: Catalog of System Properties
  • Amass: Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
  • CITADEL
• Past
  • 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