A Component-based Safe Design method for train control systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A Component-based Safe Design method for train control systems

Salam Hajjar
Emil Dumitrescu
Eric Niel
  • Fonction : Auteur

Résumé

In this paper, Formal verification and Discrete controller synthesis are combined within a component-based design method. Formal verification finds design errors and provides counter-examples. The Discrete Controller Synthesis technique attempts to enforce previously verified specifications which do not hold. It automatically produces control code, which is correct by construction with respect to the specification to enforce. This approach is presented and illustrated on an industrial railway system.
Fichier principal
Vignette du fichier
ERTS_article.pdf (580.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01091237 , version 1 (04-12-2014)

Identifiants

  • HAL Id : hal-01091237 , version 1

Citer

Salam Hajjar, Emil Dumitrescu, Eric Niel. A Component-based Safe Design method for train control systems. Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. ⟨hal-01091237⟩
112 Consultations
67 Téléchargements

Partager

Gmail Facebook X LinkedIn More