RTCS:一种具有精确语义的实时构件描述机制  

RTCS: A Method of Real-Time Component Specification with Precise Semantics

作　　者：徐丽萍[1] 贾红卫[1] 卢炎生[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,武汉430074

出　　处：《计算机科学》2005年第8期205-208,共4页Computer Science

摘　　要：大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法,即通过已有的经过验证的可复用构件来构造实时系统,如能将这一集成过程自动化,将会显著提高实时系统的开发效率。通过对实时任务特性的分析,在Timed CSP等形式化工具的基础上,提出了一种具有精确语义的实时构件描述机制—RTCS,并探讨了在实时COR-BA架构内利用RTCS实现构件自动生成的方法。Large and complex real time systems can benefit significantly from a component based development approach where new systems are constructed by composing reusable and previously tested components, if this process of component composition can be automated, the efficiency of system development would be largely promoted. This paper presents an approach with precise semantics, based on formal tools such as Timed CSP, to the specification and specification matching of real-time components（RTCS）. In the context of Real-Time CORBA, this paper also discusses the method of using RTCS to automate the composition of real-time components.

关 键 词：实时构件 构件描述 构件集成 实时系统 RTCS 机制 语义 软件开发方法 可复用构件 过程自动化 

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