Свободная реализация 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
1 month ago 00:53:08 1
Это видео ваша личная ЗАЩИТА от ГИБДД РФ не имеет право останавливать авто СССР!
2 months ago 00:02:14 1
У бегемота нету талии – Дилижанс [Федор Столяров]
2 months ago 01:05:12 1
В БУДУЩЕЕ БЕЗ ИЛЛЮЗИЙ - Жак Фреско
2 months ago 01:13:14 1
Бомба! С ГИБДД сняты НАДЗОРНЫЕ функции! ПОЛИЦИЯ частный ЧОП, не гос организация!
2 months ago 00:03:18 1
РАНО ИЛИ ПОЗДНО. Стихи, видеоряд Галина Кучер. Музыка, исполнение Сергей Журавлёв
2 months ago 00:45:26 3
Теоретическое занятие на тему:Групповые взаимодействия “Быстрая атака“ №2
2 months ago 00:00:40 13
Ах, ты степь широкая в исполнении MIRAVI @vladamiravi
2 months ago 00:26:47 1
Налоги отменены ст 12 п 5. Как больше не платить НАЛОГИ!
2 months ago 00:16:45 1
Откуда БРАТЬ ЭНЕРГИЮ для творчества?
2 months ago 00:15:29 1
Фальшивые квитанции ЖКХ — как их распознать! Отключение от ресурсов - это преступление!
2 months ago 00:07:49 1
С документом можно оплачивать в КОПЕЙКАХ по 643 коду!
2 months ago 00:22:10 1
Постановление Правительства №1710 Оплата ЖКХ
2 months ago 00:15:29 1
Фальшивые квитанции ЖКХ - как их распознать! Отключение от ресурсов - это преступление!
2 months ago 00:15:01 1
Жена - налево, а муж в тюрьму?
2 months ago 01:20:24 4
Интервью c Мастерoм Пранава - Так Происходит ОСВОБОЖДЕНИЕ от СТРАДАНИЙ - ЛЮБОВЬ, СВЕТ, ИСЦЕЛЕНИЯ ☀️
2 months ago 00:06:11 1
Как убрать легко любую зависимость
2 months ago 00:34:41 1
Россия является колонией. Иностранные агенты пишут решения за российских чиновников!
2 months ago 00:27:21 1
Вы финансируете оккупантов! Вся правда об оплате за свет! Разоблачение скрытых бенефициаров!
2 months ago 00:04:39 1
Авто без регистрации - это ваша личная собственность!
2 months ago 00:45:54 1
Всё про авто правовые знания 1 часть. Знание Великая сила!
2 months ago 00:05:43 1
Штрафы с камер НЕзаКОНны Они идут в карманы частных контор Прокуров Краснов И В
2 months ago 00:51:10 1
Регистрация авто мошенничество! Автомобиль не твой! Разоблачение!
2 months ago 00:55:19 1
Освобождение от ШТРАФОВ ГИБДД на всегда! Все их ШТРАФЫ НЕ законны!
2 months ago 00:27:20 1
Вся правда об оплате за свет: Разоблачение скрытых бенефициаров! Вы финансируете оккупантов!