Skip to Main content Skip to Navigation
New interface
Journal articles

Conception sûre de systèmes de contrôle-commande matériels à base de COTS

Résumé : RÉSUMÉ. Cet article propose une méthode de conception sûre de systèmes de contrôle-commande embarqués à base de COTS ControlBuild. La méthode commence par l'élaboration des COTS ControlBuild, puis elle utilise la vérification formelle pour découvrir les erreurs de conception. Ensuite la technique de la synthèse du contrôleur discret (SCD) est employée pour corriger au-tomatiquement les erreurs détectées. La méthode proposée est illustrée sur un l'exemple d'un système ferroviaire d'accès voyageurs pour le train NAT. ABSTRACT. This paper proposes an approach for safe design of hardware embedded control sys-tems. 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 coun-terexamples, 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 automati-cally produces control code, which is correct by construction with respect to the specification to enforce. We illustrate the approach on a real train controller subsystem. MOTS-CLÉS : COTS, vérification formelle, synthèse de contrôleurs discrets, système à événements discrets, propriété de sûreté, propriété de vivacité.
Document type :
Journal articles
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01080214
Contributor : Salam Hajjar Connect in order to contact the contributor
Submitted on : Tuesday, November 4, 2014 - 4:30:35 PM
Last modification on : Wednesday, November 30, 2022 - 3:12:11 PM
Long-term archiving on: : Thursday, February 5, 2015 - 11:21:56 AM

File

MSR'13_article (3).pdf
Files produced by the author(s)

Identifiers

Citation

Salam Hajjar, Emil Dumitrescu, Eric Niel. Conception sûre de systèmes de contrôle-commande matériels à base de COTS. Journal Européen des Systèmes Automatisés (JESA), 2013, 47 (1-3), pp.93 - 107. ⟨10.3166/jesa.47.93-107⟩. ⟨hal-01080214⟩

Share

Metrics

Record views

100

Files downloads

906