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". Design Automation and Test in Europe Conference, 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 iCyPhy-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.icyphy.org/pubs/63.html"
  >Optimized Selection of Reliable and Cost-Effective
  Cyber-Physical System Architectures</a>, Design
  Automation and Test in Europe Conference, 2015.

• Plain text

  Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto
  Sangiovanni-Vincentelli. "Optimized Selection of
  Reliable and Cost-Effective Cyber-Physical System
  Architectures". Design Automation and Test in Europe
  Conference, 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 = {Design Automation and Test in Europe Conference},
      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://icyphy.org/pubs/63.html}
  }
  

Posted by Pierluigi Nuzzo on 28 Oct 2015.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.