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