嵌入式软件组件的实时性研究
摘要
设计了一种新的基于嵌入式系统软件特点和应用需求的嵌入式软件组件模型SECOM。同时,利用时间Petri网TPN建立了一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行了建模与分析,结果满足嵌入式软件组件的实时性要求。
出处
《甘肃科技》
2013年第6期12-14,共3页
Gansu Science and Technology
参考文献7
-
1Tborsten HUMMEL, Wolfgang FENGLER. DESIGN OF EMBEDDED CONTROL SYSTEMS USING HYBRID PETRI NETS. The International Workshop on Discrete - Event System Design [ J ]. DESDes' 01, June27 - 29, 2001.
-
2Przytok near Zielona Gora, Poland. Thomas Thomas GenBler,Oscar Nierstrasz, Bastiaan Sch - onhage, Components for Embedded Software [ J ], CASES 2002 October 8 - 11,2002, Grenoble, France.
-
3Time Petri Nets www. daimi, au. dk/PetriNets.
-
4Berthomieu B,Diaz M:Modeling and Veri cation of Time Dependent Systems Using Time Petri Nets [ J ]. IEEE Trans. Software Eng. 1991,17:259 - 273.
-
5XIA CAI, MICHAEL R. LYU , KAM -FAI WONG; COMPONENT - BASED EMBEDDED SOFTWARE NGI- NEERING: DEVELOPMENT FRAMEWORK, QUALITY ASSURANCE AND A GENERIC ASSESSMENT ENVI- RONMENT [ J ]. International Journal of Software Engi- neering and Knowledge Engineering,2002,12 ( 2 ) : 107 - 133.
-
6Rob van Ommering, Frank van de Linden, The Koala Component Model for Consumer Electronics Software [J]. IEEE 2000,78 -85.
-
7Wolfgang Emmerich , Nima Kaveh, Component Technolo- gies : Java Beans, COM, CORBA, RMI, EJB and the COR- BA Component Model[J]. ACM 2001,311 -312.
-
1刘雪艳,张强,寇晓东.基于Petri网的嵌入式软件组件的实时性研究[J].电子技术应用,2009,35(2):27-29. 被引量:1
-
2方海,吴健,张蕴.基于组件技术嵌入式电力监控系统的设计与实现[J].微型电脑应用,2010,26(12):55-57.
-
3室外监视的警卫机器人[J].军民两用技术与产品,2005(11):28-28.
-
4刘雪艳,张贵仓.嵌入式软件组件模型的研究与设计[J].佳木斯大学学报(自然科学版),2004,22(1):19-22. 被引量:3
-
5葛君伟,邓利平.嵌入式GIS组件研究[J].微计算机信息,2008,24(34):206-208. 被引量:1
-
6冯庆,桑楠.OO运行支撑技术在PDA手机软件平台中的应用[J].计算机工程与应用,2005,41(11):87-90. 被引量:1
-
7吴坚.基于进程间通信的通用实时嵌入式组件集成调度框架[J].中国西部科技,2009,8(16):44-45.
-
8沈骁,刘剑,金剑.基于进程间通信的通用实时嵌入式组件集成调度框架[J].数字石油和化工,2008(1):49-52.
-
9家庭联网报警中高端市场或将迎来井喷期[J].A&S(安全&自动化),2012(10):62-64.
-
10严义,左鼎.基于关系矩阵的嵌入式组件裁剪方法[J].计算机工程与应用,2009,45(24):77-79. 被引量:2