News and information related to current and past RCL projects are listed in the following.
To filter the information by project, please use the links on the left column.

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: 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.
<< Start < Prev 1 2 3 4 5 6 Next > End >>

Page 2 of 6

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web