- Improved support for contract-based design analysis and model checking (integration with OCRA, nuXmv, xSAP tools).
- Support for FTA, FMEA.
- Support for parameterized architecture and trade-off analysis.
- Automatic generation of Mobius SAN models.
- CHESSML dependability profile extension for security.
- Automatic generation of diagrams and documentation.
Release Date:
Wednesday, June 24, 2020
Review:
Release Type:
Major release (API breakage)