Optimized selection of reliable and cost-effective cyber-physical system architectures | IEEE Conference Publication | IEEE Xplore

Optimized selection of reliable and cost-effective cyber-physical system architectures


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...Show More

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.
Date of Conference: 09-13 March 2015
Date Added to IEEE Xplore: 23 April 2015
ISBN Information:

ISSN Information:

Conference Location: Grenoble, France

Contact IEEE to Subscribe

References

References is not available for this document.