实时系统构件非功能性接口语义规约

摘要：

该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约.

关键词：实时系统、实时构件、接口设计、非功能性、语义规约

所属期刊栏目：34

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

资助基金：云南省教育厅资助项目04Y467D;云南省应用基础研究项目2000F0004Z

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

页数：共3页

页码：251-252,257