Abstract
Railway control systems are designed to ensure the safe behaviour of the Railway systems. While any existing railway control system has to ensure safety, each system is different from others, by difference of architecture, and difference of development process. This paper proposes a general presentation of safety related/critical systems based on software. It presents a classification of the development processes, and a classification of the architectures, and qualifies architectures and development processes. Each architecture has a set of undetectable errors that constitutes its weakness. And each development process is oriented towards a set of avoided faults. The use of a development process associated to an architecture is a way to reduce as far as possible the set of undetectable errors (through fault avoidance). This analysis leads to associate to each architecture the required development process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.N.Gray, “Why computers stop and what can be done about it?”, Proc. 5th. Symposium on Reliability in Distributed Software and Database Systems, Los Angeles (USA), Jan. 1986
J.R. Abrial, M.K.O. Lee, D.S. Neilson, P.N. Scharbach, I.H. Sorensen, “The B-method”, VDM’91, Formal Software Development Methods, vol.2, tutorials 552, pp.398–405
A.H. Cribbens, “Solid-state Interlocking(SSI): an integrated electronic signaling system for mainline Railways”, IEE Proc., vol.134, pp.148–158
K.H. Huang, J.A. Abraham, “Algorithm-Based Fault Tolerance for Matrix Operations”, IEEE Transactions on Computers, June 1984, pp.518–528
J. Martin,“Vital processing by single coded unit”, Proceedings of SAFECOMP’ 92, Ziirick, Switzerland, 1992, pp.147–152
K. Akita, “Practical use of computerised interlocking system “SMILE” in JNR”, Japanese Railway Engineering, N°94, June 1985, pp.21–24
J. Kershaw, “VIPER”, IEE Colloquium on VLSI Architectures, vol.32, March 1987, pp.6–13
D. Weiniger, “Elektronische stellwerk in modulbauweise-bauart ESTWL90”, Signal und Draht, N°87, 1995, pp.43–46
A. Erb, “Safety measures of the eletronic interlocking system “Elektra””, Proceedings of SAFECOMP’89, Vienna, Austria, 1989, pp.49–52 electronic
D. Nordenfors, A. Sjoberg, “Computer-controlled electronic interlockingsystem, Erilock 850”, Ericsson Review, N°l, 1986, pp.11–17
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this paper
Cite this paper
Papini, H., Simon, F. (1997). Software-based Safety-critical Systems: a Taxonomy. In: Daniel, P. (eds) Safe Comp 97. Springer, London. https://doi.org/10.1007/978-1-4471-0997-6_1
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0997-6_1
Publisher Name: Springer, London
Print ISBN: 978-3-540-76191-4
Online ISBN: 978-1-4471-0997-6
eBook Packages: Springer Book Archive