Speaker
Description
Современные операционные системы, используемые в аэрокосмической отрасли, должны обеспечивать высокую надежность и разрабатываются в соответствии со специальными стандартами. Одним из стандартов на программное обеспечение, используемое в бортовом оборудовании, является ARINC 653. Этот стандарт не определяет, как именно система должна отслеживать и реагировать на зависания, некорректную работу оборудования (например, единичные сбои, вызванные атмосферной радиацией) и другие проблемы, приводящие к нарушениям работы ОСРВ. Поэтому вопрос об эффективной обработке системой таких ситуаций остаётся открытым. В этом исследовании мы изучаем применимость сторожевых таймеров как части встроенной системы самопроверок (BITE) для решения этого вопроса и предлагаем конкретный метод обеспечения устойчивости для ОС, реализующих ARINC 653, основанный на использовании сторожевых таймеров для защиты системного таймера и системных разделов.
