分布式实时系统UECnet的描述工具──配置说明语言UECspec  

UECspec:A CONFIGURATION SPECIFICATION LANGUAGE ──THE TOOL FOR DESCRIBING A DISTRIBUTED REAL-TIME SYSTEM UECnet

作　　者：舒敏[1] 龚天富[1] 

机构地区：[1]电子科技大学计算机系

出　　处：《软件学报》1994年第1期37-41,共5页Journal of Software

基　　金："七.五"预研项目;SB-3-3资助

摘　　要：大型、复杂的分布式实时系统除了有严格的时间要求外，还需要有更大的灵活性、可预测性和可靠性．本文提出一个分布式实时系统的描述工具─—配置说明语言ＵＥＣｓｐｅｃ，用来描述分布式实时系统ＵＥＣｎｅｔ应用层的逻辑同结构、进程间的通信链接关系．以及各进程的实时特性．ＵＥＣｎｅｔ系统根据ＵＥＣｓｐｅｃ描述自动完成对应用系统的配置分析，初始分配及重配置．Large and complicated distributed real-time systems require more flexibility, predictability and reliability besides strict timing constraints. This paper presents a configuration specification language UECspec, which is a description tool for distributed real-time application systems and is used to describe the logical network structure, communication linkage relations among processes and the real-time properties of processes at the application level of a distributed real-time system UECnet. The UECnet system performs automatically the configuration of application systems by the specifications in UECspec.

关 键 词：分布式 实时 操作系统 UECspec语言 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]