Information Technology Reference
In-Depth Information
Formal Approach to Railway Applications
Martin Penicka
Czech Technical University, Department of Applied Mathematics, U611,
Na Florenci 25, CZ-11000 Prague, Czech Republic
penicka@fd.cvut.cz
http://www.fd.cvut.cz
Abstract. This paper names railway applications, where the basis of
stable, underlying railway formal domain models can be successfully
used. It is done with big care of a uniform treatment of two diverse issues
of railway system: Allocation & Scheduling and Monitoring & Control
applications. This uniform treatment allows us later on better, easier and
deeper integrations of these applications.
Keywords: Railways, Planning, Timetabling, Rostering, Control, Inter-
locking, Signalling, Technique Integration.
1
Introduction
The problem which this paper addresses is that of understanding the railway
application domain. One can use a basic core of such railway application domain
to model various application from two different aspects of any railway system:
- Allocation & Scheduling and
- Monitoring & Control
The goal of the paper is to show that mathematically precise specification
techniques allow a uniform treatment of these two diverse issues on the basis of
stable, underlying models.
There are already papers on formal description of railway domain, see [14,
15, 16, 17, 18, 19, 21, 22, 23]. One can also find railway domain descriptions in
PRaCoSy project [33, 103, 104, 105, 106, 107, 108, 109, 110, 116].
2
Issues of Scheduling and Allocation
2.1
Introduction
In this section we would like to provide a brief informal description of several
issues of railway allocation & scheduling tasks. Each subsection in this paper
gives a short railway application description and then a reference to formal
solution to bibliography.
 
Search WWH ::




Custom Search