论文研究-基于扩展Petri网的系统建模及形式化验证方法.pdf

所需积分/C币:26 2019-07-22 20:59:36 404KB .PDF
收藏 收藏
举报

嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。

...展开详情
试读 4P 论文研究-基于扩展Petri网的系统建模及形式化验证方法.pdf
立即下载 低至0.43元/次 身份认证VIP会员低至7折
抢沙发
一个资源只可评论一次,评论内容不能少于5个字
  • 至尊王者

    成功上传501个资源即可获取
关注 私信 TA的资源
上传资源赚积分,得勋章
最新推荐
论文研究-基于扩展Petri网的系统建模及形式化验证方法.pdf 26积分/C币 立即下载
1/4
论文研究-基于扩展Petri网的系统建模及形式化验证方法.pdf第1页

试读结束, 可继续读1页

26积分/C币 立即下载 >