公开(公告)号：CN102880548B

公开(公告)日：2015-07-15

申请号：CN201210345740.X

申请日：2012-09-18

Applicant: 西北工业大学

Inventor： 董云为 ,  畅绍枫 ,  张凡 ,  程瑶

IPC: G06F11/36

Abstract: 本发明涉及一种基于行为描述的AADL可靠性模型生成方法，根据行为模型说明了构件的演化过程，若错误模型是基于行为模型产生的，那么每个错误就会明确地与构件的具体行为联系起来。另一方面，错误模型间的交互若能依赖于架构模型自动生成，则可以保证可靠性模型的准确性和全面性。因此，本发明在深入研究AADL架构模型、错误模型和行为模型的基础上，提出在构件层实现错误模型的自动化生成。本发明能够保证错误模型间交互的准确性和全面性，时的系统可靠性模型的完整性，保证可靠性评估的准确性。

公开(公告)号：CN102880548A

公开(公告)日：2013-01-16

申请号：CN201210345740.X

申请日：2012-09-18

Applicant: 西北工业大学

Inventor： 董云为 ,  畅绍枫 ,  张凡 ,  程瑶

IPC: G06F11/36

Abstract: 本发明涉及一种基于行为描述的AADL可靠性模型生成方法，根据行为模型说明了构件的演化过程，若错误模型是基于行为模型产生的，那么每个错误就会明确地与构件的具体行为联系起来。另一方面，错误模型间的交互若能依赖于架构模型自动生成，则可以保证可靠性模型的准确性和全面性。因此，本发明在深入研究AADL架构模型、错误模型和行为模型的基础上，提出在构件层实现错误模型的自动化生成。本发明能够保证错误模型间交互的准确性和全面性，时的系统可靠性模型的完整性，保证可靠性评估的准确性。