Composition with guarantees for High-integrity Embedded Software components assembly
Funding programme ARTEMIS Join Undertaking / Ministry of Instruction, University and Research - ARTEMIS-2008-1
Partners Italcertifer (I),Thales Alenia Space (F), Thales Communications (F), ATEGO (ex Aonix ) (F), GMV (E), Atos Origin (E), Aicas (D), X/Open Company Limited- The Open Group (UK), Ericsson (SW), Enea (SW), CNR/ISTI (I), INRIA (F), Fraunhofer ESK (D), Forschungszentrum Informatik FZI (D), University of Padua (I), Universitad Politecnica de Madrid (E), Maelardalen University (SW), University of Florence (I) (subcontractor of ISTI/CNR).
Description CHESS seeks mature industrial quality research solutions to problems of property-preserving component assembly in real-time and dependable embedded systems.
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.
Current component-based run-time environments and their associated software development infrastructures (modelling languages, model transformation engines, code generators) address the functional dimension of components, but do not address their non-functional characteristics satisfactorily. The developer should not only consider the functional behaviour and the internal structure of components, but also their non-functional requirements (e.g., timing, input and output accuracy, robustness). Such non-functional requirements should be:
mapped onto the architectural model;
captured by the expression of extra-functional properties attached to components;
and then preserved at run time.
CHESS supports the description, verification, and preservation of extra-functional properties of software components from the component model abstract level to the implementation and run time level.
CHESS develops model-driven solutions, integrates them in component-based execution frameworks, assesses their applicability and verifies their performance through the elaboration of use cases from industry, that are representative from the perspective of the telecommunications, space, railways and automotive domains.
Intecs The Brainware company