Reviews run for a minimum of one week. The outcome of the review is decided on this date. This is the last day to make comments or ask questions about this review.
First interim release of the CHESS plugins supporting software design, verification and implementation.
In particular the release includes a number of extensions for the MDT-Papyrus UML editor, including support for design through views, support for timing analysis and Ada 2012 automatic code generation.
The project leadership certifies that the APIs in this release are "Eclipse Quality".
The Papryus extension for views will be refactored to allow a more customizable support for the expression of views definition.
No security issue has been identified so far.
The goal of CHESS is to provide a model driven methodology and corresponding toolset for the development of software system based upon early validation and correctness by construction principles.
The usability of CHESS has been tested in several use cases.
CHESS is a customization of the MDT-Papryrus UML tool; the user interface is conformat to the User Interface Guidelines.
This is the first CHESS release, this item is not applicabile.
CHESS relies on the OMG standards for the modelling of the system. In particular UML and MARTE profile has been adopted as baseline for the CHESS modelling language.
User, adopter and developer/committer:
Consortium of the 3-years CHESS project
- Initiator of the CHESS Polarsys proposal (currently lead in Polarsys by Intecs and University of Padova).
- Training of the CHESS methodology and toolset
Consortium of the 3-years CONCERTO project
- running project (end May 2016)
improvement of the CHESS features to address
- modelling and analysis of mixed criticality systems,
- support for multicore architectures
- new dependability profile
External partners showing interest in the CHESS project
- new upcoming contributions and committers expected soon
- The user guide has been made available for download in the website
- Active Bugzilla