PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  bezpieczeństwo systemów sterowania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available The safety assurance method of railway control systems using object oriented languages
Sumiła M., Lewiński A.
Archives of Transport
|
2010
|
Vol. 22, iss. 2
238-257
EN
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.
PL
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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.