Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems
Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli

Citation
Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli. "Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems". IEEE Embedded Systems Letters, 7(1):11-14, March 2015.

Abstract
Security has become a critical issue for automotive electronic systems. To protect against attacks, security mechanisms have to be applied, but the overhead of those mechanisms may impede system performance and cause violations of design constraints. To remedy this problem, we proposed an integrated mixed integer linear programming (MILP) formulation that is the first to address both security and safety constraints during system mapping for Controller Area Network (CAN) based systems [10]. However, its signal-based security constraints do not fully reflect real security requirements, and its objective function is to minimize functional path latencies rather than minimize security risk. Furthermore, its MILP-based approach has high computation complexity. In this work, we present a new formulation that defines path-based security constraints and minimizes security risk directly, and propose a new heuristic algorithm to solve the formulation efficiently. Experiments on an industrial example show that our new algorithm achieves comparable solution quality as the MILP-based approach with much better efficiency.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli.
  <a
  href="http://www.terraswarm.org/pubs/350.html"
  >Security-Aware Modeling and Efficient Mapping for
  CAN-Based Real-Time Distributed Automotive
  Systems</a>, <i>IEEE Embedded Systems
  Letters</i>, 7(1):11-14, March 2015.

• Plain text

  Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli.
  "Security-Aware Modeling and Efficient Mapping for
  CAN-Based Real-Time Distributed Automotive Systems".
  <i>IEEE Embedded Systems Letters</i>,
  7(1):11-14, March 2015.

• BibTeX

  @article{LinZhuSangiovanniVincentelli15_SecurityAwareModelingEfficientMappingForCANBasedRealTime,
      author = {Chung-Wei Lin and Qi Zhu and Alberto
                Sangiovanni-Vincentelli},
      title = {Security-Aware Modeling and Efficient Mapping for
                CAN-Based Real-Time Distributed Automotive Systems},
      journal = {IEEE Embedded Systems Letters},
      volume = {7},
      number = {1},
      pages = {11-14},
      month = {March},
      year = {2015},
      abstract = {Security has become a critical issue for
                automotive electronic systems. To protect against
                attacks, security mechanisms have to be applied,
                but the overhead of those mechanisms may impede
                system performance and cause violations of design
                constraints. To remedy this problem, we proposed
                an integrated mixed integer linear programming
                (MILP) formulation that is the first to address
                both security and safety constraints during system
                mapping for Controller Area Network (CAN) based
                systems [10]. However, its signal-based security
                constraints do not fully reflect real security
                requirements, and its objective function is to
                minimize functional path latencies rather than
                minimize security risk. Furthermore, its
                MILP-based approach has high computation
                complexity. In this work, we present a new
                formulation that defines path-based security
                constraints and minimizes security risk directly,
                and propose a new heuristic algorithm to solve the
                formulation efficiently. Experiments on an
                industrial example show that our new algorithm
                achieves comparable solution quality as the
                MILP-based approach with much better efficiency.},
      URL = {http://terraswarm.org/pubs/350.html}
  }
  

Posted by Barb Hoversten on 19 Aug 2014.
Groups: tools