Release Date
Deliverables
- 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.
| Name | Date | Description |
|---|---|---|
| 1.0.0 | 2020/06/24 |