With the increase in the complexity of safety-critical embedded applications, the reliability analysis of such systems have also become increasingly difficult. For such complex system specifications, if the reliability provisions are declared upfront in the design flow then the overall system level reliability can be easily inferred given that the system components satisfy their individual reliability requirements. Moreover, such an early-stage specification and analysis paves newer and scalable ways for synthesis of reliable systems. This paper develops a reliability specification and analysis framework, RELSPEC, which enables system level reliability analysis at an early-stage of design by leveraging automatically constructed intermediate probabilistic models of the system. In addition to this, we provide a mechanized method of system synthesis with the objective of satisfying a target reliability value for the overall system. To this end, we explore the application of existing optimization methods and also provide domain specific techniques which outperform such existing methods. Experiments over a few automotive case-studies show the efficacy of this methodology.

中文翻译：

---

RELSPEC：用于基于组件的嵌入式系统的可靠性感知设计的框架

随着安全关键型嵌入式应用程序的复杂性增加，此类系统的可靠性分析也变得越来越困难。对于这种复杂的系统规范，如果在设计流程中预先声明了可靠性规定，则只要系统组件满足其各自的可靠性要求，就可以轻松推断出整个系统级的可靠性。而且，这种早期的规范和分析为可靠系统的合成铺平了更新的可扩展方式。本文开发了可靠性规范和分析框架RELSPEC，通过利用系统的自动构建的中间概率模型，可以在设计的早期阶段进行系统级可靠性分析。除此之外，我们提供一种机械化的系统综合方法，其目的是满足整个系统的目标可靠性值。为此，我们探索了现有优化方法的应用，并提供了超越此类现有方法的领域特定技术。在一些汽车案例研究中的实验证明了这种方法的有效性。