Below are some screenshots of the GUI that comes with the COMPASS toolset.
-
- Main Window
-
- Model Simulation
-
- Model Checking
-
- Fault Coverage Results
-
- Fault Tree Analysis
-
- Diagnosability Analysis
-
- Performability Analysis
-
- FMEA
-
- Fault Tree Verification
-
- TFPG Analysis
-
- Contract Validation
-
- Contract Refinement
