• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software, IET >Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties
【24h】

Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties

机译：使用ISO 26262功能安全标准作为汽车嵌入式系统的运行时验证监视，以定义受监视属性

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

摘要

The ISO 26262 Road vehicles Functional Safety Standard is intended to guide the derivation of appropriate requirements and processes for avoiding systematic and/or random failures in automotive electrical/electronic equipment. Functional safety statements can be captured in the requirements specifications for automotive embedded control units and systems. However, the process of verifying the behaviour of resulting products continues to be incomplete; because embedded programme verification is unsolvable in general. This study shows that it is possible to monitor some proof obligations in the testing phase, or even in the actual operating phase of a system by the use of an on-chip, real-time runtime verification monitor. In this work, the ISO 26262 standard for functional safety is used to guide the definition of the functional safety requirements for a product, and the specific requirements are mapped to logic formulae, such that the actual runtime behaviour of the system for selected properties can be formally verified throughout the lifetime of a product. A case study example for an automotive gearbox control system is presented to demonstrate the feasibility of the scheme. The monitor is constructed as a permanent feature within an integrated circuit that can continuously observe the system's runtime behaviour.
机译：ISO 26262道路车辆功能安全标准旨在指导适当要求和过程的推导，以避免汽车电气/电子设备中的系统性和/或随机性故障。可以在汽车嵌入式控制单元和系统的要求规格中获取功能安全声明。但是，验证所得产品行为的过程仍然不完整。因为嵌入式程序验证通常无法解决。这项研究表明，可以通过使用片上实时运行时验证监视器来监视测试阶段甚至系统的实际操作阶段的某些证明义务。在这项工作中，使用功能安全性的ISO 26262标准来指导产品的功能性安全性要求的定义，并且将特定要求映射到逻辑公式，以便可以针对所选属性来了解系统的实际运行时行为。在产品的整个生命周期内均经过正式验证。以汽车变速箱控制系统为例，说明了该方案的可行性。该监视器构造为集成电路中的永久性功能，可以连续观察系统的运行时行为。

著录项

  • 来源
    《Software, IET》 |2014年第5期|193-203|共11页
  • 作者

    Heffernan D.; MacNamee C.; Fogarty P.;

  • 作者单位

    Department of Electronic and Computer Engineering, University of Limerick, Ireland;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号