Results of the CHESS project are online PDF Print E-mail
Friday, 16 November 2012 13:10

Research and development within the CHESS project was completed in April 2012. The results produced within the project are now online on the website of the project.

CHESS training material is now available! PDF Print E-mail
Thursday, 25 October 2012 21:21

The official training and demo material for the CHESS methodology and toolset is now available!

The CHESS project has developed a first set of prototypes of the tools, which are being evaluated by the industrial user partners in the project. Video demonstrations of the prototype tools are available.

Moreover, a training curriculum have been developed, to allow embedded systems developers to become familiar with the CHESS tools and methodology. The training videos, which include both slides and narration from CHESS experts, are now public and available for download as well!

CHESS: Composition with Guarantees for High-integrity Embedded Software Components aSsembly PDF Print E-mail
Wednesday, 31 March 2010 00:00

Project contract: ARTEMIS-2008-1-100022
Project website:
Involvment type: subcontracted
Start date: 31-03-2010
End date: 31-03-2012

The development of Real-Time Embedded systems increasingly leans toward the adoption of Component- based Development and Model Driven Engineering approaches. The combination of these two approaches promises better mastery of complexity, increased reuse, and easier maintenance, thus reducing the costs and risks of development and deployment.

That very combination however also creates unique challenges for the development of high-integrity software. Two such challenges especially stand out:

  1. to develop components that can be certified or qualified individually for provably guaranteed delivery of the required level of service in operation;
  2. to preserve those guarantees in an assembly of heterogeneous software components on the target execution platform.

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web