Safety assured model driven design of the multifunction vehicle bus controller Journal Article

Author(s): Jiang, Yu; Liu, Han; Song, Huobing; Kong, Hui; Wang, Rui; Guan, Yong; Sha, Lui
Article Title: Safety assured model driven design of the multifunction vehicle bus controller
Affiliation IST Austria
Abstract: In this paper, we present a formal model-driven design approach to establish a safety-assured implementation of multifunction vehicle bus controller (MVBC), which controls the data transmission among the devices of the vehicle. First, the generic models and safety requirements described in International Electrotechnical Commission Standard 61375 are formalized as time automata and timed computation tree logic formulas, respectively. With model checking tool Uppaal, we verify whether or not the constructed timed automata satisfy the formulas and several logic inconsistencies in the original standard are detected and corrected. Then, we apply the code generation tool Times to generate C code from the verified model, which is later synthesized into a real MVBC chip, with some handwriting glue code. Furthermore, the runtime verification tool RMOR is applied on the integrated code, to verify some safety requirements that cannot be formalized on the timed automata. For evaluation, we compare the proposed approach with existing MVBC design methods, such as BeagleBone, Galsblock, and Simulink. Experiments show that more ambiguousness or bugs in the standard are detected during Uppaal verification, and the generated code of Times outperforms the C code generated by others in terms of the synthesized binary code size. The errors in the standard have been confirmed and the resulting MVBC has been deployed in the real train communication network.
Keywords: Safety; standards; Automata; Data models; IEC-61375.; model-driven development; multifunction vehicle bus; protocols; tools train communication network; unified modeling language
Journal Title: IEEE Transactions on Intelligent Transportation Systems
ISSN: 15249050
Publisher: IEEE  
Date Published: 2018-01-01
Start Page: Epub ahead of print
DOI: 10.1109/TITS.2017.2778077
Open access: no