| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
Author  |
Dipoppa, G.; D'Alessandro, G.; Semprini, R.; Tronci, E. | ||||
| Title | Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design | Type | Conference Article | ||
| Year | 2001 | Publication | High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on | Abbreviated Journal | |
| Volume | Issue | Pages | 209-219 | ||
| Keywords | |||||
| Abstract | A railway interlocking system (RIS) is an embedded system (namely a supervisory control system) that ensures the safe, operation of the devices in a railway station. RIS is a safety critical system. We explore the possibility of integrating automatic formal verification methods in a given industry RIS design flow. The main obstructions to be overcome in our work are: selecting a formal verification tool that is efficient enough to solve the verification problems at hand; and devising a cost effective integration strategy for such tool. We were able to devise a successful integration strategy meeting the above constraints without requiring major modification in the pre-existent design flow nor retraining of personnel. We run verification experiments for a RIS designed for the Singapore Subway. The experiments show that the RIS design flow obtained from our integration strategy is able to automatically verify real life RIS designs. | ||||
| Address | |||||
| Corporate Author | Thesis | ||||
| Publisher | IEEE Computer Society | Place of Publication | Albuquerque, NM, USA | Editor | |
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Abbreviated Series Title | |||
| Series Volume | Series Issue | Edition | |||
| ISSN | 0-7695-1275-5 | ISBN | Medium | ||
| Area | Expedition | Conference | |||
| Notes | Approved | yes | |||
| Call Number | Sapienza @ mari @ hase01 | Serial | 45 | ||
| Permanent link to this record | |||||