• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Symposium on Software Reliability Engineering Workshops >Verifying Response Times in Networked Automation Systems Using Jitter Bounds
【24h】

Verifying Response Times in Networked Automation Systems Using Jitter Bounds

机译：使用抖动界限验证网络自动化系统中的响应时间

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

摘要

Networked Automation Systems (NAS) have to meet stringent response time during operation. Verifying response time of automation is an important step during design phase before deployment. Timing discrepancies due to hardware, software and communication components of NAS affect the response time. This investigation uses model templates for verifying the response time in NAS. First, jitter bounds model the timing fluctuations of NAS components. These jitter bounds are the inputs to model templates that are formal models of timing fluctuations. The model templates are atomic action patterns composed of three composition operators-sequential, alternative, and parallel and embedded in time wrapper that specifies clock driven activation conditions. Model templates in conjunction with formal model of technical process offer an easier way to verify the response time. The investigation demonstrates the proposed verification method using an industrial steam boiler with typical NAS components in plant floor.
机译：网络自动化系统（NAS）在操作过程中必须满足严格的响应时间。在部署之前的设计阶段，验证自动化的响应时间是重要的一步。 NAS的硬件，软件和通信组件引起的时序差异会影响响应时间。此调查使用模型模板来验证NAS中的响应时间。首先，抖动边界模拟了NAS组件的时序波动。这些抖动界限是模型模板的输入，模型模板是时序波动的正式模型。模型模板是原子动作模式，由三个组成运算符组成（顺序运算符，替代运算符和并行运算符），并嵌入到时间包装器中，以指定时钟驱动的激活条件。模型模板与技术流程的正式模型相结合，提供了一种更简便的方法来验证响应时间。调查表明，所建议的验证方法是使用具有典型NAS组件且在工厂车间中使用的工业蒸汽锅炉。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号