|
|||||
|
|
| 基于Petri网的嵌入式软件组件的实时性研究 | |
| 引用本文： | 刘雪艳,张强,寇晓东. 基于Petri网的嵌入式软件组件的实时性研究[J]. 电子技术应用, 2009, 35(2) |
| 作者姓名： | 刘雪艳 张强 寇晓东 |
| 作者单位： | 1. 西北师范大学,数学与信息科学学院,甘肃,兰州,730070 2. 西北师范大学,数学与信息科学学院,甘肃,兰州,730070;西安理工大学,管理学院,陕西,西安,710048 3. 西北工业大学,自动化学院,陕西,西安,710072 |
| 基金项目： | 教育部科学技术研究重点项目 |
| 摘 要： | 根据嵌入式系统软件的特点和发展需求,设计了一种新的嵌入式软件组件模型SECOM,给出了模型的基本组成元素。同时,利用时间Petri网TPN建立一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行建模与分析,形式化地验证了该组件的实时性。 |
| 关 键 词： | Petri网 TPN 组件 非功能性约束 |
Real-time study of embedded software component based on Petri net |
|
| LIU Xue Yan,ZHANG Qiang,KOU Xiao Dong. Real-time study of embedded software component based on Petri net[J]. Application of Electronic Technique, 2009, 35(2) | |
| Authors: | LIU Xue Yan ZHANG Qiang KOU Xiao Dong |
| Abstract: | This paper provides a new component model based on the characteristics and application requirements of embedded systems,the essential elements are also presented.At the same time,time Petri net is introduced.Especially,we set up a timer using time Petri net to model and analysis the non-functional constraints of SECOM,which satisfies the real-time requirement of embedded component software. |
| Keywords: | TPN |
| 本文献已被 万方数据 等数据库收录！ | |