| 摘要: |
| 大型、复杂的分布式实时系统除了有严格的时间要求外，还需要有更大的灵活性、可预测性和可靠性．本文提出一个分布式实时系统的描述工具─—配置说明语言ＵＥＣｓｐｅｃ，用来描述分布式实时系统ＵＥＣｎｅｔ应用层的逻辑同结构、进程间的通信链接关系．以及各进程的实时特性．ＵＥＣｎｅｔ系统根据ＵＥＣｓｐｅｃ描述自动完成对应用系统的配置分析，初始分配及重配置． |
| 关键词: 分布式系统 程序设计语言和软件 并发程序设计 实时 配置 |
| DOI： |
| 分类号: |
| 基金项目:“七·五”预研项目,SB—3—3资助 |
|
| UECspec:A CONFIGURATION SPECIFICATION LANGUAGE ──THE TOOL FOR DESCRIBING A DISTRIBUTED REAL-TIME SYSTEM UECnet |
|
Shu Min,Gong Tianfu
|
| Abstract: |
| 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 sy |
| Key words: Distributed system programming languages and software concurrent programming real time configuration |
