计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (25): 74-77.DOI: 10.3778/j.issn.1002-8331.2009.25.023

• 研发、设计、测试 • 上一篇    下一篇

实时嵌入式构件模型组装方法及时间性推理

字天文,刘晓燕,沈嘉权   

  1. 昆明理工大学 信息工程与自动化学院,昆明 650051
  • 收稿日期:2009-01-09 修回日期:2009-02-09 出版日期:2009-09-01 发布日期:2009-09-01
  • 通讯作者: 字天文

Assembly and time reasoning methods of real-time embedded component model

ZI Tian-wen,LIU Xiao-yan,SHEN Jia-quan   

  1. School of Information Engineering and Automation,Kunming University of Science and Technology,Kunming 650051,China
  • Received:2009-01-09 Revised:2009-02-09 Online:2009-09-01 Published:2009-09-01
  • Contact: ZI Tian-wen

摘要: 针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。

关键词: 实时嵌入式, 软构件模型, 构件接口, 组装, 时间性

Abstract: This paper presents a better adaptive software component model and component assembly mechanism,and describes component interface specifications and assembly specifications by using the formal methods.Besides,the methods of time reasoning about components are given.The target is to build a more useful,simpler,and more open component model and to build a more reasonable component assembly and reasoning mechanism for real-time embedded system.

Key words: real-time embedded system, software component model, component interface, assembly, time

中图分类号: