• Dec 30, 2021 News!Vol.13, No.1 & Vol.13, No.2 have been indexed by Inspec.   [Click]
  • Mar 29, 2022 News!IJCTE Vol.14, No.2 has been published.   [Click]
  • Jan 28, 2022 News!IJCTE had implemented online submission system   [Click]
General Information
Prof. Mehmet Sahinoglu
Faculty at Computer Science Department, Troy University, USA
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).


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-2022. International Association of Computer Science and Information Technology. All rights reserved.