期刊文献+

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

下载PDF
导出
摘要 设计了一种新的基于嵌入式系统软件特点和应用需求的嵌入式软件组件模型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.
;
使用帮助 返回顶部