基于Petri网的嵌入式软件组件的实时性研究AET-电子技术应用-最丰富的电子设计资源平台

基于Petri网的嵌入式软件组件的实时性研究
所属分类：技术论文
上传者：aet
文档大小：181 K
标签：嵌入式操作系统
所需积分：0分积分不够怎么办？
文档介绍：根据嵌入式系统软件的特点和发展需求，设计了一种新的嵌入式软件组件模型SECOM，给出了模型的基本组成元素。同时，利用时间Petri网TPN建立一个TPN计时器timer，对该组件模型SECOM非功能性约束中的实时性进行建模与分析, 形式化地验证了该组件的实时性。
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。