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

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.

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.