摘要
大型、复杂的分布式实时系统除了有严格的时间要求外，还需要有更大的灵活性、可预测性和可靠性．本文提出一个分布式实时系统的描述工具─—配置说明语言ＵＥＣｓｐｅｃ，用来描述分布式实时系统ＵＥＣｎｅｔ应用层的逻辑同结构、进程间的通信链接关系．以及各进程的实时特性．ＵＥＣｎｅｔ系统根据ＵＥＣｓｐｅｃ描述自动完成对应用系统的配置分析，初始分配及重配置．
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.
出处
《软件学报》
EI
CSCD
北大核心
1994年第1期37-41,共5页
Journal of Software
基金
"七.五"预研项目
SB-3-3资助
关键词
分布式
实时
操作系统
UECspec语言
Distributed system
programming languages and software
concurrent programming
real time
configuration.
