基于广义随机Petri网的软硬件综合的AADL模型可靠性评估方法

摘要

本发明涉及一种基于广义随机Petri网的AADL软硬件综合可靠性模型的评估方法，首先，构建软硬件综合的AADL可靠性模型；然后将运行平台构件事务级错误模型中事务单元内部的基本错误模型元素转换为GSPN中的基本元素；对刻画运行平台构件内部数据流交互的事务单元之间的连接关系进行转换；对架构模型中定义的运行平台构件之间的连接关系、软件构件与运行平台构件之间的绑定关系进行转换；使得系统运行平台构件转换得到的GSPN子模型与系统软件构件转换得到的GSPN子模型复合为系统软硬件综合的GSPN模型，在此基础上，调用GSPN计算工具，对系统进行稳定概率分布计算，完成软硬件综合的可靠性评估。