Search Results

We propose a security-testing framework to analyze attack feasibilities for automotive control software by integrating model-based development with model checking techniques. Many studies have pointed out the vulnerabilities in the Controller Area Network (CAN) protocol, which is widely used in in-vehicle network systems. However, many security attacks on automobiles did not explicitly consider the transmission timing of CAN packets to realize vulnerabilities. Additionally, in terms of security testing for automobiles, most existing studies have only focused on the generation of the testing packets to realize vulnerabilities, but they did not consider the timing of invoking a security testing. Therefore, we focus on the transmit timing of CAN packets to realize vulnerabilities. In our experiments, we have demonstrated the classification of feasible attacks at the early development phase by integrating the model checking techniques into a virtualized environment.

Today, the Controller Area Network (CAN) is a widely used in-vehicle network. However, due to the constraint of the theoretical upper bound speed of CAN, we proposed Scalable-CAN (SCAN), which employs round-robin scheduling to improve upper bound speed while keeping the compatibility with traditional CAN. Moreover, we proposed the worst-case response time (WCRT) analysis for a single SCAN bus system and showed the real-time performance. In this paper, to apply SCAN to a next-generation in-vehicle network composed of a SCAN bus and a CAN bus, we first propose a schedulability analysis method for the integrated network system. Second, we show its real-time performance and highlight the effects of the bandwidth extension and throughput performance of the SCAN integrated system. Finally, we conclude that SCAN achieves lower latency, high schedulability, and high integrity toward a next-generation in-vehicle network.

In this paper, a new high-speed bus topology LAN protocol for automobiles is proposed and its compatibility with the traditional CAN protocol is discussed. The transfer rate of traditional CAN cannot be increased due to its bitwise arbitration using message priority and Acknowledgment mechanisms. Our proposed protocol avoids collisions by assigning one or more time slots to each ECU within a communication cycle. ACK is informed through the ACK bits included in the header of each frame. Based on this protocol, we implemented a 5 Mbit/s LAN system on which the existing software for CAN is used with small modifications. This paper describes the proposed protocol, named “Scalable CAN,” and its implementation on FPGA, and demonstrates that existing software can be easily ported to this new protocol.

In this paper, we propose a new automotive network protocol which can transmit data at a speed of 10 Mbit/s. The new automotive protocol “10 Mbit/s CAN” is based on two changes to CAN; a star topology, in which nodes are physically connected using a multi-port gateway, and a new collision resolution algorithm which guarantees delivery of a message within a finite period of time. According to our analysis using a simulator, the “10 Mbit/s CAN” protocol demonstrated several advantages over throughput performance of a conventional CAN, including a maximum possible data transmission speed, high scalability, and reduction of priority inversion. The implementation considerations of “10 Mbit/s CAN” are also reviewed briefly.