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 (DATE), 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 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/55.html"
    >Optimized Selection of Reliable and Cost-Effective
    Cyber-Physical System Architectures</a>, Design
    Automation and Test in Europe (DATE), March, 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
    (DATE), 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 = {Design Automation and Test in Europe (DATE)},
        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://icyphy.org/pubs/55.html}
    }
    

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

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.