...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Microprocessors and microsystems >Formal approach for the safety assessment of embedded controller based on programmable electronic hardware
【24h】

Formal approach for the safety assessment of embedded controller based on programmable electronic hardware

机译：基于可编程电子硬件的嵌入式控制器安全性评估的形式化方法

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

摘要

The issue of providing assurance for programmable electronic hardware (PEH) that have either been previously developed or composed of Commercial-Of-The-Shelf (COTS) and used in embedded control systems is examined. Specifically, these type of PEH are difficult to assure because no evidence may be available on their development and limited functional descriptions may exist to perform a safety assessment. This problem is addressed by presenting a formal approach that allows a safety assessment on a PEH to be performed. This approach uses a system's architecture and mechanisms such as safety nets to deduce the behaviour of the PEH, which is then translated into the formalism of Petri nets. Since this formalism can be used to model both faulty and non-faulty behaviour, it allows a safety assessment to be performed. Application of this approach is shown via a case study in which a safety assessment is performed for a PEH based embedded controller for an engine control application. (C) 2015 Elsevier B.V. All rights reserved.
机译：研究了为可编程电子硬件（PEH）提供保证的问题，该可编程电子硬件以前已经开发过，或者由商用（COTS）组成并用于嵌入式控制系统。特别是，由于没有证据表明它们的开发，并且可能存在有限的功能描述以进行安全性评估，因此难以确保这些类型的PEH。通过提出一种允许对PEH进行安全评估的正式方法来解决此问题。这种方法使用系统的体系结构和机制（例如安全网）来推断PEH的行为，然后将其转换为Petri网的形式化。由于这种形式主义可用于对错误和非错误行为进行建模，因此可以进行安全评估。通过案例研究显示了该方法的应用，其中对发动机控制应用中基于PEH的嵌入式控制器进行了安全评估。 （C）2015 Elsevier B.V.保留所有权利。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号