IEEE Transactions on Industrial Informatics · 2018 · 44 citations · 27 references
EngineeringInformation SecurityReal-time System DesignComputer ArchitectureResilient Control SystemFormal VerificationCritical ComputingHardware SecuritySystems EngineeringHardware Security SolutionCps SecurityTimed SystemController Area NetworkDesign Space ExplorationCan FdComputer EngineeringAutomotive SecurityComputer ScienceDc-milp ScalesCyber Physical SystemsControl System SecurityReal-time SystemsAutomotive Cyber-physical Systems
The controller area network with flexible data-rate (CAN FD) is the new generation of the CAN technology to meet the daily increasing bandwidth requirement for automotive cyber-physical systems (ACPS). However, ACPS is a security-critical system, an efficient security/timing-aware design space exploration (DSE) method is required to fully utilize CAN FD's high data phase data rate. In this paper, we propose an AUTOSAR-compliant system model that integrates both timing and security constraint, an integrated mixed-integer linear programming formulation (i-MILP) for the optimal DSE of CAN FD, and a divide-and-conquer approach to the i-MILP (dc-MILP) to address its timing complexity problem. The experiment results show that dc-MILP scales well for industrial-size systems and saves 1.94%-4.76% bandwidth utilization and guarantees the schedulability for more signal sets by comparing with the state-of-the-art algorithm.
27
Experimental Security Analysis of a Modern Automobile
Karl Koscher, Alexei Czeskis, Franziska Roesner et al. · 2010 · 1.8K citations
Kyong-Tak Cho, Kang G. Shin · 2017 · 195 citations
Vehicle Communication, Engineering, Information Security +14