Experimental evaluation of computer-based railway control systems

Amendola, Arturo; Impagliazzo, L.; Marmo, P.; Poli, Fabio

doi:10.1109/ftcs.1997.614112

Cited by 23 publications

(5 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Several scientific papers present in the literature study automatic train protection/control systems [2][3][4][5][6] ; at the best of our knowledge, few public results are available about system reliability and availability analysis of ERTMS/ETCS. A hierarchical approach is described to develop a Colored Petri Net model that represents the on-board and trackside subsystem (TCS) behaviors and their interactions with the environment.…”

Section: Introductionmentioning

confidence: 99%

A Multiformalism Modular Approach to Ertms/Etcs Failure Modeling

Flammini

Marrone²,

Iacono³

et al. 2014

Int. J. Rel. Qual. Saf. Eng.

View full text Add to dashboard Cite

European Railway Traffic Management System/European Train Control System (ERTMS/ETCS) is a recent standard aimed at improving performance, safety and interoperability of modern railways. In order to be compliant to ERTMS/ETCS, a railway signalling system must meet strict nonfunctional requirements on system level failure modes. In this paper, a multiformalism model is employed to perform an availability analysis of an ERTMS/ETCS reference architecture at early phases of its development cycle. At this aim, a bottom-up analysis is performed from subsystem failure models (expressed by means of Generalized Stochastic Petri Nets, Fault Trees and Repairable Fault Trees) up to the overall system model. The modular approach, here used, allows to evaluate the influence of basic design parameters on the probability of system-level failure modes and demonstrates that system availability is within the bound required by the ERTMS/ETCS specification. The results show that the multiformalism modeling 1450001-1 Int. J. Rel. Qual. Saf. Eng. 2014.21. Downloaded from www.worldscientific.com by NORTHEASTERN UNIVERSITY on 02/18/15. For personal use only. F. Flammini et al.approach helps to cope with complexity, eases the verification of availability requirements and can be successfully applied to the analysis of complex critical systems.

show abstract

Section: Introductionmentioning

confidence: 99%

A Multiformalism Modular Approach to Ertms/Etcs Failure Modeling

Flammini

Marrone²,

Iacono³

et al. 2014

Int. J. Rel. Qual. Saf. Eng.

View full text Add to dashboard Cite

show abstract

“…Railway control systems are the ideal candidate for the application of the methodology described in this paper, featuring large, distributed, heterogeneous architectures and varying configurations according to any specific installation. The verification of railway control systems (like the ones compliant to the new ERTMS/ETCS standard [26]) have been studied in a number of research works, using either simulation based [27] or formal approaches [24]. As for any safety-critical system, the verification and validation of critical railway control systems must respect international safety standards, like the CENELEC norms [1].…”

Section: Related Workmentioning

confidence: 99%

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Flammini

Mazzocca

Orazzo

2008

Software Testing Verif & Rel

View full text Add to dashboard Cite

Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an "abstract testing" of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). Such a process is usually performed by hand for each installation of the control system, requiring a considerable time effort and being an error prone verification activity. To automate a safe passage from abstract tests, related to the so called generic software application, to any specific installation, an algorithm is provided, starting from a reference architecture and a state-based behavioural model of the control software. The presented approach has been applied to a railway interlocking system, demonstrating its feasibility and effectiveness in several years of testing experience.

show abstract

“…Work in [79] reports on fault injection-based testing of recovery and serviceability in the IBM ES/9000 systems. Fault injection and software testing were used by Ansaldo-Cris, Italy to assess dependability of new generation of Railway Control Systems [1]. In [34], physical fault injection at the pin-level was employed to validate error-handling mechanisms of teraflops supercomputer developed by Intel.…”

Section: Fault/error Injectionmentioning

confidence: 99%

Reflections on industry trends and experimental research in dependability

Siewiorek

Chillarege²,

Kalbarczyk

2004

IEEE Trans.Dependable and Secure Comput.

View full text Add to dashboard Cite

Experimental research in dependability has evolved over the past 30 years accompanied by dramatic changes in the computing industry. To understand the magnitude and nature of this evolution, this paper analyzes industrial trends, namely: 1) shifting error sources, 2) explosive complexity, and 3) global volume. Under each of these trends, the paper explores research technologies that are applicable either to the finished product or artifact, and the processes that are used to produce products. The study gives a framework to not only reflect on the research of the past, but also project the needs of the future.

show abstract

Experimental evaluation of computer-based railway control systems

Cited by 23 publications

References 4 publications

A Multiformalism Modular Approach to Ertms/Etcs Failure Modeling

A Multiformalism Modular Approach to Ertms/Etcs Failure Modeling

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Reflections on industry trends and experimental research in dependability

Contact Info

Product

Resources

About