Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошило…
Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015)
* Алексей Хорошилов
-------------
ARINC-653 является стандартом на операционные системы реального времени (ОСРВ), применяемые в авионике и других
ответственных областях.
Стандарт определяет базовые принципы работы ОСРВ, а также регламентирует прикладной программный
интерфейс, предоставляемый пользовательским приложениям.
Основными особенностями ARINC-653 являются статическое
распределение времени и памяти между пользовательскими разделами (аналог POSIX процессов), выделение всех ресурсов на
этапе инициализации системы/раздела, запрет на использование разделяемой памяти с ARINC-каналами как единственным
механизмом межпроцессного взаимодействия и специфический механизм обработки ошибок (Health Monitoring).
При наличии большого количества свободных реализаций ОСРВ только одна из них←ref→Julien Delange, Laurent Lec «POK, an ARINC653-compliant runtime released under the BSD licence», Proceedings of 13\textsuperscript{th} Real-Time Linux Workshop, 20-22 October, 2011.←/ref→ декларирует поддержку ARINC-653.
Более того, известно, что было сделано несколько попыток реализовать ARINC-653 поверх популярных свободных ОСРВ, но об
успехом эти попытки не увенчались.
Единственная свободная реализация ARINC-653 (лицензия BSD) была разработана во французском университете Telecom ParisTech в рамках диссертации Джульена Деланжа и вскоре после его защиты практически перестала развиваться.
В ИСП РАН в рамках работ по верификации коммерческих ARINC-653-совместимых ОСРВ был разработан тестовый набор,
предназначенный для тестирования ОСРВ на соответствие стандарту ARINC-653 часть 1 и часть 2.
В результате применения этого набора к свободной реализации POK было выявлено, что POK не соответствует многим требованиям стандарта,
хотя в целом система спроектирована достаточно аккуратно.
В ходе инициативного проекта ИСП РАН эта ОСРВ была доработана до полного соответствия требованиям с
1 view
0
0
4 months ago 00:47:40 1
Разоблачение РОСРЕЕСТРА! Как бумажные записи хотели украсть нашу землю!
4 months ago 00:24:53 1
Граждан РФ НЕТ, есть больные ШИЗОФРЕНИЕЙ это признание ООН!
4 months ago 00:15:08 1
ШОК эти факты от нас тщательно скрывают! Шизофрения населения!
4 months ago 00:25:21 1
Обращение к Полицейским и собственникам авто!
4 months ago 00:28:02 1
ПОЛИЦИЯ, ФССП, СУДы в РФ НЕЛЕГАЛЬНЫ но ваше присутствие их делает ЛЕГИТИМНЫМИ!
4 months ago 00:34:22 1
Коллаборационисты в чёрных мантиях Служители фальшивого правосудия или марионетки преступной системы