An Efficient Reliability Evaluation Approach for System-Level Design of Embedded Systems

Adeel Israr,  Abdulhadi Shoufan,  Sorin Huss


A system-level design process of reliable systems demands efficient reliability evaluation of the explored design alternatives. This paper presents a new approach to accelerate the reliability evaluation and, thus, the design space exploration for reliable systems. A new data structure denoted as System Error Decision Diagram (SEDD) is proposed, which is based on both binary decision diagrams to model permanent errors and zero-suprressed decision diagrams to model transient errors. Both contructing the SEDD diagram and evaluating reliability based on it are detailed in an algorithmic way. The proposed approach is demonstrated for a control system taken from the automotive domain.