Abstract
The paper deals with design problems of correct and high reliable software for railway traffic control systems. The correct software (corresponding to formal or semi-formal criteria) has an important part in safety related (SIL4) railway control systems. The paper treats about actual state of art in design of safety related software for railway application. The proposed methods, recommended by CENELEC and UIC are introduced to example of automatic level crossing signaling system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alagic, S., Arbib, M.A.: Projektowanie programów poprawnych i dobrze zbudowanych. WNT, Warszawa (1982)
CENELEC EN 50128, Ralway applications – Communications, signalling, and processing systems – Software for railway control and protection systems (2002)
Glenford, J.M.: Projektowanie niezawodnego oprogramowania. Wydawnictwo Naukowo Techniczne, Warszawa (1980r)
Jones, C.B.: Projektowanie oprogramowania metodą systematyczną. WNT, Warszawa (1984)
Lewiński, A.: The problems of software of safety related computer systems in railway transport applications, Technical University of Radom im. K. Pułaskiego, monograph nr 49, Radom (2001)
Szejko, S.: Metody wytwarzania oprogramowania. Mikom, Warszawa (2002)
Sumiła, M.: Metoda tworzenia oprogramowania sterującego w systemach sterowania ruchem kolejowym, rozprawa doktorska. Politechnika Warszawska, Warszawa (2007)
Tarnai, G., Schneider, E.: Formal metods for railway operation and control systems. In: Symposium FORMS 2003, Budapest (2003)
Trzaska, K.: Analysis of software reliability and correctness in railways computer systems. In: Zeszyty Naukowe Politechniki Śląskiej, Z.48, Gliwice (2003)
Wrycza, S., Marcinkowski, B., Wyrzykowski, K.: Język UML w modelowaniu systemów informatycznych. Wydawnictwo Helion, Gliwice (2005)
Zabłocki, W.: Modelling of station systems of railway traffic control. Zeszyty Naukowe Politechniki Warszawskiej seria Transport z.65, Warszawa (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lewiński, A., Trzaska–Rycaj, K. (2010). The Safety Related Software for Railway Control with Respect to Automatic Level Crossing Signaling System. In: Mikulski, J. (eds) Transport Systems Telematics. TST 2010. Communications in Computer and Information Science, vol 104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16472-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-16472-9_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16471-2
Online ISBN: 978-3-642-16472-9
eBook Packages: Computer ScienceComputer Science (R0)