Cyber physical system (CPS) are interconnection of computation, networking and physical elements. Modern CPS are distributed, networked and safety-critical sys- tems and architectural design of such systems with fault tolerance and performance constraints is a challenging task. In this thesis, we address the problem of synthe- sizing safety-critical cyber-physical system architectures to minimize a cost func- tion while guaranteeing the desired reliability. We cast it as an optimization prob- lem with the component cost as the objective and the performance and reliability requirements as the constraints. The challenge is to generate symbolic reliability constraints, which is exponential in the size of the system due to exhaustive enu- meration of failure cases on all possible system configuration. We propose two al- gorithms to overcome this problem that we refer to as Integer-Linear Programming Modulo Reliability (ILP-MR) and Integer-Linear Programming with Approximate Reliability (ILP-AR). ILP-MR solves an easier optimization problem with perfor- mance constraints and iteratively introduces redundancy in the system with a back- ground reliability analysis routine. Conversely, ILP-AR solves the problem in one iteration by symbolically representing the reliability constraints computed using an in house developed approximate algebra. We compare the two approaches and demonstrate their effectiveness on the design of aircraft electrical power system architectures.




Download Full History