硬件系统可靠性验证方法

本成果是一种硬件系统可靠性验证方法，包括：建立AADL可靠性模型；将所述AADL可靠性模型转换为动态故障树模型；通过顺序二元决策图方法对所述动态故障树模型进行分析验证。通过上述方法，可以在更高的抽象层次上进行系统级别的设计，有助于缓解系统复杂性，提高软件质量，而且对整个硬件内部和外部交互的可靠性有较大的提高。
本成果提供了一种硬件系统可靠性验证方法，通过建立AADL结构模型和故障模型；生成AADL可靠性模型，根据给定方法，将可靠性模型转化为动态故障树，使用顺序二元决策图方法分析动态故障树，实现对硬件的验证，通过建立可靠性模型并进行验证，可以对硬件内部、硬件之间通信进行建模和验证。从而不仅有助于缓解系统复杂性，提高软件质量，而且对整个硬件内部和外部交互的可靠性有较大的提高，还能优化硬件结构使其更加集中合理，有利于构建安全、稳定、高效的硬件系统。
华东师范大学