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.