硬件系统可靠性验证方法

摘要

本发明公开了一种硬件系统可靠性验证方法，包括：建立AADL可靠性模型；将所述AADL可靠性模型转换为动态故障树模型；通过顺序二元决策图方法对所述动态故障树模型进行分析验证。通过上述方法，可以在更高的抽象层次上进行系统级别的设计，有助于缓解系统复杂性，提高软件质量，而且对整个硬件内部和外部交互的可靠性有较大的提高。