The safety assurance method of railway control systems using object oriented languages
Journal Title: Archives of Transport - Year 2010, Vol 22, Issue 2
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.
Authors and Affiliations
Marek Sumiła, Andrzej Lewiński
Keywords
Related Articles
- EP ID EP70205
- DOI 10.2478/v10174-010-0015-0
- Views 135
- Downloads 0
An advanced planner for urban freight delivering
The paper aims at introducing an advanced delivery tour planner to support operators in urban delivery operations through a combined approach which chooses delivery bays and delivery time windows while optimizing the del...
SIMMAG3D as a tool for designing of storage facilities in 3D
Designing of storage facilities is an interdisciplinary process that requires consideration of technical, economic, social or environmental issues. Storage facilities, as a part of supply chain are designed to provide cu...
VMS Parameters Impact on Safety and Reliability in Road Traffic Management
The topic of the variable message signs presented in this article was analysed in the aspect of proper choice of the light beam distribution angle. It was proven that the proper control of the beam is justified, dependin...
The Concept of a Logistics Centre Model as a Nodal Point of a Transport and Logistics Network1
The paper presents a concept of a logistics centre model. The model is based on defined output/input flows of goods. Therefore it is possible to determine and estimate the load of elements of the centre infrastructure be...
OPTIMIZATION OF UNIT LOAD FORMATION TAKING INTO ACCOUNT THE MASS OF PACKAGING UNITS
This article presents a mathematical formulation of the optimization problem of loading unit formation taking into account the mass of packaging units. Proposed model can be applied to optimize the arrangement of non-uni...