公开(公告)号：CN101986268A

公开(公告)日：2011-03-16

申请号：CN201010554285.5

申请日：2010-11-18

Applicant: 西北工业大学

Inventor： 张凡 ,  畅绍枫 ,  周兴社 ,  董云卫 ,  王广仁

IPC: G06F9/44

Abstract: 本发明涉及一种基于AADL描述的可靠性模型向GSPN模型的转换方法，其特征在于：将基本错误模型元素转换为GSPN模型中的基本元素；对描述构件向外传播错误的Out-propagation规则进行转换，以及对描述构件接收错误传播的In-propagation规则进行转换；根据错误模型中定义的基本依赖关系元素的交互，对高级依赖关系元素进行转换，向系统的GSPN模型中添加弧基本元素，得到具有高级依赖关系的系统的GSPN模型；将Out-propagation规则转换得到的位置中的标识清空，得到优化的系统的GSPN模型。本发明细化了基于GSPN模型元素建立AADL可靠性计算模型的方法和机制，实现了AADL模型元素转换到GSPN可靠性模型元素之间的一一对应关系。

公开(公告)号：CN102880548A

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

申请号：CN201210345740.X

申请日：2012-09-18

Applicant: 西北工业大学

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

IPC: G06F11/36

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

公开(公告)号：CN102880548B

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

申请号：CN201210345740.X

申请日：2012-09-18

Applicant: 西北工业大学

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

IPC: G06F11/36

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