专利名称：一种基于时间扩展petri网的嵌入式软件可靠性评
估系统
专利类型：发明专利发明人：殷永峰,张驰,刘利军申请号：CN201710684097.6申请日：20170811公开号：CN107491389A公开日：20171219
摘要：本发明公开了一种基于时间扩展petri网的嵌入式软件可靠性评估系统，属于软件可靠性技术领域。所述嵌入式软件可靠性评估系统包括系统框架模块、petri网建模模块、可达状态建模模块、工程管理模块、数据分配模块、可靠度计算模块和灵敏度分析模块。采用两种不同的建模方式和两种可靠性信息的分配方式。本发明对于不同的人群能够选择不同方式的体系结构建模方式，提高了系统的适用性；采用分层建模的方式，能够让结构模型更加清晰，便于分析。本发明调用matlab计算系统的可靠性和灵敏度，相对于使用普通程序，提高了计算的速度，并提高了模型计算的规模。
申请人：北京航空航天大学
地址：100191 北京市海淀区学院路37号
国籍：CN
代理机构：北京永创新实专利事务所
代理人：姜荣丽
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容