| Presentation | 2005/12/9 Enhancement of Reliablity with Stepwise Refinement Natsuki TERADA, Kazuhiro TAKAHASHI, Takahiko OGINO, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Formal methods is expected to increase reliablity of software. If you are going to describe formal specifications of complicated systems from scratch, stepwise refinment is efficient to make the speicifications understood and to realise verified codes. According to this technique, you should write an abstract specification with minimal condition at first. Then you refine the specification more and more precisely. In this report we explain the concept of stepwise refinement. Then we introduce an application, in which permissive speed of train is calculated when the distance to stop is given. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | formal methods / stepwise refinement / B-method / automatic train control / brake curve |
| Paper # | DC2005-65 |
| Date of Issue |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2005/12/9(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) | Enhancement of Reliablity with Stepwise Refinement |
| Sub Title (in English) | |
| Keyword(1) | formal methods |
| Keyword(2) | stepwise refinement |
| Keyword(3) | B-method |
| Keyword(4) | automatic train control |
| Keyword(5) | brake curve |
| 1st Author's Name | Natsuki TERADA |
| 1st Author's Affiliation | Railway Technical Research Institute() |
| 2nd Author's Name | Kazuhiro TAKAHASHI |
| 2nd Author's Affiliation | Railway Technical Research Institute |
| 3rd Author's Name | Takahiko OGINO |
| 3rd Author's Affiliation | Railway Technical Research Institute |
| Date | 2005/12/9 |
| Paper # | DC2005-65 |
| Volume (vol) | vol.105 |
| Number (no) | 458 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |