Object-oriented programming as a method for developing software in rail-traffic-control computer systems

• Autorzy: Sumiła M. , Lewiński A.

Warianty tytułu

PL

Programowanie obiektowe jako metoda tworzenia oprogramowania w komputerowych systemach sterowania ruchem kolejowym

• Języki publikacji: EN

Abstrakty

EN

The paper focuses on a new method for specifying safe software for rail traffic control systems. The presented method is particularly convenient to define typical devices and subsystems used in traffic control, defined as software blocks in which control algorithms are directly applicable. The method uses the object-oriented methodology and the UML language. The program in UML language allows for modelling, verification, functional testing, and simulation in an environment that is typical for rail traffic control. The method takes the software implementation requirements into account, having in mind the safety and control in real time in accordance with the UIC and CENELEC standards and recommendations.

PL

Praca dotyczy nowej metody specyfikacji bezpiecznego oprogramowania dla systemów sterowania ruchem kolejowym. Przedstawiona metoda jest szczególnie dogodna do definiowania typowych urządzeń i podsystemów stosowanych w sterowaniu ruchem kolejowym, w postaci określonych bloków oprogramowania, w których stosuje się bezpośrednio algorytmy sterowania. W metodzie wykorzystano metodologię obiektową i język UML. Program w języku UML daje możliwość modelowania, weryfikacji, testowania funkcjonalnego oraz symulacji w typowym środowisku sterowania ruchem kolejowym. Metoda uwzględnia wymogi implementacji oprogramowania uwzględniając bezpieczeństwo i sterowanie w czasie rzeczywistym zgodnie ze standardami i zaleceniami UIC i CENELEC.

Słowa kluczowe

EN

rail control systems; object-oriented programming; safe software

PL

sterowanie ruchem kolejowym; programowanie obiektowe; bezpieczne oprogramowanie

• Wydawca: Warsaw University of Technology, Faculty of Transport
• Czasopismo: Archives of Transport
• Rocznik: 2010
• Tom: Vol. 22, iss. 2
• Strony: 219--237
• Opis fizyczny: Bibliogr. 31 poz., rys.

Twórcy

autor

Sumiła M.

autor

Lewiński A.

• Faculty of Transport, Warsaw University of Technology, 75 Koszykowa St., 00-665 Warsaw, Poland,

Bibliografia

• 1. Apuniewicz S.: Principles of mathematical modelling of objects and rail traffic control processes. Scientific Papers of Kielce University of Technology, Kielce, 1977.
• 2. Ben-Ari M.: Fundamentals of concurrent and distributed programming. WNT, Warsaw, 1996.
• 3. Booch G., Rumbaugh J., Jacobson I.: UML User Guide. WNT, Warsaw, 2001.
• 4. Christov Ch.: Problems of safety electronic systems of railway signalling. Monograph, The University of Technology in Sophia, Transport Department, Sophia, 1988.
• 5. CNTK 4T12C00529: Impact of new information technologies to improve the functionality and safety of the railway traffic. Warsaw, 2006.
• 6. Coad P., Yourdan E.: Object Analysis. WNT, Warsaw, 1993.
• 7. Dąbrowa-Bajon M.: Fundamentals of rail traffic control. Publishing House of the Warsaw University of Technology, Warsaw, 2002.
• 8. Douglass B. P.: Doing Hard Time - developing Real-Time Systems with UML, Objects, Frame-works, and Patterns. ADDISON-WESLEY, Massachusetts, 1999.
• 9. Evans A., France R., Lano K., Rumpe B.: Developing the UML as a Formal Modelling Notation. In Proceedings of UML'98 - The United Modelling Language. Beyond the Notation. Volume 1618 in Lecture Notes in Computer Science. Springer-Verlag, 1998.
• 10. Hooman J., Mulyar N., Posta L.: Validating UML models of Embedded Systems by Coupling Tools. Embedded Systems Institute, Eindhoven 2004.
• 11. Huzar Z.: Real-Time Semantics of State Maps in UML. Conference Materials - Ninth Conference on Real Time Systems, Ustroń, 2002.
• 12. ISO/IEC 19501: Unified Modelling Language Specification. Version 1.4.2. Formal/05-04-01.
• 13. Kopetz H.: Real-Time Systems. Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Boston/Dordrecht/London, 1998.
• 14. Lewiński A., Konopiński L., Siergiejczyk M.: Reliability and security of selected computer rail traffic control systems. Conference Materials - National Conference on Security and Reliability '99 KONBiN. Zakopane-Kościelisko, 1999.
• 15. Lewiński A., Sumiła M.: The Semi-Functional and Reliability Modelling of Railway Control Systems. Scientific Papers, TRANSPORT, Paper 51, Gliwice 2003.
• 16. Lewiński A.: Problems of Secure Computer Systems Programming in Railway Transport Applications. Monograph. Publishing House of Radom University of Technology, Radom, 2001.
• 17. Meyer B.: Object-Oriented Programming. Helion, Warsaw, 2005.
• 18. PN-EN 50126: Railway Applications: Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS). European Standard CENELEC, September 1999.
• 19. PN-EN 50128: Railway Applications: Communication, signalling and processing systems - Software for railway control and protection systems. European Standard CENELEC, March 2001.
• 20. Subieta K.: Object Orientation in Designing and Databases. Academic Publishing House PLJ, Warsaw, 1998.
• 21. Sumiła M., "Method for Development of Control Software in the Railway Traffic Control Systems", Publications of Warsaw University of Technology, Warsaw, 2007.
• 22. Sumiła M.: Designing of Control Systems Using Rose Real Time. Conference Materials - Ninth Conference on Real Time Systems, Ustroń, 2002.
• 23. Sumiła M.: Attempt to Implement Secure Software for the Safe Rail Traffic Control System Using Object-Oriented Techniques. Scientific Works of Radom University of Technology, TRANSPORT 1(17), Radom, 2003.
• 24. Wawrzyński W., Kochan A.: The Object-Oriented Modelling of Control Systems in Transport. Scientific Works of Warsaw University of Technology, TRANSPORT, Warsaw, 2001.
• 25. Wawrzyński W.: Safety of Control Systems in Transport. Maintenance Problems Library, Warsaw Radom, 2004.
• 26. Yourdon E., Argila C.: Object-Oriented Analysis and Designing - Examples of Applications. WNT, Warsaw, 2000.
• 27. Yourdon E.: Modern Structured Analysis. Prentice Hall, 1989.
• 28. Zabłocki W.: Station-Based Model of Traffic Control Devices. Scientific Works of Radom University of Technology, TRANSPORT 1(13), Radom, 2000.
• 29. Zabłocki W.: Modelling of Station Rail Traffic Control Systems. Scientific Works of Warsaw University of Technology, TRANSPORT, Paper 65, Warsaw, 2008.
• 30. Zabłocki W.: Modelling of rail traffic control systems information structure and formal description elements. Scientific Works of Warsaw University of Technology, TRANSPORT, Paper 57, Warsaw, 2006.
• 31. Zabłocki W.: Modelling of rail traffic control systems. Scientific Works of Radom University of Technology, TRANSPORT 1(17), Radom 2003.