CHESS Composition with Guarantees for High-integrity Embedded Software Components ASsembly (ARTEMIS

Purpose and goal

CHESS looks for industrial-quality research solutions to solve problems of property-preserving component assembly in real-time and dependable embedded systems and supports the description and evaluation of non-functional properties of software components, both at the design abstraction level and at the execution level. CHESS addresses this problem by applying model-driven solutions, integrates them in component-based execution frameworks, and assesses their applicability and performance from the perspective of multiple industrial domains.

Results and expected effects

The development of Real-Time Embedded systems increasingly leans toward the adoption of Component-based Development and Model Driven Engineering approaches. Their conjugation promises to better master complexity, increase reuse and ease maintenance, thus reducing development and deployment costs and risks. One of the challenges of high-integrity software component development is to provably guarantee a required level of service from the assembly of heterogeneous software component assets on the target execution platform. A high-integrity component is able to provably guarantee to deliver the required level of service in operation, against certification and/or qualification constraints. The current component-based run-time environments and the relevant software development infrastructures (modelling languages, model transformation engines, code generators) permit to 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 the non-functional requirements that insist on them (timing, input and output accuracy, robustness). Such non-functional requirements should be mapped on the architectural model, captured by the expression of extra-functional properties attached to components, and then preserved at run time. CHESS looks for industrial-quality research solutions to solve problems of property-preserving component assembly in real-time and dependable embedded systems and supports the description, verification and preservation of non-functional properties of software components at the abstract level of component design as well as at the execution level. CHESS addresses this problem by applying model-driven solutions, integrates them in component-based execution frameworks, assesses their applicability from the perspective of multiple domains, like space, railways, telecommunications and automotive, and verifies their performance through the execution of industrial use cases.

Approach and implementation

The development of Real-Time Embedded systems increasingly leans toward the adoption of Component-based Development and Model Driven Engineering approaches. Their conjugation promises to better master complexity, increase reuse and ease maintenance, thus reducing development and deployment costs and risks. One of the challenges of high-integrity software component development is to provably guarantee a required level of service from the assembly of heterogeneous software component assets on the target execution platform. A high-integrity component is able to provably guarantee to deliver the required level of service in operation, against certification and/or qualification constraints. The current component-based run-time environments and the relevant software development infrastructures (modelling languages, model transformation engines, code generators) permit to 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 the non-functional requirements that insist on them (timing, input and output accuracy, robustness). Such non-functional requirements should be mapped on the architectural model, captured by the expression of extra-functional properties attached to components, and then preserved at run time. CHESS looks for industrial-quality research solutions to solve problems of property-preserving component assembly in real-time and dependable embedded systems and supports the description, verification and preservation of non-functional properties of software components at the abstract level of component design as well as at the execution level. CHESS addresses this problem by applying model-driven solutions, integrates them in component-based execution frameworks, assesses their applicability from the perspective of multiple domains, like space, railways, telecommunications and automotive, and verifies their performance through the execution of industrial use cases.