Research and development within the CHESS project was completed in April 2012.
The following public documents developed in the project are available for download.
D2.1 – CHESS modelling language and editor
D2.2 – Analysis and Evaluation Solutions
D2.3.2 – Multi-concern Component Methodology and Toolset
D3.1 – Dependability and security properties and analysis methods
D3.2.2 – Transformations and analysis support to dependability
D3.3 – Mechanisms and components for execution platforms supporting dependability
D4.1 – Predictability properties and analysis methods
D4.2.2 – Transformations and analysis support to predictability
D4.3 – Predictability property-preservation needs
D5.1 – Specification of technology-neutral property-preserving run-time environment
© 2010 - 2012 Copyright in all of the above documents and related software remains vested in the CHESS Project partners.
© 2023 Created by Scott Hansen. Powered by