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/4-8 - 2013  - pp.403-421  - doi:10.3166/jesa.47.403-421
TITRE
Méthode de conception sûre de systèmes embarqués à base de COTS. Cas d'étude

TITLE
Safe design method of embedded control systems. Case study

RÉSUMÉ
Dans cet article une méthode de conception sûre de systèmes de contrôle-commande embarqués à base de COTS a été proposée. La méthode commence par l'élaboration des COTS ControlBuild, puis elle sollicite la technique de la vérification formelle pour découvrir les erreurs de conception. Ensuite la technique de la synthèse du contrôleur discret (SCD) est utilisée pour corriger automatiquement les erreurs détectées. La méthode proposée est illustrée sur un exemple ferroviaire d'accès voyageurs aux trains 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 counter examples, 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.


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

MOTS-CLÉS
COTS, vérification formelle, synthèse de contrôle discret, système à événements discrets, propriété de sureté, propriété de vivacité.

KEYWORDS
COTS, formal verification, discrete controller synthesis, discrete event system, safety, liveness property.

LANGUE DE L'ARTICLE
Anglais

 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  (914 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier