ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 47/1-3 - 2013  - pp.93-107  - doi:10.3166/jesa.47.93-107
TITRE
Conception sûre de systèmes de contrôle-commande matériels à base de COTS

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 automatiquement les erreurs détectées. La méthode proposée est illustrée sur un 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 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 correct by construction with respect to the specification to enforce. We illustrate the approach on a real train controller subsystem.


AUTEUR(S)
Salam HAJJAR, Emil DUMITRESCU, Eric NIEL

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é.

KEYWORDS
COTS, formal verification, discret controller synthesis, discret event systems, safety property, liveness property.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (700 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier