[发明专利]一种基于时间扩展petri网的嵌入式软件可靠性评估系统

摘要

本发明公开了一种基于时间扩展petri网的嵌入式软件可靠性评估系统，属于软件可靠性技术领域。所述嵌入式软件可靠性评估系统包括系统框架模块、petri网建模模块、可达状态建模模块、工程管理模块、数据分配模块、可靠度计算模块和灵敏度分析模块。采用两种不同的建模方式和两种可靠性信息的分配方式。本发明对于不同的人群能够选择不同方式的体系结构建模方式，提高了系统的适用性；采用分层建模的方式，能够让结构模型更加清晰，便于分析。本发明调用matlab计算系统的可靠性和灵敏度，相对于使用普通程序，提高了计算的速度，并提高了模型计算的规模。

主权项

一种基于时间扩展petri网的嵌入式软件可靠性评估系统，其特征在于：所述嵌入式软件可靠性评估系统包括系统框架模块、petri网建模模块、可达状态建模模块、工程管理模块、数据分配模块、可靠度计算模块和灵敏度分析模块；所述系统框架模块是所有模块的依附框架，实现对软件中各个资源的管理，软件的调配；所述petri网建模模块完成基于petri网的嵌入式软件体系结构建模，模型的基本元素是petri网的基本元素，包括库所、变迁和弧；所述可达状态建模模块完成使用层面的可达状态和状态转移的建模，模型的基本元素是系统可达状态，以及状态之间的转移；所述工程管理模块完成整个评估工程的存储和读取功能；所述数据分配模块完成对建模的可靠性信息的分配，包括转移概率和组件可靠度信息；所述可靠度计算模块完成可达状态转移图的构建以及系统可靠度的计算，所述的可靠度计算的过程为：获得可达状态转移矩阵后，调用matlab进行矩阵计算；所述灵敏度分析模块完成各个组件的灵敏度计算。所述的灵敏度计算为通过实验法改变组件可靠度的步长获取系统可靠度的变化，计算并显示各个组件的灵敏度分析结果。