Security-aware mapping for CAN-based real-time distributed automotive systems.
Journal
The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013
Pages
115-121
Date Issued
2013
Author(s)
Abstract
as those based on the Controller Area Network (CAN), do not provide direct support for secure communications. When retrofitting these architectures with security mechanisms, a major challenge is to ensure that system safety will not be hindered, given the limited computation and communication resources. We apply Message Authentication Codes (MACs) to protect against masquerade and replay attacks on CAN networks, and propose an optimal Mixed Integer Linear Programming (MILP) formulation for solving the mapping problem from a functional model to the CAN-based platform while meeting both the security and the safety requirements. We also develop an efficient heuristic for the mapping problem under security and safety constraints. To the best of our knowledge, this is the first work to address security and safety in an integrated formulation in the design automation of automotive electronic systems. Experimental results of an industrial case study show the effectiveness of our approach. © 2013 IEEE.
Other Subjects
Automotive electronic systems; Communication resources; Controller area network; Industrial case study; Message authentication codes; Mixed-integer linear programming; Safety requirements; Secure communications; Automobile electronic equipment; Computer aided design; Control system synthesis; Distributed parameter control systems; Electronics engineering; Industrial applications; Linear programming; Network architecture; Mapping
Type
conference paper