The safety assurance method of railway control systems using object oriented languages 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.
Archives of Transport – de Gruyter
Published: Jan 1, 2010