• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Real-Time and Embedded Computing Systems and Applications(RTCSA 2003); 20030218-20030220; Tainan City; CT >Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis
【24h】

Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis

机译：通过自动跟踪分析从实时系统中提取时间属性

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Statically analyzing real-time systems normally involves a high degree of pessimism, but it is necessary in systems requiring 100% guarantee. However, lots of less critical systems would significantly benefit from combining such static analysis with empirical tests. Empirical tests are based on observing the system at run time and extracting information about its temporal behavior. In this sense, this paper presents a generic and extensible framework that permits the extraction of temporal properties of real-time systems by analyzing their run-time traces. The analysis is based on event-recognition finite state machines that compute the temporal properties with a computational cost of O(1) per observed event in most of the cases. The framework is instantiated in order to extract some typical temporal properties (such as computation time or response time of tasks), which can serve as a template to define new ones. Finally, the paper also shows how the framework can be implemented on a real system, exclusively using state-of-the-art technology; in particular, the Trace and Real-Time Extensions of the POSIX standard.
机译：静态分析实时系统通常涉及高度的悲观情绪，但是在要求100％保证的系统中这是必需的。但是，将此类静态分析与经验测试相结合将使许多不太关键的系统受益匪浅。经验测试基于在运行时观察系统并提取有关其时间行为的信息。从这个意义上讲，本文提出了一个通用且可扩展的框架，该框架允许通过分析实时系统的运行时轨迹来提取其实时属性。该分析基于事件识别有限状态机，该机在大多数情况下以每个观察到的事件O（1）的计算成本来计算时间属性。实例化该框架是为了提取一些典型的时间属性（例如计算时间或任务的响应时间），这些时间属性可以用作定义新属性的模板。最后，本文还展示了如何仅使用最新技术在真正的系统上实现该框架。特别是POSIX标准的跟踪和实时扩展。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号