The System Level SFMEA Methodology Based on SPIN
Zhiqiu Huang · Machine Design and Manufacturing Engineering · 2013
In order to increase the complexity of software systems,it is important to ensure the correctness and reliability of critical software. The traditional software failure modes and effect analysis methodology is lack of accuracy and completeness because of the restrict of the artificial work. Therefore,it presents SPIN based system level SFMEA methodology,which can provide more accuracy and more completeness analysis for the system. It also describes a case study of one aero engine using this mothedology to prove the feasibility of the mothedology.