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


Page last modified on September 21, 2016, at 03:30 PM