一种基于ＡＡＤＬ描述的可靠性模型向ＧＳＰＮ模型的转换方法技术

本发明专利技术涉及一种基于ＡＡＤＬ描述的可靠性模型向ＧＳＰＮ模型的转换方法，其特征在于：将基本错误模型元素转换为ＧＳＰＮ模型中的基本元素；对描述构件向外传播错误的Ｏｕｔ－ｐｒｏｐａｇａｔｉｏｎ规则进行转换，以及对描述构件接收错误传播的Ｉｎ－ｐｒｏｐａｇａｔｉｏｎ规则进行转换；根据错误模型中定义的基本依赖关系元素的交互，对高级依赖关系元素进行转换，向系统的ＧＳＰＮ模型中添加弧基本元素，得到具有高级依赖关系的系统的ＧＳＰＮ模型；将Ｏｕｔ－ｐｒｏｐａｇａｔｉｏｎ规则转换得到的位置中的标识清空，得到优化的系统的ＧＳＰＮ模型。本发明专利技术细化了基于ＧＳＰＮ模型元素建立ＡＡＤＬ可靠性计算模型的方法和机制，实现了ＡＡＤＬ模型元素转换到ＧＳＰＮ可靠性模型元素之间的一一对应关系。

【技术实现步骤摘要】

本专利技术涉及一种基于AADL描述的可靠性模型向GSPN模型的转换方法，涉及嵌入 式软件应用中AADL可靠性模型向可计算模型的转换方法。
技术介绍
为了满足开发新型的嵌入式系统的需求，美国自动化工程师协会发布了航空标准 AS5506——架构分析与设计语 目(Architecture Analysis and Design Language，AADL)。 AADL对基于模型的分析和复杂实时嵌入式系统的描述有很好的支持，通过构件以及构件 间的交互、软件构件、硬件构件和系统构件的绑定，对实时高可靠嵌入式系统进行描述与分 析；并基于系统的交互模型对系统非功能属性进行分析与评估，如果AADL模型不能满足非 功能属性的需求，那么可以在架构这一级别对系统进行重新设计和构造，使得最终满足可 靠性的要求。AADL模型包括AADL架构模型和AADL错误模型。AADL错误模型是为AADL进行 可靠性建模而补充开发的。以AADL架构模型和AADL错误模型为中心，就可以建立系统的 AADL可靠性模型。在可靠性模型中，构件的错误模型是一个随机自动机，而此随机自动机的 组成规则依赖于在结构中声明的可能发生的错误本文档来自技高网...

【技术保护点】
一种基于ＡＡＤＬ描述的可靠性模型向ＧＳＰＮ模型的转换方法，其特征在于步骤如下：步骤１：将基本错误模型元素转换为ＧＳＰＮ模型中的基本元素，得到构件的基本ＧＳＰＮ模型，所述转换规则如下：将错误状态转换为位置；将初始错误状态转换为带标识的位置；根据错误事件发生服从泊松分布或者是固定概率分布的情况，分别将其转换为时间迁移和瞬时迁移两种，其中迁移的时间参数和错误事件的参数相同；将错误状态间的变迁转换为位置到迁移的弧和迁移到位置的弧；步骤２：根据构件向外错误传播分布规律的不同，对描述构件向外传播错误的Ｏｕｔ－ｐｒｏｐａｇａｔｉｏｎ规则进行转换，以及对描述构件接收错误传播的Ｉｎ－ｐｒｏｐａｇａｔｉｏｎ规则进...

【技术特征摘要】

【专利技术属性】
技术研发人员：张凡，畅绍枫，周兴社，董云卫，王广仁，
申请(专利权)人：西北工业大学，
类型：发明
国别省市：87[中国|西安]