- 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.
Wednesday, June 24, 2020
Major release (API breakage)