Concurrent error detection for distributed systems: a case study
| Autor: | Rashidov, A., Morozov, A., Janschek, K., Yusupova, N. |
|---|---|
| Jazyk: | ruština |
| Rok vydání: | 2014 |
| Předmět: | |
| Zdroj: | Вестник Уфимского государственного авиационного технического университета. |
| ISSN: | 2225-2789 1992-6502 |
| Popis: | Сопутствующее обнаружение ошибок в распределённых системах: практическое исследование. Обнаружение ошибок определено как наблюдение за работой системы, чтобы удостовериться в соответствии её функционирования с ожидаемым поведением. Согласно стандартам IEEE, обнаружение ошибок — одно из средств достижения отказоустойчивости. Следовательно, обнаружение ошибок — необходимая часть процесса разработки чувствительных к отказам систем. Сопутствующее обнаружение ошибок в распределённых системах — одна из проблем, исследуемых в рамках совместного проекта S3ARV (Small Safe Space Autonomous Robotic Vehicles) IfA, TU Dresden и iFR, Uni Stuttgart. В представленной статье авторы вводят новый фреймворк обеспечения безопасности, основанный на сопутствующем обнаружении ошибок. Наш подход направлен на наблюдение за распределённым управляющим программным обеспечением реального времени. Прототип фреймворка применён на летательном аппарате (октокоптере). Error detection is defined as observation of system operation in order to ensure its consistency with expected system behavior. According to IEEE stadards, error detection is one of the means to achieve fault tolerance. Hence, error detection is a necessary part of safety-critical systems design. Concurrent error detection for distributed systems is one of the problems researched in a scope of a joint project S3ARV (Small Safe Space Autonomous Robotic Vehicles) of IfA, TU Dresden and iFR, Uni Stuttgart. In the presented article, we introduce a new safety monitoring framework, based on concurrent error detection. Our approach is focused on monitoring of distributed real-time control software. A prototype of the framework is applied on a real flight vehicle (an Octocopter). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|