We address the problem of synthesizing safety-critical embedded and cyber-physical system architectures to minimize a cost function while guaranteeing the desired reliability. We represent a system architecture as a configurable graph in which both the nodes (components) and edges (interconnections) may fail. We then propose a compact analytical formalism to efficiently reason about the reliability of the overall system based on the failure probabilities of the components, and provide expressions of the design constraints that avoid exhaustive enumeration of failure cases on all possible graph configurations. Based on these constraints, we cast the synthesis problem as an optimization problem and propose monolithic and iterative optimization schemes to decrease the problem complexity. We implement the proposed algorithms in the ArchEx framework, leveraging a pattern-based specification language to facilitate problem formulation. Design problems from aircraft electric power distribution networks and reconfigurable industrial manufacturing systems illustrate the effectiveness of our approach.

中文翻译：

---

优化选择可靠且具有成本效益的安全关键系统架构

我们解决了综合安全关键嵌入式和网络物理系统架构的问题，以在保证所需可靠性的同时最小化成本函数。我们将系统架构表示为一个可配置的图，其中节点（组件）和边（互连）都可能出现故障。然后，我们提出了一种紧凑的分析形式，以根据组件的故障概率有效地推理整个系统的可靠性，并提供设计约束的表达式，以避免在所有可能的图形配置上详尽列举故障案例。基于这些约束，我们将综合问题转化为优化问题，并提出整体和迭代优化方案以降低问题复杂度。我们在 ArchEx 框架中实现了所提出的算法，利用基于模式的规范语言来促进问题的制定。来自飞机配电网络和可重构工业制造系统的设计问题说明了我们方法的有效性。