Abstract
In this paper we present a formal model of interlocking systems for railway lines. The model is divided into a part describing the physical system and a part describing the interlocking system. Furthermore, the static properties of the domain are parameters of the model and thus the model describes a class of railway lines and interlocking systems. Safety requirements are specified at a high level of abstraction, and it is verified that the interlocking systems maintain safety. The model is refined in two steps, and a simulator for the systems is implemented.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 10th IFAC Symposium on Control in Transportation Systems |
| Publisher | Elsevier |
| Publication date | 2004 |
| Pages | 233-238 |
| ISBN (Print) | 00-80-44059-2 |
| DOIs | |
| Publication status | Published - 2004 |
| Event | 10th IFAC Symposium on Control in Transportation Systems 2003 - Tokyo, Japan Duration: 4 Aug 2003 → 6 Aug 2003 Conference number: 10 |
Conference
| Conference | 10th IFAC Symposium on Control in Transportation Systems 2003 |
|---|---|
| Number | 10 |
| Country/Territory | Japan |
| City | Tokyo |
| Period | 04/08/2003 → 06/08/2003 |
| Series | IFAC Proceedings Volumes (IFAC-PapersOnline) |
|---|---|
| Number | 14 |
| Volume | 36 |
| ISSN | 1474-6670 |
Fingerprint
Dive into the research topics of 'Modelling and Verification of Interlocking Systems for Railway Lines'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver