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:

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.