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