公开(公告)号：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可靠性模型元素之间的一一对应关系。

公开(公告)号：CN101901186A

公开(公告)日：2010-12-01

申请号：CN201010221813.5

申请日：2010-07-08

Applicant: 西北工业大学

Inventor： 张凡 ,  董云卫 ,  高磊 ,  王广仁

IPC: G06F11/36

Abstract: 本发明涉及一种嵌入式系统可靠性分析与评估方法，技术特征在于：基于AADL架构模型文件和AADL错误模型文件，形成AADL可靠性模型文件，然后将AADL可靠性模型转换到广义随机Petri网(General Stochastic Petri Net，GSPN)可靠性模型，利用现有的GSPN可靠性评估方法，对AADL可靠性模型进行量化分析。本发明方便软件架构可靠性分析自动化，方便用户在软件设计的早期对嵌入式软件的可靠性进行分析评估，在架构级别对软件的可靠性进行评估，如果模型架构不能满足要求，那么就可以提前修改软件架构，这样不仅可以节约开发成本，而且可以缩短开发周期。

公开(公告)号：CN101901186B

公开(公告)日：2012-06-06

申请号：CN201010221813.5

申请日：2010-07-08

Applicant: 西北工业大学

Inventor： 张凡 ,  董云卫 ,  高磊 ,  王广仁

IPC: G06F11/36

Abstract: 本发明涉及一种嵌入式系统可靠性分析与评估方法，技术特征在于：基于AADL架构模型文件和AADL错误模型文件，形成AADL可靠性模型文件，然后将AADL可靠性模型转换到广义随机Petri网(General Stochastic Petri Net，GSPN)可靠性模型，利用现有的GSPN可靠性评估方法，对AADL可靠性模型进行量化分析。本发明方便软件架构可靠性分析自动化，方便用户在软件设计的早期对嵌入式软件的可靠性进行分析评估，在架构级别对软件的可靠性进行评估，如果模型架构不能满足要求，那么就可以提前修改软件架构，这样不仅可以节约开发成本，而且可以缩短开发周期。