Eclipse CHESS™ 1.0.0

  • 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