2.1 Introduction2.2 Related Work2.3 Models and Preliminaries2.3.1 System Model2.3.2 Reliability Model2.3.3 Reliability Requirement Assessment2.3.4 Real-Time Requirement Assessment2.3.5 Problem Statement2.4 Response time minimization under Reliability Requirement2.4.1 Satisfying Reliability Requirement2.4.2 Response Time Minimization2.4.3 Example of the FFSV12.5 Reliability Maximization Under Real-Time Requirement2.5.1 Satisfying Real-Time Requirement2.5.2 Reliability Maximization2.5.3 Example of the FFSV22.5.4 Union Verification2.6 Experiments for Functional safety verification Algorithms FFSV2, FFSV2, and UFFSV2.6.1 Real-Life Parallel Application2.6.2 Synthetic Parallel Application2.7 Concluding Remarks