硬件系统可靠性验证系统

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

来源：2020-01-06, 中国, CN202010011028.0.

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

• 单位
  华东师范大学