Presentation | 2011-12-16 A Safety Estimation of the ATPB System using UML and Formal Method Guo Xie, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | This paper models and makes a formal analysis of the train control system of a novel railway system, ATPB system, which is proposed by the authors to improve the utilization rate and efficiency of the existing regional train lines. Firstly, on the basis of analyzing the requirements of the actual system, it created the UML class diagram of system, and then it established the specification of the ATPB system by VDM++. At last, it simulated the system strictly according to the formal specification. The results show the high quality of the specification, in which there is no runtime error and contradiction. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Railway System / ATPB / Formal Methods / Specification |
Paper # | DC2011-70 |
Date of Issue |
Conference Information | |
Committee | DC |
---|---|
Conference Date | 2011/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 | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Safety Estimation of the ATPB System using UML and Formal Method |
Sub Title (in English) | |
Keyword(1) | Railway System |
Keyword(2) | ATPB |
Keyword(3) | Formal Methods |
Keyword(4) | Specification |
1st Author's Name | Guo Xie |
1st Author's Affiliation | College of Science and Technology, Nihon University() |
2nd Author's Name | Hiroshi Mochizuki |
2nd Author's Affiliation | College of Science and Technology, Nihon University |
3rd Author's Name | Sei Takahashi |
3rd Author's Affiliation | College of Science and Technology, Nihon University |
4th Author's Name | Hideo Nakamura |
4th Author's Affiliation | College of Science and Technology, Nihon University |
Date | 2011-12-16 |
Paper # | DC2011-70 |
Volume (vol) | vol.111 |
Number (no) | 362 |
Page | pp.pp.- |
#Pages | 4 |
Date of Issue |