论文部分内容阅读
为保证关键软件系统的安全性和可靠性，对软件失效模式与影响分析方法在实际应用中存在的问题进行了分析研究，结合模型检验技术提出了一种基于SPIN的系统级失效模式与影响分析方法。该方法运用SPIN模型检验工具的验证和模拟功能，有效提高了失效模式分析的准确性和充分性。此外还结合某型航空发动机控制系统介绍了一个应用实例，证明了该方法在工程实践中的可行性。