Results of the CHESS project are online |
|
|
|
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.
|
Read more...
|
CHESS training material is now available! |
|
|
|
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 |
|
|
|
Wednesday, 31 March 2010 00:00 |
Project contract: ARTEMIS-2008-1-100022 Project website: http://www.chess-project.org/ 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:
- to develop components that can be certified or qualified individually for provably guaranteed delivery of the required level of service in operation;
- to preserve those guarantees in an assembly of heterogeneous software components on the target execution platform.
|
Read more...
|
|
|
|