• Oct 26, 2018 News!Vol.10, No.5 has been published with online version.   [Click]
  • Aug 06, 2018 News!Vol.9, No.1-Vol.9, No.4 have been indexed by EI (Inspec).   [Click]
  • Sep 03, 2018 News!Vol.10, No.4 has been published with online version.   [Click]
General Information
Editor-in-chief
Prof. Wael Badawy
Department of Computing and Information Systems Umm Al Qura University, Canada
I'm happy to take on the position of editor in chief of IJCTE. We encourage authors to submit papers concerning any branch of computer theory and engineering.
IJCTE 2017 Vol.9(6): 438-442 ISSN: 1793-8201
DOI: 10.7763/IJCTE.2017.V9.1182

CAN Database Verification Framework Using UPPAAL

Beomyeon Cho, Taewook Kim, and Jin-Young Choi
Abstract—It is inevitable that the response time of a message is delayed in a CAN network where multiple ECUs share a single bus. However, delays of response time should be minimized for messages related to the safety of a driver or a vehicle. If the response time exceeds the deadline, the safety of the driver and the whole of the vehicle system may be impaired. Therefore, it is essential to verify the CAN database in advance so that the response time of a message does not exceed the deadline. In this paper, we propose a framework composed of UPPAAL and a DBC2XML component, which automatically generates a UPPAAL model from a CAN database and show how to verify the CAN database using this framework.

Index Terms—Controller area network, DBC, formal verification, UPPAAL.

Beomyeon Cho and Taewook Kim are with the Department of Automotive Convergence, Korea University, Seoul, Korea (e-mail: bycho@ formal.korea.ac.kr, twkim@formal.korea.ac.kr). Jin-Young Choi is with Graduate School of Information Security, Korea University, Seoul, Korea (e-mail: choi@formal.korea.ac.kr).

[PDF]

Cite:Beomyeon Cho, Taewook Kim, and Jin-Young Choi , "CAN Database Verification Framework Using UPPAAL," International Journal of Computer Theory and Engineering vol. 9, no. 6, pp. 438-442, 2017.

Copyright © 2008-2018. International Journal of Computer Theory and Engineering. All rights reserved.
E-mail: ijcte@iacsitp.com