Presentation | 2007/7/18 Design and Safety assurance of decentralized interlocking System Xinhong HEI, Sei TAKAHASHI, Hideo NAKAMURA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Distributed railway interlocking system(DRIS) is a new system where all interlocking devices are intelligent and connected via a ring network. The main differences from current interlocking system are that there is no centralized computer processing interlocking logic and all field devices are at the same logic layer. For such a safety-critical system, the specification design and safety assurance are vital steps. In this paper the design and safety assurance approach with Petri Nets are presented. The top-down and bottom-up approaches are used. The designed system model is validated by constructing the reachability graph of Petri Nets. Further, the net is modified by considering fail-safe principle of DRIS. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Distributed railway interlocking system / Petri Net / Object / Validation |
Paper # | SSS2007-9 |
Date of Issue |
Conference Information | |
Committee | SSS |
---|---|
Conference Date | 2007/7/18(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Safety (SSS) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Design and Safety assurance of decentralized interlocking System |
Sub Title (in English) | |
Keyword(1) | Distributed railway interlocking system |
Keyword(2) | Petri Net |
Keyword(3) | Object |
Keyword(4) | Validation |
1st Author's Name | Xinhong HEI |
1st Author's Affiliation | College of Science and Technology, Nihon University() |
2nd Author's Name | Sei TAKAHASHI |
2nd Author's Affiliation | College of Science and Technology, Nihon University |
3rd Author's Name | Hideo NAKAMURA |
3rd Author's Affiliation | College of Science and Technology, Nihon University |
Date | 2007/7/18 |
Paper # | SSS2007-9 |
Volume (vol) | vol.107 |
Number (no) | 160 |
Page | pp.pp.- |
#Pages | 4 |
Date of Issue |