Optimized Selection of Reliable and Cost-Effective Cyber-Physical System Architectures
Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto Sangiovanni-Vincentelli

Citation
Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto Sangiovanni-Vincentelli. "Optimized Selection of Reliable and Cost-Effective Cyber-Physical System Architectures". DATE '15 Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, EDA Consortium San Jose, CA, 561-566, 9, March, 2015.

Abstract
We address the problem of synthesizing safety critical cyber-physical system architectures to minimize a cost function while guaranteeing the desired reliability. We cast the problem as an integer linear program on a reconfigurable graph which models the architecture. Since generating symbolic probability constraints by exhaustive enumeration of failure cases on all possible graph configurations takes exponential time, we propose two algorithms to decrease the problem complexity, i.e. Integer-Linear Programming Modulo Reliability (ILP-MR) and Integer-Linear Programming with Approximate Reliability (ILP-AR). We compare the two approaches and demonstrate their effectiveness on the design of aircraft electric power system architectures.

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
    Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto
    Sangiovanni-Vincentelli. <a
    href="http://www.terraswarm.org/pubs/467.html"
    >Optimized Selection of Reliable and Cost-Effective
    Cyber-Physical System Architectures</a>, DATE '15
    Proceedings of the 2015 Design, Automation & Test in
    Europe Conference & Exhibition, EDA Consortium San Jose,
    CA, 561-566, 9, March, 2015.
  • Plain text
    Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto
    Sangiovanni-Vincentelli. "Optimized Selection of
    Reliable and Cost-Effective Cyber-Physical System
    Architectures". DATE '15 Proceedings of the 2015
    Design, Automation & Test in Europe Conference &
    Exhibition, EDA Consortium San Jose, CA, 561-566, 9, March,
    2015.
  • BibTeX
    @inproceedings{BajajNuzzoMasinSangiovanniVincentelli15_OptimizedSelectionOfReliableCostEffectiveCyberPhysical,
        author = {Nikunj Bajaj and Pierluigi Nuzzo and Michael Masin
                  and Alberto Sangiovanni-Vincentelli},
        title = {Optimized Selection of Reliable and Cost-Effective
                  Cyber-Physical System Architectures},
        booktitle = {DATE '15 Proceedings of the 2015 Design,
                  Automation \& Test in Europe Conference \& Exhibition},
        organization = {EDA Consortium San Jose, CA},
        pages = {561-566},
        day = {9},
        month = {March},
        year = {2015},
        abstract = {We address the problem of synthesizing safety
                  critical cyber-physical system architectures to
                  minimize a cost function while guaranteeing the
                  desired reliability. We cast the problem as an
                  integer linear program on a reconfigurable graph
                  which models the architecture. Since generating
                  symbolic probability constraints by exhaustive
                  enumeration of failure cases on all possible graph
                  configurations takes exponential time, we propose
                  two algorithms to decrease the problem complexity,
                  i.e. Integer-Linear Programming Modulo Reliability
                  (ILP-MR) and Integer-Linear Programming with
                  Approximate Reliability (ILP-AR). We compare the
                  two approaches and demonstrate their effectiveness
                  on the design of aircraft electric power system
                  architectures.},
        URL = {http://terraswarm.org/pubs/467.html}
    }
    

Posted by Barb Hoversten on 1 Dec 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.