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

Non-functional Interface Semantic Specification for Real-Time System Component

作　　者：刘晓燕[1] 张云生[1] J-J.Schwarz 李俊昌[1] 

机构地区：[1]昆明理工大学信息工程与自动化学院 [2]LIRIS,UCB Lyon1,IUTA,69622 Villeurbanne Cedex France

出　　处：《计算机科学》2007年第6期251-252,257,共3页Computer Science

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

摘　　要：该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约。Present a component distributed and involved in C/S relation real-time interface definition dedicated to component-based graphical design software for real-time multitasking application systems. Non-functional interface model for real-time component is discussed mainly. Semantic specifications of component non-functional interface in time, schedulability,composition, synchronization, mutual exclusion and resource device control are provided aiming at realtime features.

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

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]