Title :

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

Author(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]

Conference title :

IEEE Conference on Automation Science and Engineering

City :

Trieste

Country :

Italie

Start date of the conference :

2011-11-24

Book title :

Proceeding of CASE' 2011

Publication date :

2011-11-24

HAL domain(s) :

Informatique [cs]/Automatique

English abstract : [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 ...
Show more >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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

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

Source :

Harvested from HAL