Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The safety assurance method of railway control systems using object oriented languages

The safety assurance method of railway control systems using object oriented languages 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archives of Transport de Gruyter

The safety assurance method of railway control systems using object oriented languages

Archives of Transport , Volume 22 (2) – Jan 1, 2010

Loading next page...
 
/lp/de-gruyter/the-safety-assurance-method-of-railway-control-systems-using-object-QIfEtKoSpt
Publisher
de Gruyter
Copyright
Copyright © 2010 by the
ISSN
0866-9546
DOI
10.2478/v10174-010-0015-0
Publisher site
See Article on Publisher Site

Abstract

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.

Journal

Archives of Transportde Gruyter

Published: Jan 1, 2010

References