Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02191848
Contributor : Axelle Pagnier <>
Submitted on : Tuesday, July 23, 2019 - 4:36:49 PM
Last modification on : Wednesday, July 24, 2019 - 1:32:41 AM

File

3B-3.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02191848, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

14

Files downloads

19