计算机科学 ›› 2005, Vol. 32 ›› Issue (8): 205-208.

• 软件工程与数据库技术 • 上一篇    下一篇

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

徐丽萍 贾红卫 卢炎生   

  1. 华中科技大学计算机科学与技术学院,武汉430074
  • 出版日期:2018-11-17 发布日期:2018-11-17

Xu LiPing;Gu GongWei;Lu YanSheng   

  • Online:2018-11-17 Published:2018-11-17

摘要: 大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法,即通过已有的经过验证的可复用构件来构造实时系统,如能将这一集成过程自动化,将会显著提高实时系统的开发效率。通过对实时任务特性的分析,在Timed CSP等形式化工具的基础上,提出了一种具有精确语义的实时构件描述机制-RTCS,并探讨了在实时COR—BA架构内利用RTCS实现构件自动生成的方法。

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

Abstract: 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,

Key words: Real-time component, Component specification, Component composition

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!