COMPASS

Correctness, Modeling and Performance of Aerospace Systems

Main Window
Main Window
Model Simulation
Model Simulation
Model Checking
Model Checking
Fault Coverage Results
Fault Coverage Results
Fault Tree Analysis
Fault Tree Analysis
Diagnosability Analysis
Diagnosability Analysis
Performability Analysis
Performability Analysis
Failure Mode Effect Analysis (FMEA)
Failure Mode Effect Analysis (FMEA)
Fault Tree Verification
Fault Tree Verification
TFPG Analysis
TFPG Analysis
Contract Validation
Contract Validation
Contract Refinement
Contract Refinement