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

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.