PolarSys CHESS 0.10.0
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.
The project leadership certifies that the APIs in this release are "Eclipse Quality".
The possible overlap between CHESS and the Eclipse Safety Framework Polarsys project should be investigated in the near future. Both address dependabilty and safety concerns, from the modelling and analysis point of view.
No security issues identified.
The user manual has been updated and available on the Polarsys CHESS project site.
CHESS model examples are available under the Polarsys CHESS project site, under the download section https://www.polarsys.org/chess/download.html.
A new document explaining the CHESS modelling language has been provided https://www.polarsys.org/chess/start.html under the Documentation tab.
The CHESS user interface is adherent to the Eclipse user interface. From the user interface point of view CHESS basically provides extensions to Eclipse menu, views, Papyrus UML editor, according to the available extension points.
Some bugs and required features was traced by adopters through bugzilla. Contributions from new developer were received trough bugzilla and gerrit.
In particular new major contributions were received from the academic community.
CHESS community is promoting the usage of the CHESS tool in several research project, in particular its usage in industrial case studies implementation, to foster the interest of the industrial community around the CHESS project.
Collaboration with OpenCert Polarsys project is foreseen in the near future, to exploit already idenfied synergies.