%0 Journal Article
%T The Use of UML to Development of a Railway Interlocking System The Use of UML to Development of a Railway Interlocking System
%A Karol Rastocny
%A Ales Janota
%A Jiri Zahradnik
%J Advances in Electrical and Electronic Engineering
%D 2003
%I Technical University of Ostrava
%X The paper deals with problems of using the Unifield Modeling Lanfuage (UML) in developmentt of new railway interlocking and signalling systems. A simplifield example of the control circuit of a point machine is used to demonstrate an object-oriented approach to specifying the functional safety requirements. An informal specification given by the relevant technical standart is used as a starting point and results in semi-formal specification based on UML model. Advantages of the presented approach are discussed and new trends of increasing formality of UML models are indicated within conclusions. The paper deals with problems of using the Unifield Modeling Lanfuage (UML) in developmentt of new railway interlocking and signalling systems. A simplifield example of the control circuit of a point machine is used to demonstrate an object-oriented approach to specifying the functional safety requirements. An informal specification given by the relevant technical standart is used as a starting point and results in semi-formal specification based on UML model. Advantages of the presented approach are discussed and new trends of increasing formality of UML models are indicated within conclusions.
%K UML
%K railway
%K technical standart
%K signalling systems.
%U http://advances.utc.sk/index.php/AEEE/article/view/329