• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Computers >Enabling Component-Based Design for Embedded Real-Time Software
【24h】

Enabling Component-Based Design for Embedded Real-Time Software

机译：启用基于组件的嵌入式实时软件的设计

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

—The increasing complexity of embedded software calls for a new, more efficient design approach. A natural choice is to use well-established component-based design; however, its adoption to design of embedded software has been slow and riddled with difficulties. It can be argued that these problems are due to the following peculiarities of embedded systems. Firstly, the tight integration between hardware and software, typical for embedded systems, makes it virtually impossible to model and implement software separately from hardware. Secondly, it is difficult to express timing requirements, an intrinsic part of functionality of many embedded systems, in dataflow abstractions traditionally used in component-based design. We propose to overcome these difficulties by introducing a uniform, consistent modeling of both hardware and software and by integrating timing requirements into the model. We present a modeling framework based on the notions of reactive objects and time-constrained reactions, which enables component-based design of embedded real-time systems. Within this framework, functionality of both hardware and software components is defined in terms of reactions to discrete external events, and timing requirements are specified for each reaction relative to the event that triggered it. We also present a detailed software design methodology for embedded real-time systems based on our modeling framework.
机译：- 嵌入式软件呼叫的复杂性越来越多，以新的更高效的设计方法。自然选择是使用良好的基于​​组件的设计;然而，它对嵌入式软件的设计采用缓慢而乱地困难。可以说这些问题是由于嵌入式系统的以下特点。首先，硬件和软件之间的紧密集成，典型的嵌入式系统，几乎不可能与硬件分开模拟和实现软件。其次，难以表达定时要求，许多嵌入式系统的内在部分，在传统上用于基于组件的设计的数据流抽象中。我们建议通过引入统一，一致的硬件和软件建模以及将时序要求集成到模型中来克服这些困难。我们基于反应对象的概念和时间约束反应的概念提出了一个建模框架，这使得能够实现基于组成的嵌入式实时系统的设计。在此框架内，硬件和软件组件的功能在对离散外部事件的反应方面定义，并且对于每个反应相对于触发它的事件指定时序要求。我们还基于我们的建模框架提供了一种详细的软件设计方法，用于嵌入式实时系统。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号