# Knowledge base: Warsaw University of Technology

Back

## Metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym

### Dariusz Koliński

#### Abstract

Currently used methods of describing interlocking logic, including interlocking tables and track layouts, are limited to defining relative position of external signalling devices and their states required for setting specific routes. These documents also define conflicting routes, but do not describe requirements inside an interlocking system for maneuvering elements, setting a route and allowing safe train movement. Based on description methods presently used a set of objects which can form an interlocking system is presented. Next, for every object general operation principles are described and decomposed into elementary interlocking functions. Finally, with the use of graph, sets and automata theory, a formal description is proposed on three levels: function, object, and system. The thesis also introduces directional route locking for every single element so special route exclusions are no longer needed. Development of the formal description method allows to perform computer-aided specification and verification of functions and objects so the design can be tested in the process of functional simulation. The set of verified objects can be used for creating an interlocking system for any given track layout. With the use of Active-HDL environment it is possible to automatically create specification of interlocking functions from finite-state machine diagrams using FSM editor. Complete objects are designed using BDE (block diagram editor), which allows to build various levels of a hierarchical structure. Finally, examples of applying formal description for designing interlocking system using relays, microprocessors and programmable logic devices are presented. For every technique the design process is shown on the example of interlocking functions for controlled track section.
Record ID
WUTf0c86d730fb34bfcb374f5d7e20924dc
Diploma type
Doctor of Philosophy
Author
Dariusz Koliński Dariusz Koliński,, Undefined Affiliation
Title in Polish
Metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym
Language
(pl) Polish
Certifying Unit
Faculty of Transport (FT)
Discipline
transportation / (technology domain) / (technological sciences)
Status
Finished
Start date
16-06-2011
Defense Date
26-02-2014
Title date
27-02-2014
Supervisor
Internal reviewers
External reviewers
Andrzej Lewiński Andrzej Lewiński,, Undefined Affiliation
Pages
98
Keywords in English
railway control, interlocking system, formal description
Abstract in English
Currently used methods of describing interlocking logic, including interlocking tables and track layouts, are limited to defining relative position of external signalling devices and their states required for setting specific routes. These documents also define conflicting routes, but do not describe requirements inside an interlocking system for maneuvering elements, setting a route and allowing safe train movement. Based on description methods presently used a set of objects which can form an interlocking system is presented. Next, for every object general operation principles are described and decomposed into elementary interlocking functions. Finally, with the use of graph, sets and automata theory, a formal description is proposed on three levels: function, object, and system. The thesis also introduces directional route locking for every single element so special route exclusions are no longer needed. Development of the formal description method allows to perform computer-aided specification and verification of functions and objects so the design can be tested in the process of functional simulation. The set of verified objects can be used for creating an interlocking system for any given track layout. With the use of Active-HDL environment it is possible to automatically create specification of interlocking functions from finite-state machine diagrams using FSM editor. Complete objects are designed using BDE (block diagram editor), which allows to build various levels of a hierarchical structure. Finally, examples of applying formal description for designing interlocking system using relays, microprocessors and programmable logic devices are presented. For every technique the design process is shown on the example of interlocking functions for controlled track section.
Thesis file
• File: 1
Rozprawa Doktorska Dariusz Koliński.docx
Request a WCAG compliant version
Citation count
2

Uniform Resource Identifier
https://repo.pw.edu.pl/info/phd/WUTf0c86d730fb34bfcb374f5d7e20924dc/
URN
urn:pw-repo:WUTf0c86d730fb34bfcb374f5d7e20924dc

Confirmation
Are you sure?