Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015) — различия между версиями

Материал из 0x1.tv

== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->

{{fblink|16623903140139831661882494064765}}                                          
{{vklink|75}}                                          
<references/>

[[Category:OSSDEVCONF-2015]]
[[Category:Open-source projects]]

<!-- topub -->
{{stats|disqus_comments=0|refresh_time=2018-05-15T14:11:05.903878|vimeo_comments=0|vimeo_plays=73|youtube_plays=0}}

Версия 13:48, 1 июля 2018

Аннотация

Докладчик
Алексей Хорошилов.jpg
Алексей Хорошилов

ARINC-653 является стандартом на операционные системы реального времени (ОСРВ), применяемые в авионике и других ответственных областях.

Стандарт определяет базовые принципы работы ОСРВ, а также регламентирует прикладной программный интерфейс, предоставляемый пользовательским приложениям.

Основными особенностями ARINC-653 являются статическое распределение времени и памяти между пользовательскими разделами (аналог POSIX процессов), выделение всех ресурсов на этапе инициализации системы/раздела, запрет на использование разделяемой памяти с ARINC-каналами как единственным механизмом межпроцессного взаимодействия и специфический механизм обработки ошибок (Health Monitoring).

При наличии большого количества свободных реализаций ОСРВ только одна из них[1] декларирует поддержку ARINC-653.

Более того, известно, что было сделано несколько попыток реализовать ARINC-653 поверх популярных свободных ОСРВ, но об успехом эти попытки не увенчались.

Единственная свободная реализация ARINC-653 (лицензия BSD) была разработана во французском университете Telecom ParisTech в рамках диссертации Джульена Деланжа и вскоре после его защиты практически перестала развиваться.

В ИСП РАН в рамках работ по верификации коммерческих ARINC-653-совместимых ОСРВ был разработан тестовый набор, предназначенный для тестирования ОСРВ на соответствие стандарту ARINC-653 часть 1 и часть 2.

В результате применения этого набора к свободной реализации POK было выявлено, что POK не соответствует многим требованиям стандарта, хотя в целом система спроектирована достаточно аккуратно.

В ходе инициативного проекта ИСП РАН эта ОСРВ была доработана до полного соответствия требованиям стандарта ARINC-653 часть 1 при работе на платформе x86 и PowerPC в эмуляторе Qemu. Это позволило применять ОСРВ для предварительной отладки ARINC-653-совместимого бортового программного обеспечения.

Все доработки ИСП РАН были опубликованы под лицензией GPLv3.

Также в ИСП РАН была выполнена интеграция POK с системой автоматизации проектирования интегрированной модульной авионики MASIW[2], в рамках которой связка Qemu+ОСРВ применялась в качестве основы для виртуальной интеграции комплекса бортового оборудования.

В настоящее время ведётся портирование ОСРВ на аппаратный модуль с процессором PowerPC QorIQ P3041 с поддержкой сетевого интерфейса, а также разработка библиотеки POSIX интерфейсов.

Видео

Слайды

Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015).pdf

Расширенные тезисы

Примечания и отзывы

  1. 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.
  2. Julien Delange, Laurent Lec, «POK, an ARINC653-compliant runtime released under the BSD licence», Proceedings of 13th Real-Time Linux Workshop, 20-22 October, 2011.

Plays:73   Comments:0