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

作     者：刘雪艳 张强 寇晓东 LIU Xue Yan;ZHANG Qiang;KOU Xiao Dong

作者机构：西北师范大学数学与信息科学学院甘肃兰州730070 西安理工大学管理学院陕西西安710048 西北工业大学自动化学院陕西西安710072 

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

出 版 物：《电子技术应用》 (Application of Electronic Technique)

年 卷 期：2009年第35卷第2期

页      码：27-29页

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

主 题 词：Petri网 TPN 组件 非功能性约束 

学科分类：0839[0839] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.16157/j.issn.0258-7998.2009.02.030

馆 藏 号：203379045...