| Presentation | 2003/12/12 Study on Methods to Verify and Validate the Software of Railway Signalling Systems : Case Study on the Application to COMBAT Koji IWATA, Noriyuki NISHIBORI, Yuji HIRAO, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Railway signalling systems are now increasingly configured as a network where a lot of components are connected and require large-scale software-dependent processing. When we verify and validate software or analyze the failures to find out faults, it is also necessary to consider the order of processes and sequences of input and output, since the number of components in a system is larger and its configuration is more complicated. Therefore, we performed a case study on a new method to verify and validate the software for railway signalling systems, by using the software in the Computer and Microwave Balise-Aided Train control system (COMBAT). The new method can dynamically verify and validate the software for fail-safe CPU boards in detail as a whole network system. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | railway signalling / safety analysis / simulation / alidation |
| Paper # | DC2003-80 |
| Date of Issue |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2003/12/12(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 | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Study on Methods to Verify and Validate the Software of Railway Signalling Systems : Case Study on the Application to COMBAT |
| Sub Title (in English) | |
| Keyword(1) | railway signalling |
| Keyword(2) | safety analysis |
| Keyword(3) | simulation |
| Keyword(4) | alidation |
| 1st Author's Name | Koji IWATA |
| 1st Author's Affiliation | Railway Technical Research Ins.() |
| 2nd Author's Name | Noriyuki NISHIBORI |
| 2nd Author's Affiliation | Railway Technical Research Ins. |
| 3rd Author's Name | Yuji HIRAO |
| 3rd Author's Affiliation | Railway Technical Research Ins. |
| Date | 2003/12/12 |
| Paper # | DC2003-80 |
| Volume (vol) | vol.103 |
| Number (no) | 535 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |