Task Scheduler Based Design of Software Architecture for Distributed Timed Automata in Safety Critical Systems

Abstract:

The paper revisits the approach of distributed timed automata in order to improve and optimize the methodology used in order to increase the availability of a safety critical system and implements using embedded real time task scheduler. A double wheel counter or digital axle counter system, a typical safety critical system that is used in solid state based railway signaling systems, is considered for achieving higher availability under certain failures. The improvement in the software architecture is influenced by the theory of task scheduler of real time operating system.

• Periodical: Advanced Materials Research (Volumes 403-408)
• Pages: 3430-3437
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.403-408.3430
• Online since: November 2011
• Authors: Yogendra Namjoshi
• Keywords: Digital Axle Counter, High Availability, Railway Signaling, Safety Critical Systems, Task Scheduler, Timed Automata

References

[1] Namjoshi Y.A., Distributed Timed Automata Approach for High Availability in Safety Critical Systems, Proc. of International Conference on Embedded Systems 2010, July (2010).

[2] Gurulingesh R., Formal Methods for Safety-Critical Embedded Real Time System: A case study, Term Paper in Formal Specification and Verification of Programs course at IIT Bombay.

[3] Single Section Digital Axle Counter Version 2. 0, RDSO/SPN/177/2005, Specification from Research, Designs and Standards Organization, Ministry of Railways, Lucknow.

[4] Goundan P.R., Jhunjhunwala A., Axle Counter based Block Signaling for Safe and Efficient Train Operations, IEEE Vehicular Technology Conference, Fall (1999).

DOI: 10.1109/vetecf.1999.798444

[5] Kinder S., Dreschler R., Efficient Design-Flow for Counting Heads (Unpublished work), Unpublished work.

[6] Ngolah, C.F.,  Yingxu W., Xinming T. Implementing task scheduling and event handling in RTOS+", IEEE Canadian Conference on Electrical and Computer Engineering, May (2004).

DOI: 10.1109/ccece.2004.1349696

[7] Kopetz H., El-Salloum C., Huber B., Obermaisser R. Periodic Finite-State Machines, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing.

DOI: 10.1109/isorc.2007.47

[8] Mertin A., Hartwig O., Method for improving availability of decentral axle counting and track-free signaling systems, EU Patent EP1264755A1 Siemens A G, Dec (2002).

[9] Chakraborty A., Fault Tolerant Fail Safe System for Railway Signaling, Proceedings of the World Congress on Engineering and Computer Science 2009 Vol II.

[10] Wuelfrath J., Method for improving availability of multi-section axle counters, EU Patent EP0739802 A2 Alcatel, Oct (1996).