Results

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.