• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Conference on Emerging Technologies and Factory Automation >Coupling of timing properties for embedded realtime systems using a hybrid tool integration approach
【24h】

Coupling of timing properties for embedded realtime systems using a hybrid tool integration approach

机译：使用混合工具集成方法的嵌入式实时系统的时序属性耦合

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

摘要

The increasing complexity of realtime embedded software systems necessitates them to support a variety of functions. Therefore, a practice is to split the overall system into different sub-systems and use various (modeling) tools for describing different parts of the system. On the other hand, though guaranteeing realtime properties forms an integral part of realtime embedded software development, it is often overlooked during system specification. Thereby, much effort is needed to solve timing problems, when they occur after implementing a system. Therefore, it is desirable to specify and validate timing properties during early development stages. As different parts of an overall system can be developed using various tools, elements which influence the timing behavior can be located in different sources. In order to analyze the overall timing behavior with a timing validation tool, all timing properties of the overall system are needed. Therefore, this paper presents an approach to couple timing properties from different sources. The approach allows to create links between elements across different sources and to synchronize timing properties. Thereby, timing properties can be followed, kept consistent and combined to be validated.
机译：实时嵌入式软件系统日益复杂，因此它们必须支持各种功能。因此，一种实践是将整个系统划分为不同的子系统，并使用各种（建模）工具来描述系统的不同部分。另一方面，尽管保证实时属性是实时嵌入式软件开发不可或缺的一部分，但在系统规范期间它常常被忽略。因此，当时序问题在实施系统后出现时，需要付出很多努力来解决时序问题。因此，期望在开发的早期阶段指定并验证时序属性。由于可以使用各种工具来开发整个系统的不同部分，因此影响时序行为的元素可以位于不同的来源中。为了使用时序验证工具分析整体时序行为，需要整个系统的所有时序属性。因此，本文提出了一种从不同来源耦合时序属性的方法。该方法允许在不同源之间的元素之间创建链接，并使时序属性同步。因此，可以跟踪，保持一致的时序属性并进行组合以进行验证。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号