From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

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

Simon Bliudze
Mathieu Jan
  • Fonction : Auteur
  • PersonId : 864070

Résumé

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.
Fichier principal
Vignette du fichier
3B-3.pdf (558.74 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02191848 , version 1 (23-07-2019)

Identifiants

  • HAL Id : hal-02191848 , version 1

Citer

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⟩

Collections

ERTS2012
52 Consultations
165 Téléchargements

Partager

More