首页> 中国专利> 一种基于时间扩展petri网的嵌入式软件可靠性评估方法

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

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种基于时间扩展petri网的嵌入式软件可靠性评估方法，属于软件可靠性技术领域。所述的方法包括确定评估对象绘制软件体系结构的基于时间扩展的petri网模型、构建软件系统的可达状态标识转移图、获得组件可靠度和变迁可靠度、构建状态转移矩阵、软件系统可靠度计算和灵敏度计算。本发明方法对petri网进行了时间方面的扩展，通过加入延时、时序方面的因素提高了对实时嵌入式软件的描述能力，并引入相关可靠性，将这些特点运用到可靠性评估中；本发明克服了采用路径的模型计算方法较为复杂并且可能不太准确的问题；可识别影响软件系统可靠度的关键组件。

著录项

公开/公告号CN106933737A

专利类型发明专利
公开/公告日2017-07-07

原文格式PDF
申请/专利权人北京航空航天大学;
展开▼

申请/专利号CN201710042995.1
发明设计人殷永峰;张弛;刘利军;
展开▼

申请日2017-01-19
分类号G06F11/36;
代理机构北京永创新实专利事务所;
代理人姜荣丽
地址 100191 北京市海淀区学院路37号
入库时间 2023-06-19 02:48:20

法律信息

法律状态公告日

法律状态信息

法律状态
2017-08-01

实质审查的生效 IPC(主分类):G06F11/36 申请日:20170119

实质审查的生效
2017-07-07

公开

公开

相似文献

专利
中文文献
外文文献

1. 一种基于时间扩展petri网的嵌入式软件可靠性评估方法 [P] . 中国专利： CN106933737A . 2017-07-07
2. 一种基于时间扩展petri网的嵌入式软件可靠性评估系统 [P] . 中国专利： CN107491389A . 2017-12-19
3. MODELING METHOD OF CONTROL TARGET SYSTEM BASED ON EXTENDED PETRI NET AND CONTROLLER BASED ON EXTENDED PETRI NET [P] . 日本专利： JP2007058447A . 2007-03-08

机译：基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
4. Software reliability evaluation device, software reliability evaluation method, and a program [P] . 日本专利： JP6016613B2 . 2016-10-26

机译：软件可靠性评估装置，软件可靠性评估方法和程序
5. SOFTWARE RELIABILITY EVALUATION DEVICE, SOFTWARE RELIABILITY EVALUATION METHOD, AND PROGRAM [P] . 日本专利： JP2014123246A . 2014-07-03

机译：软件可靠性评估装置，软件可靠性评估方法和程序