DocumentCode :
2761030
Title :
Modeling and Verification of an Automatic Train Protection System
Author :
Xijiao Xiong ; Jing Liu ; Miaomiao Zhang ; Zuohua Ding
Author_Institution :
Shanghai Keylab of Trustworthy Comput., East China Normal Univ., Shanghai, China
fYear :
2010
fDate :
19-23 July 2010
Firstpage :
226
Lastpage :
231
Abstract :
Advances in automatic control technologies have made society extremely dependent on control software used in train operation and many other applications. Consequently, the trust ability of control software is crucial. This has led to an increased emphasis on setting up a mechanism that can be used to guarantee the correctness of the models. In this paper, we proposed a process to integrate the modeling and verification techniques in Model Driven Architecture (MDA) and reported a successful application of the method to Automatic Train Protection (ATP) system. The ATP models are constructed and refined based on Refinement Calculus of Object Systems (rCOS). A modeling and verification trustable MDA tool is developed to facilitate the process.
Keywords :
control engineering computing; formal verification; locomotives; security of data; software architecture; traffic engineering computing; automatic control technologies; automatic train protection system; control software; model driven architecture; refinement calculus of object systems; trust ability; trustable MDA tool;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference Workshops (COMPSACW), 2010 IEEE 34th Annual
Conference_Location :
Seoul
Print_ISBN :
978-1-4244-8089-0
Electronic_ISBN :
978-0-7695-4105-1
Type :
conf
DOI :
10.1109/COMPSACW.2010.46
Filename :
5615791
Link To Document :
بازگشت