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

作     者：刘晓燕 张云生 J-J.Schwarz 李俊昌 LIU Xiao-Yan;ZHANG Yun-Sheng;J-J. Schwarz;LI Jun-Chang

作者机构：昆明理工大学信息工程与自动化学院 LIRISUCB Lyon1IUTA69622 Villeurbanne Cedex France 

基　　金：云南省教育厅科学研究基金项目(04Y467D) 云南省应用基础研究基金项目(2000F0004Z) 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2007年第34卷第6期

页      码：251-252,257页

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

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

学科分类：08[工学] 0802[工学-机械学] 0835[0835] 080201[080201] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2007.06.070

馆 藏 号：203732472...