| Presentation | 2006/10/19 A formal safety framework of component-based distributed railway interlocking system Xinhong HEI, Sei TAKAHASHI, Hideo NAKAMURA, Koji IWATA, Mitsuyoshi FUKUDA, Kazutoshi SATO, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Component technology has been applied to developing a variety of systems, including real-time control systems. Component-based distributed railway interlocking system (CBDRIS) is a system applying component technology to developing railway signal control systems. The CBDRIS curtails development period and lowers the update cost of railway interlocking system, while a framework is necessary to ensure and verify the CBDRIS safety for such a safety-critical system. We propose a safety framework for CBDRIS which consists of dynamical process (Standardized control flow) and static process (basic data of a specific station model). Based on the framework and an example station, a unified Petri-net model of CBDRIS is established with GSPN (Generalized Stochastic Petri-Nets) and G-nets (Petri-nets extended with Object-oriented concept). |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Distributed system / Safety / Railway interlocking system / Component / GSPN |
| Paper # | SSS2006-15 |
| Date of Issue |
| Conference Information | |
| Committee | SSS |
|---|---|
| Conference Date | 2006/10/19(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) | A formal safety framework of component-based distributed railway interlocking system |
| Sub Title (in English) | |
| Keyword(1) | Distributed system |
| Keyword(2) | Safety |
| Keyword(3) | Railway interlocking system |
| Keyword(4) | Component |
| Keyword(5) | GSPN |
| 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 |
| 4th Author's Name | Koji IWATA |
| 4th Author's Affiliation | Railway Technical Research Institute |
| 5th Author's Name | Mitsuyoshi FUKUDA |
| 5th Author's Affiliation | Railway Technical Research Institute |
| 6th Author's Name | Kazutoshi SATO |
| 6th Author's Affiliation | Railway Technical Research Institute |
| Date | 2006/10/19 |
| Paper # | SSS2006-15 |
| Volume (vol) | vol.106 |
| Number (no) | 311 |
| Page | pp.pp.- |
| #Pages | 4 |
| Date of Issue | |