Behavior of a computer based interlocking system under transient hardware faults

L. Romano, Z. Kalbarczyk, R. K. Iyer, A. Mazzeo, N. Mazzocca

Research output: Contribution to conferencePaper

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.

Original languageEnglish (US)
Pages174-179
Number of pages6
StatePublished - Dec 1 1997
EventProceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, PRFTS - Taipei, Taiwan
Duration: Dec 15 1997Dec 16 1997

Other

OtherProceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, PRFTS
CityTaipei, Taiwan
Period12/15/9712/16/97

Fingerprint

Computer hardware
Computer systems
Control systems
Electronic data interchange
Scheduling
Hardware

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Romano, L., Kalbarczyk, Z., Iyer, R. K., Mazzeo, A., & Mazzocca, N. (1997). Behavior of a computer based interlocking system under transient hardware faults. 174-179. Paper presented at Proceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, PRFTS, Taipei, Taiwan, .

Behavior of a computer based interlocking system under transient hardware faults. / Romano, L.; Kalbarczyk, Z.; Iyer, R. K.; Mazzeo, A.; Mazzocca, N.

1997. 174-179 Paper presented at Proceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, PRFTS, Taipei, Taiwan, .

Research output: Contribution to conferencePaper

Romano, L, Kalbarczyk, Z, Iyer, RK, Mazzeo, A & Mazzocca, N 1997, 'Behavior of a computer based interlocking system under transient hardware faults', Paper presented at Proceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, PRFTS, Taipei, Taiwan, 12/15/97 - 12/16/97 pp. 174-179.
Romano L, Kalbarczyk Z, Iyer RK, Mazzeo A, Mazzocca N. Behavior of a computer based interlocking system under transient hardware faults. 1997. Paper presented at Proceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, PRFTS, Taipei, Taiwan, .
Romano, L. ; Kalbarczyk, Z. ; Iyer, R. K. ; Mazzeo, A. ; Mazzocca, N. / Behavior of a computer based interlocking system under transient hardware faults. Paper presented at Proceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, PRFTS, Taipei, Taiwan, .6 p.
@conference{fdc9cf5260e94c0fbd850fc79f5f052c,
title = "Behavior of a computer based interlocking system under transient hardware faults",
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.",
author = "L. Romano and Z. Kalbarczyk and Iyer, {R. K.} and A. Mazzeo and N. Mazzocca",
year = "1997",
month = "12",
day = "1",
language = "English (US)",
pages = "174--179",
note = "Proceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, PRFTS ; Conference date: 15-12-1997 Through 16-12-1997",

}

TY - CONF

T1 - Behavior of a computer based interlocking system under transient hardware faults

AU - Romano, L.

AU - Kalbarczyk, Z.

AU - Iyer, R. K.

AU - Mazzeo, A.

AU - Mazzocca, N.

PY - 1997/12/1

Y1 - 1997/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0031360109&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031360109&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0031360109

SP - 174

EP - 179

ER -