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.
Monday, October 31, 2016