- 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
Release Type
Major release (API breakage)
| Name | Date | Description |
|---|---|---|
| 1.0.0 | 2020/06/24 |