Safe design method of embedded control systems. Case study - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal Européen des Systèmes Automatisés (JESA) Année : 2013

Safe design method of embedded control systems. Case study

Salam Hajjar
Emil Dumitrescu
Eric Niel
  • Fonction : Auteur

Résumé

Résumé— This paper proposes an approach for safe design of hardware embedded control systems. The approach is based on a combination of formal verification and discrete controller synthesis techniques. Formal verification is solicited to detect design errors and provide counterexamples, while the Discrete Controller Synthesis technique is used to correct those error since it attempts to enforce previously verified specifications which do not hold. It automatically produces control code, which is assembled to the erroneous component in order to provide a system correct by construction with respect to the specification to enforce. We illustrate the approach on a train controller subsystem taken from "Bombardier Transport" company. Mots-clés— COTS, Verification formelle, synthese du contrôleur discret, système à événements discrets, composant correct par conception.
Fichier principal
Vignette du fichier
JDMACS_article (2).pdf (579.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01080095 , version 1 (04-11-2014)

Identifiants

Citer

Salam Hajjar, Emil Dumitrescu, Eric Niel. Safe design method of embedded control systems. Case study. Journal Européen des Systèmes Automatisés (JESA), 2013, 47, pp.403 - 421. ⟨10.3166/jesa.47.403-421⟩. ⟨hal-01080095⟩
106 Consultations
151 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More