Composition with guarantees for High-integrity Embedded Software components assembly
ARTEMIS Join Undertaking / Ministry of Instruction, University and Research - ARTEMIS-2008-1
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).
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:
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:
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.