- Tytuł:
-
Object-oriented programming as a method for developing software in rail-traffic-control computer systems
Programowanie obiektowe jako metoda tworzenia oprogramowania w komputerowych systemach sterowania ruchem kolejowym - Autorzy:
-
Sumiła, M.
Lewiński, A. - Powiązania:
- https://bibliotekanauki.pl/articles/224259.pdf
- Data publikacji:
- 2010
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
sterowanie ruchem kolejowym
programowanie obiektowe
bezpieczne oprogramowanie
rail control systems
object-oriented programming
safe software - Opis:
-
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. - Źródło:
-
Archives of Transport; 2010, 22, 2; 219-237
0866-9546
2300-8830 - Pojawia się w:
- Archives of Transport
- Dostawca treści:
- Biblioteka Nauki
Artykuł