Eclipse CHESS™ 1.0.0
Primary tabs
Release Date:
Wednesday, June 24, 2020
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.
Milestones:
Name | Date | Description |
---|---|---|
1.0.0 | 2020/06/24 |