...
首页> 外文期刊>Pomiary Automatyka Kontrola >Fault injection approach towards dependability analysis in real time operating systems
【24h】

Fault injection approach towards dependability analysis in real time operating systems

机译:故障注入方法,用于实时操作系统中的可靠性分析

获取原文
获取原文并翻译 | 示例
           

摘要

The paper presents the fault injection approach applicable for dependability evaluation of real-time systems. The developed fault injection environment, called InBochs, is based on modified system emulator Bochs. It is highly flexible in terms of fault specification and results observability reflecting in rich feedback information for a target system developer. The low overhead of the InBochs fulfills tight requirements for RT-system evaluation testbeds. The paper describes the methodology of dependability evaluation basing on an exemplary process control task.%Wszechobecność systemów wbudowanych i czasu rzeczywistego niesie za sobą potrzebę analizy ich wiarygodności. Dotyczy to nie tylko systemów w zastosowaniach krytycznych (jak aeronautyka, czy sterowanie procesów przemysłowych), gdzie głównym aspektem jest bezpieczeństwo, ale także popularnych urządzeń życia codziennego, od których użytkownicy również oczekują określonego poziomu niezawodności i dostępności. Niezbędna jest więc analiza odporności systemów na różnego rodzaju zakłócenia, m.in. na rosnące niebezpieczeństwo zakłóceń przemijających w systemie cyfrowym, w szczególności tzw. SEU (ang. Single Event Upsets [1], efektem których mogą być przekłamania wartości logicznych w elementach pamięci). Omówiono szereg aspektów analizy eksperymentalnej przy wykorzystaniu techniki programowej symulacji błędów w kontekście badań systemów czasu rzeczywistego oraz przedstawiono system InBochs, który może być zastosowany m.in. do eksperymentalnej analizy wiarygodności systemów wbudowanych oraz czasu rzeczywistego. Bazuje on na programowym emulatorze systemu komputerowego Bochs [5]. Spośród innych rozwiązań ([2] i referencje) InBochs umożliwia m.in. abstrakcję czasu ukrywającą narzuty symulatora oraz język skryptowy symulacji błędów. Jego praktyczna użyteczność została potwierdzona eksperymentami dla dwóch różnych systemów czasu rzeczywistego (RTAI [7, 9] oraz Phoenix [8]) realizujących zadanie sterownika GPC w wersji analitycznej dla procesu reaktora chemicznego (opis w [6] i referencje).
机译:本文提出了适用于实时系统可靠性评估的故障注入方法。已开发的称为InBochs的故障注入环境基于改进的系统仿真器Bochs。它在故障规范和结果可观察性方面具有很高的灵活性,可反映给目标系统开发人员丰富的反馈信息。 InBochs的低开销满足了RT系统评估测试平台的严格要求。本文基于一个示例性的过程控制任务描述了可靠性评估的方法。%嵌入式和实时系统的普遍性要求分析其可靠性。这不仅适用于安全性是主要方面的关键应用(例如航空或工业过程控制)中的系统,而且还适用于用户也期望其具有一定水平的可靠性和可用性的流行日常设备。因此,有必要分析系统对各种类型干扰的抵抗力,包括数字系统中瞬态干扰的危险越来越大,特别是所谓的SEU(单事件翻转[1],可能会导致存储元素中的逻辑值失真)。在实时系统研究的背景下,讨论了使用程序错误模拟技术进行实验分析的许多方面,并提出了InBochs系统,该系统可用于其他方面用于嵌入式系统可靠性和实时性的实验分析。它基于Bochs计算机系统仿真器[5]。在其他解决方案([2]和参考文献)中,InBochs支持时间抽象隐藏了模拟器的开销和错误模拟脚本语言。通过两个不同的实时系统(RTAI [7,9]和Phoenix [8])的实验证实了其实用性。该系统在化学反应器过程的分析版本中执行GPC控制器的任务(在[6]和参考文献中进行了描述)。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号