PolarSys CHESS 0.10.0

Primary tabs

This release provides several major features:

  • New profile for dependability
  • Tool support for State Based Analysis and Failure Logic Analysis.
  • Support for contract based modelling; integration with OCRA FBK tool for contract based analysis.
  • New Instance View to navigate and chek\create timing properties for software component instances.
  • Support for multiple software to hardware deployment modelling and analysis.
  • New specialized properties tabs.

Several bugs have been fixed.

Release Date: 
Monday, October 31, 2016
Release Type: 
Minor release