Behavior of a computer based interlocking system under transient hardware faults
- 22 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The paper addresses the safety analysis and evaluation of a hard real-time, interlocking, railway control system. The major objective is to demonstrate an efficient methodology capable of capturing crucial system dependability characteristics while allowing meaningful results to be obtained within a reasonable time. The evaluation is done by simulating the execution of the control software under transient hardware faults. The study demonstrates that simulation is a valuable approach to quick and accurate assessment of critical, railway control systems. It allows to study the trade-offs between different alternatives and to quantify the impact of crucial system parameters (e.g., scheduling policy in data exchange among redundant units in the system) on the overall system dependability.Keywords
This publication has 4 references indexed in Scilit:
- Simulation of software behavior under hardware faultsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Experimental evaluation of computer-based railway control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- DEPEND: a simulation-based environment for system level dependability analysisIEEE Transactions on Computers, 1997
- Reaching Agreement in the Presence of FaultsJournal of the ACM, 1980