From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS

Simon Bliudze (1) , Xavier Fornari (2) , Mathieu Jan

1 EPFL - Ecole Polytechnique Fédérale de Lausanne
2 ESTEREL TECHNOLOGIES - Esterel Technologies

Developing embedded safety critical real-time systems and ensuring properties such as deterministic behaviour in a simple way for the application designers is a challenging task. A large number of commercial and academic real-time operating systems (RTOS) as well as model-based development environments based on synchronous languages are available. Automatic transformations from synchronous modelling languages to RTOS are important for streamlining development of real-time applications without compromising the guarantees of their safety. In this paper, we present an automatic transformation from the SCADE synchronous language into applications for the OASIS safety-oriented real-time execution platform, a multi-scale time-triggered approach. This transformation has been partially implemented and we illustrate it with an industrial case-study from the domain of medium voltage protection relays.

Mots clés: Safety-Critical Applications; SCADE; OASIS

Domaines: Systèmes embarqués; Informatique [cs]

Simon Bliudze, Xavier Fornari, Mathieu Jan. From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02191848⟩