Свободная реализация 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
2 weeks ago 00:27:21 1
Вы финансируете оккупантов! Вся правда об оплате за свет! Разоблачение скрытых бенефициаров!
2 weeks ago 00:27:20 1
Вся правда об оплате за свет: Разоблачение скрытых бенефициаров! Вы финансируете оккупантов!
2 weeks ago 01:12:37 1
Как нас обманывают с ОДИ и выбором управляющей компании! За ЖКХ оплачивают из Бюджета!
2 weeks ago 00:24:28 1
Разоблачение ФНС налогового рабства и требование отчёта перед Народом!
2 weeks ago 01:27:28 1
Семейное образование – философия счастливой семейной жизни. Часть 1
2 weeks ago 00:38:48 1
ППС Кушта : “У МЕНЯ КАША в ГОЛОВЕ“ //УМВД России по Пензенской обл.
2 weeks ago 00:20:45 1
Налоги отменены навсегда по ст 12 п 5. Налоги платят только РАБы!
2 weeks ago 01:16:38 1
ЧИНОВНИК КУРДЮКОВ обвинил таксиста в ХУЛИГАНСТВЕ -2часть //Пензенский областной суд
2 weeks ago 00:22:10 1
Постановление Правительства №1710 Оплата ЖКХ
2 weeks ago 00:24:28 1
Разоблачение ФНС налогового рабства и требования отчёта перед Народом!
2 weeks ago 01:13:00 1
УК Нас всех считают за идиотов с ОДИ, разоблачаем манипуляции!
2 weeks ago 00:06:23 1
ДНК и РНК • нуклеиновые кислоты • строение и функции
2 weeks ago 01:01:47 1
Не платите налоги Вот почему вы не обязаны
2 weeks ago 00:18:15 1
Женщины доказали мэру Сыктывкара, что ЖКХ оплачено из бюджета Мэр признался!
2 weeks ago 00:20:51 1
Просветленный мальчик Жора. Интервью с Цезарем Теруэлем #5 | ЯСНОЛОГИЯ
2 weeks ago 00:10:35 1
Просветленный мальчик Жора. Интервью с Цезарем Теруэлем #1 | ЯСНОЛОГИЯ
2 weeks ago 00:26:47 1
Налоги отменены ст 12 п 5 Как больше не платить НАЛОГИ!
2 weeks ago 00:19:22 1
«Да, я легко притягиваю желаемого мне человека, научить?..»|| Мощный саблиминал || phonk version
2 weeks ago 04:55:59 1
БУХГАЛТЕРСКИЕ ПРОВОДКИ с нуля: ПОЛНЫЙ КУРС за 5 часов [ТЕОРИЯ 📚 + ПРАКТИКА 💻]
2 weeks ago 00:10:45 2
Юрист с тонировкой, часть 1
2 weeks ago 00:34:01 1
ФНС как инструмент РАБовладения! Манипуляции, запугивание и грабёж под видом закона!
2 weeks ago 01:13:24 1
КРУГ ЕДИНСТВА МАСТЕРОВ СВЕТА. 🔴 5D ИСЦЕЛЕНИЕ И ТРАНСФОРМАЦИЯ🔥
2 weeks ago 00:04:46 1
Александр Иванов и группа «Рондо» — «Там» (ПРЕМЬЕРА ПЕСНИ, 2020)
2 weeks ago 00:51:10 1
Регистрация авто мошенничество! Автомобиль не твой! Разоблачение!