基于Petri网的嵌入式软件组件的实时性研究

摘要：

根据嵌入式系统软件的特点和发展需求,设计了一种新的嵌入式软件组件模型SECOM,给出了模型的基本组成元素.同时,利用时间Petri网TPN建立一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行建模与分析,形式化地验证了该组件的实时性.

关键词：Petri网、TPN、组件、非功能性约束

所属期刊栏目：35

分类号：TP309(计算技术、计算机技术)

资助基金：教育部科学技术研究重点项目208148

在线出版日期：2009-04-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：27-29