SESAME

Specification based tEsting of SAfety-critical small-sized eMbedded systEms

The objective is to develop a component based development method adapted to the needs and the constraints of safety critical embedded systems. In particular, it will be a question of proposing a component model allowing its integration in an existing system with a minimum effort of interfacing and validation. The selected formalism for this study is the standard UML. It will be a question, initially, of identifying and of formalizing in the standard formalism UML, the concept of component and particularly the description of their dynamic behavior. On this basis, it will be a question, then, of defining the techniques and the constraints allowing to ensure the compatibility of the operations' properties of the components during their assembly to carry out the total system.

Contact: Nicolas Guelfi
Project Page :