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

Ramla Saddem (1) , Armand Toguyeni (1) , Moncef Tagina (2)

1 STF - Systèmes Tolérants aux Fautes
2 SOIE - Stratégies d’Optimisation et Informatique intelligentE

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.

Domaines: Automatique

Ramla Saddem, Armand Toguyeni, Moncef Tagina. Diagnosis of Critical Embedded Systems: Application to the Control Card of a Railway Vehicle Braking Systems. IEEE Conference on Automation Science and Engineering, Nov 2011, Trieste, Italy. pp.163-168, ⟨10.1109/CASE.2011.6042512⟩. ⟨hal-00801506⟩