Titre :

Diagnosis of Critical Embedded Systems: Application to the Control Card of a Railway Vehicle Braking Systems

Auteur(s) :

Saddem, Ramla [Auteur]
Systèmes Tolérants aux Fautes [STF]
Toguyeni, Armand [Auteur correspondant]
Systèmes Tolérants aux Fautes [STF]
Tagina, Moncef [Auteur]
Stratégies d’Optimisation et Informatique intelligentE [SOIE]

Titre de la manifestation scientifique :

IEEE Conference on Automation Science and Engineering

Ville :

Trieste

Pays :

Italie

Date de début de la manifestation scientifique :

2011-11-24

Titre de l’ouvrage :

Proceeding of CASE' 2011

Date de publication :

2011-11-24

Discipline(s) HAL :

Informatique [cs]/Automatique

Résumé en anglais : [en]

Embedded systems are more and more used to control critical systems. In this paper, we propose a diagnostic approach to increase the security of control of critical embedded system based on digital components. This is a ...
Lire la suite >Embedded systems are more and more used to control critical systems. In this paper, we propose a diagnostic approach to increase the security of control of critical embedded system based on digital components. This is a part of a study to design of an electronic card to control a railway vehicle braking system. Because of the critical aspect, it is necessary to diagnose the failures of the control card to process them online for safety purposes. In this paper, we propose to use diagnoser technique based on timed automata. But since this technique suffers of combinatorial explosion and because digital devices are characterized by a lot of input/output, our approach proposes to make an abstraction of the system behavior to reduce the size of the models and to implement a kind of distributed diagnosers.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL