SAFE-V is part of the Hands-on Dependability course, aimed at enhancing safety analysis of autonomous vessels through fault tree analysis. This project focuses on developing software features for efficient fault tree analysis, including finding minimal cut sets and introducing quantitative analysis capabilities.
- Rust Programming Language
- Fault tree analysis techniques
- Efficient algorithm for minimal cut sets identification
- Computation of minimal path sets for safety analysis
- Implementation of quantitative fault tree analysis