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

摘要：

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

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

所属期刊栏目：45

分类号：TP311(计算技术、计算机技术)

资助基金：云南省教育厅科学研究基金项目the Science Foundation of Yunnan Province Education Department under Grant 07C10799;昆明理工大学人才培养基金The Training Fund of Kunming University of Science and Technology.2008037

在线出版日期：2009-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：74-77,85