Object-oriented programming as a method for developing software in rail-traffic-control computer systems
Journal Title: Archives of Transport - Year 2010, Vol 22, Issue 2
Abstract
The paper focuses on a new method for specifying safe software for rail traffic control systems. The presented method is particularly convenient to define typical devices and subsystems used in traffic control, defined as software blocks in which control algorithms are directly applicable. The method uses the object-oriented methodology and the UML language. The program in UML language allows for modelling, verification, functional testing, and simulation in an environment that is typical for rail traffic control. The method takes the software implementation requirements into account, having in mind the safety and control in real time in accordance with the UIC and CENELEC standards and recommendations.
Authors and Affiliations
Marek Sumiła, Andrzej Lewiński
Keywords
Related Articles
- EP ID EP70204
- DOI 10.2478/v10174-010-0014-1
- Views 128
- Downloads 0
Compliance of the Results of Hypothesis Testing with Exponential Distribution for Selected Statistical Tests
The article discusses the problems related to the identification of the exponential probability distribution with use of the basic statistical consistency tests for continuous distributions, modified for testing the expo...
THE INF-SUP CONDITION TESTS FOR SHELL/PLATE FINITE ELEMENTS
Development of high-performance finite elements for thick, moderately thick, as well as thin shells and plates, was one of the active areas of the finite element technology for 40 years, followed by hundreds of publicati...
Real road network application of a new microsimulation tool: TRITONE
The aim of the paper is to carry out a comparative study of 13 different traffic flow models available in TRITONE, a new road traffic simulator that specializes particularly in quantitative road safety assessment. After...
Research of Sorting Process of Unit Loads by Rotary Active Fence
The paper presents results of research of a sorting process applied to a stream of unit loads (cubiform objects, parcels) transported on conveyors. The sorting process is performed by means of an active fence (flexible a...
Dynamic Approach to the Origin-Destination Matrix Estimation in Dense Street Networks
The article deals with some issues related with the travel demand modelling in dense street networks. Estimation of the trip distribution usually presented in a form of O-D matrix has been described as one of the most im...