- Tytuł:
-
The safety assurance method of railway control systems using object oriented languages
Metoda zapewnienia bezpieczeństwa systemów sterowania ruchem kolejowym w językach obiektowych - Autorzy:
-
Sumiła, M.
Lewiński, A. - Powiązania:
- https://bibliotekanauki.pl/articles/224255.pdf
- Data publikacji:
- 2010
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
sterowanie ruchem kolejowym (SRK)
programowanie obiektowe
sterowanie w czasie rzeczywistym
bezpieczeństwo systemów sterowania
railway control systems
object programming
safety programming - Opis:
-
The paper deals with introduction of safety rules to the software designed for railway control systems. The basic assumption is related to software designed using high level language UML with possibility of modelling, verification, functional testing and simulation in CASE environment. The object methodology the base of UML regards the software implementation with respect to safety and real time control corresponding to UIC recommendations and CENELEC standards.
Praca dotyczy metody wprowadzania reguł bezpieczeństwa do oprogramowania przeznaczonego dla systemów sterowania ruchem kolejowym. Przyjęto, że oprogramowanie jest tworzone w języku wysokiego poziomu UML, który daje możliwość modelowania, weryfikacji, testowania funkcjonalnego oraz symulacji w środowisku CASE. Metodologia obiektowa będąca podstawą języka UML obejmuje implementację 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; 238-257
0866-9546
2300-8830 - Pojawia się w:
- Archives of Transport
- Dostawca treści:
- Biblioteka Nauki
Artykuł