Abstract
Communication Based Train Control System (CBTC) has become the development trend of train control system, and generating safe and reasonable movement authority is the key to ensure the normal operation of the whole system. Combined with the security of the system, a security analysis method based on fault tree information to construct fault Statechart is proposed. The fault tree that generates the abnormality of the movement authority is analyzed, and it is represented as a form that the Statechart can describe, thereby establishing a fault statechart of the movement authority generating abnormality. Finally, the formal modeling of the fault statechart is carried out by using the time automaton theory, and the fault state unreachable is taken as the attribute of the specification for inspection. The results show that the method of combining fault Statechart and time automata proposed in the paper is feasible and suitable for the analysis and verification of safety critical systems.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: IOP Conference Series: Materials Science and Engineering
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
