一种基于时间扩展petri网的嵌入式软件可靠性评估系统

摘要

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