嵌入式软件组件的实时性研究  

作　　者：刘爽[1] 

机构地区：[1]西北师范大学数学与信息科学学院,甘肃兰州730070

出　　处：《甘肃科技》2013年第6期12-14,共3页Gansu Science and Technology

摘　　要：设计了一种新的基于嵌入式系统软件特点和应用需求的嵌入式软件组件模型SECOM。同时,利用时间Petri网TPN建立了一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行了建模与分析,结果满足嵌入式软件组件的实时性要求。

关 键 词：PETRI网 TPN 嵌入式组件 SECOM 非功能性约束 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]