COMPASS
Correctness, Modeling and Performance of Aerospace Systems
Overview
Screenshots
Projects
Downloads
Publications
FAQ
Contact
Main Window
Model Simulation
Model Checking
Fault Coverage Results
Fault Tree Analysis
Diagnosability Analysis
Performability Analysis
Failure Mode Effect Analysis (FMEA)
Fault Tree Verification
TFPG Analysis
Contract Validation
Contract Refinement