Metoda zapewnienia bezpieczeństwa systemów sterowania ruchem kolejowym w językach obiektowych

Abstract

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