| Presentation | 2006-12-08 A development strategy for 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-based distributed railway interlocking system (CBDRIS) is a system applying component-based technology to developing railway signal control systems. The CBDRIS improves reusability and configurability of railway interlocking system, curtails development period and lowers the update cost of railway interlocking system. We propose a development strategy for CBDRIS by separating the development process into dynamical process (Standardizing control flow of interlocking device components) and static process (Converting current interlocking table of a specific station to a unified format for CBDRIS). The dynamic development process is designed and modeled with G-nets (Petri-nets extended with Object-oriented concept), and realized with C++, an object-oriented language, while the static development process can be designed and verified with formal methods, and a case study for the CBDRIS is illustrated with GSPN (Generalized Stochastic Petri-Nets). |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Distributed system / Railway interlocking system / Component / GSPN / G-nets |
| Paper # | DC2006-74 |
| Date of Issue |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2006/12/1(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 | Dependable Computing (DC) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A development strategy for component-based distributed railway interlocking system |
| Sub Title (in English) | |
| Keyword(1) | Distributed system |
| Keyword(2) | Railway interlocking system |
| Keyword(3) | Component |
| Keyword(4) | GSPN |
| Keyword(5) | G-nets |
| 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-12-08 |
| Paper # | DC2006-74 |
| Volume (vol) | vol.106 |
| Number (no) | 402 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |