PolarSys CHESS 0.10.0
Monday, October 31, 2016
- 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.
This release is binary compatible with all previous releases
No support for internationalization currently implemented.
Windows 7 x86 64-bit Oracle Java 7
Ubuntu 14.04 x86 64-bit Open JDK 7