Eclipse CHESS™ 1.0.0
Primary tabs
Description:
- 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.
Security Issues:
There is no specific security issue detected on the CHESS features.
Non-Code Aspects:
- Updated website with information about CHESS, documentation, model examples download (https://www.eclipse.org/chess/start.html)
Conforms To UI/UX Guidelines:
Not verified
Usability Details:
CHESS UI is compliant with User Interface Guidelines.
End of Life:
No APIs and significant features are intended to be deprecated in a near future.
Standards:
CHESS modelling language (CHESSML) is based upon UML, SysML and MARTE standards.
In addition CHESSML provides profiles for contract-based design and dependability.
Communities:
User, Adopter:
Developer/Committer:
The communities which have already adopted CHESS are mainly the following:
- the research community including academies. They use CHESS for teaching and extend it for research purposes (MDH, University of Pisa, Padova, Cantabria,Institute of Computing of UNICAMP, CITY University, ISEP, ...)
- tool providers. They extend CHESS for research purposes and exploit it to provide services to customers (Intecs, FBK)
- a large number of industries. They use CHESS for research purposes (in the context of more than 10 large R&D projects in the frame of 8 years), and customers of Intecs and FBK