计算机科学 ›› 2008, Vol. 35 ›› Issue (8): 277-280.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 合理的模型是保证分布式实时嵌入式（DRE）件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网（ITPN），采用自顶向下的策略对功能模块及其通信过程分别建模，并利用Petri网的合成运算形成整个应用的ITPN模型。在确保系统实时性的前提下，给出软件模型合理性的形式化定义及其判定定理。最后以实例说明该方法的可行性。
关键词: 分布式实时嵌入式软件 Petri网 建模 合理性 验证
Abstract: The soundness of the model is the key issue to guarantee the reliability of distributed real-time embedded （DRE） software. Reasonable determination method of DRE software model is given in this paper. The method is based on time Petri nets with inhibitor
Key words: Distributed real-time embedded software, Petri nets, Model, Soundness, Verification
. 基于Petri的分布式实时嵌入式软件合理性分析[J]. 计算机科学, 2008, 35(8): 277-280. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I8/277
Cited
首页