ABSTRACT
Safety enhancement are necessary for risk control in embedded systems. This chapter devotes to functional safety enhancement for a parallel application of embedded systems under real-time requirement. We present a stable stopping-based functional safety enhancement (SSFSE) method for a parallel application of embedded systems based on the static recovery mechanism provided in ISO 26262. The SSFSE method combines known backward recovery (BFSE), presented forward recovery (FFSE), and presented forward and backward recovery (RFFSE and RBFSE) through primary-backup repetition. The SSFSE method is a convergence algorithm, which means that the algorithm can stop when the reliability value reaches a steady state. At the end of this chapter, we design different experiments. The results of experiments reveal that the exposure level defined in ISO 26262 decreases from E3 to E1 after using SSFSE method, and such improvement leads to a higher level of safety assurance.
