Safety criteria for the vital processor interlocking at HoornKersenboogerd (1996)
| Venue: | Proceedings of the 5th Conference on Computers in Railways (COMPRAIL'96), Volume I: Railway Systems and Management |
| Citations: | 5 - 3 self |
BibTeX
@INPROCEEDINGS{Fokkink96safetycriteria,
author = {Wan Fokkink},
title = {Safety criteria for the vital processor interlocking at HoornKersenboogerd},
booktitle = {Proceedings of the 5th Conference on Computers in Railways (COMPRAIL'96), Volume I: Railway Systems and Management},
year = {1996},
pages = {101--110}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We formulate several classes of safety criteria for railway yards in terms of observable behaviour. These criteria are meant to protect trains from collisions and from derailments. We identify a number of safety criteria, and present instances of these classes for the case of the railway yard at station Hoorn–Kersenboogerd. These criteria have all been checked by means of the St˚almarck theorem prover, using a methodology from Groote, Koorn and Van Vlijmen.
Citations
| 572 | A survey of program slicing techniques - Tip - 1995 |
| 37 | The Safety Guaranteeing System at Station Hoorn-Kersenboogerd - Groote, Vlijmen, et al. - 1995 |
| 27 | Modeling and verifying systems and software in propositional logic - St˚almarck, Säflund - 1990 |
| 7 | Normalization theorems for full first order classical natural deduction - Stalmarck - 1991 |
| 4 | A note on the computational complexity of the pure classical implication calculus - Stalmarck - 1989 |
| 3 | Safety criteria for Hoorn-Kersenboogerd railway station - Fokkink - 1995 |
| 1 | NP Module, User manual - Andersson - 1994 |
| 1 | Hiding propositional constants in BDDs, Logic Group Preprint Series 120 - Groote - 1994 |
