The design of correct software for safety related railway control systems according to UE standards, requirements and recommendations

• Autorzy: Lewiński A.

Warianty tytułu

PL

Projektowanie poprawnego oprogramowania dla bezpiecznych systemów sterowania ruchem kolejowym z uwzględnieniem standardów, wymagań i zaleceń obowiązujących w państwach Unii Europejskiej

• Języki publikacji: EN

Abstrakty

EN

The UIC recommendations and CENELEC standards for design of software for safety railway control computers in EU countries are related to programming styles and programme analysis methods introduced directly from basic meanings of mathematical theory of programme correctness. Recommended programming methods such as structured, specified, defensive and diversed programming give possibility of redundant software structure design ensuring both safety realisation and software correctness analysis using formal and specially semiformal, intuitive methods.

PL

Zalecenia podane przez UlC oraz normy opracowane CENELEC dla potrzeb tworzenia oprogramowania bezpiecznych komputerowych systemów sterowania ruchem kolejowym w państwach UE odwołują się do sposobów programowania oraz metod analizy wywodzących się bezpośrednio z podstawowych pojęć teorii poprawności programów. Zalecane sposoby programowania, takie jak programowanie strukturalne, specyfikowane, defensywne i zróżnicowane umożliwiają zaprojektowanie nadmiarowej struktury programów zapewniających bezpieczne funkcjonowanie systemu ale też analizę poprawności przy użyciu metod formalnych (ang. format), a zwłaszcza półformalnych (ang. semiformat) opartych na intuicji.

Słowa kluczowe

EN

railway traffic; railway control systems; CENELEC standards; railway traffic safety; EU recommendations

PL

ruch kolejowy; systemy sterowania ruchem kolejowym; normy CENELEC; bezpieczeństwo ruchu kolejowego; zalecenia UE

• Wydawca: Warsaw University of Technology, Faculty of Transport
• Czasopismo: Archives of Transport
• Rocznik: 2001
• Tom: Vol. 13, iss. 2
• Strony: 67--76
• Opis fizyczny: Bibliogr. 27 poz., rys., tab.

Twórcy

autor

Lewiński A.

• Technical University of Radom, Institute of Automation and Electronics in Transport

Bibliografia

• [1] Alagic S., Arbib M.A., Design of Correct and Well Founded Programs, WNT, Warsaw, 1982 (in Polish).
• [2] Blikle A., A Specified Programming, Proceedings of Institute of Computer Sciences, Polish Academy of Sciences, Warsaw, 1979.
• [3] Crawley J., Mc Arthur W., Structured Programming Using PASCAL, Prentice Hall Int., 1988.
• [4] Jones C.B., Systematic Method of Software Design, WNT, Warsaw, 1984 (in Polish).
• [5] Lauber R., Konakovsky R., Reinshagen K.P., Structured Documentation Method for Safety Related Controlled Systems, Proceedings of IFAC 78 Congress, Helsinki, 1978.
• [6] Levenson N.G., Shimmeall T.J., Safety Assertions for Process Control Systems, Proceedings of 13th Int. Conference on FAULT TOLERANT COMPUTING SYSTEMS, Portland, USA, 1983.
• [7] Lewiński A., The Design of Software: for Fail Safe Computer in Railway Control Applications, Proceedings of XIII Conference FAULT TOLERANT SYSTEMS & DIAGNOSTICS, Varna, Bulgaria, 1990 (in Polish).
• [8] Lewiński A., Konopiński L., European Recommendations of Standards for Design of Safety Computer Railway Control Systems, Proceedings of V Symposium SYSTEM SAFETY Poznań-Kiekrz, Journal of Technical Institute of Air Force No 320/94, Warsaw, Poland, 1994 (in Polish).
• [9] Lewiński A., Konopiński L., The Safety of Polish Computer Systems in Railway Control Applications with Respect to Recommendations of European Standards, Proceedings of International VI International. Conference: Engineering of transportation Systems, Institute of Transport, Warsaw University of Technology, Warsaw, 1995.
• [10] Lewiński A., Konopiński L., The Rules of Programming of Safety Systems for, Railway Control, Proceedings of Conference THE SAFETY OF SYSTEMS, Zakopane, Journal of Technical Institute of Air Forces, Warsaw, 1998 (in Polish).
• [11] Lewiński A., Design of Computer Systems for Railway Safety in Accordance with EU Requirements, TRANSPORT ENGINEERING, Lithuanian Academy of Sciences, No 4,1998.
• [12] Lewiński A., Recommendations for Safety Software and Rules of the Program Correctness Theory, Transport Engineering, Lithuanian Academy of Sciences, No 1, 1999.
• [13] Perry D.E., Habermann A.N., Advanced ADA Programming, WNT, Warsaw, 1989 (in Polish).
• [14] Short R.C. Software Validation for Railway Signalling and Train Control Systems, Proceedings of Int. Conference: Electric Railway Systems for a New Century, London, UK, 1987.
• [15] Wirth N. MODULA: A language for modular multiprogramming, Software Practice and Experience, No 1, 1979.
• [16] Ziegterman L., A New Approach to Specification and Design of a Railway Interlocking: A ROUTE Approach, Ph D thesis, Electrical Engineering Faculty, University of Delft, Netherlands, 1984.
• [17] CCITT: High Level Language CHILL, Recommendations Z. 200, vol. VI.7, Geneva, 1980.
• [18] IEEE Specification of Reliable Software, IEEE Catalogue No 1401-9C, 1979.
• [19] Safety System Validation with Regard to Cross Acceptance of Signalling Systems by the Railways, Report TC-IRSE, UIC 1992.
• [20] Railway Applications: Safety Related Electronic Railway Control and Protection Systems, Report on pre-standard EN 50129, CENELEC 1997.
• [21] Railway Applications: Software for Railway Control and Protection Systems, Report on pre-standard EN 50128, CENELEC 1997.
• [22] Railway Applications: The Specification of Dependability, Reliability, Availability, Maintability and Safety (RAMS), Report on pre-standard EN 50126, CENELEC 1997.
• [23] Railway Control Systems, Standard DB-BZA Mu 8004, Germany, 1979-1999.
• [24] Railway Interlocking Systems, Standard R.I.A.23, Great Britain, 1991.
• [25] Railway Interlocking Standards AB Signal ltd., Sweden, 1992.
• [26] The Safety for Railway Control Systems, Polish Standard ZN-91/MTiGM-CBP-12, 1991.
• [27] Design of Safety Requirements of Programmable Railway Control Systems, Scientific and Research Centre of Polish State Railways, Warsaw, Poland, 1997 (in Polish).