RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications

The increasing complexity of safety-critical embedded applications have made it imperative to specify and analyze reliability upfront in the design flow so that reliable systems can be automatically synthesized adhering to such descriptions. This paper develops a framework, RELSPEC, to express the reliability of a safety-critical embedded application at an early-stage of the design flow and enables the reliability analysis leveraging automatically constructed intermediate probabilistic models of the system. Further, our analysis provides a mechanized way to refine the reliability in order to meet a target reliability value of the overall system. Experiments over few automotive case-studies show the efficacy of this methodology.