硬件系统可靠性验证方法

作者：黄滟鸿; 丁骅; 史建琦; 刘静; 曹桂涛

来源：2020-01-06, 中国, CN202010010995.5.

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

• 单位
  华东师范大学