Виталий Чепцов, архитектор операционных систем в ИСП РАН. Занимается встраиваемыми системами с жёстким реальным временем для бортовой аппаратуры и исследованиями безопасности ОС общего назначения на базе Unix. С 2016 года ведёт исследования в области прошивок UEFI и загрузчиков ОС для x86. Является автором проекта OpenCore и регулярным контрибьютером в Tianocore EDK II и UEFITool.
Стандарт ARINC 653 является общепринятым способом реализации бортового ПО в гражданской авиации. ОСРВ с жёстким реальным временем, построенные на его основе, предоставляют функциональному ПО пространственную и временную изоляцию, унифицированные механизмы взаимодействия с другим функциональным ПО, статическое декларативное описание конфигурации, управление расписанием и иные механизмы, лежащие в основе интегрированной модульной авионики (ИМА). Построение борта на архитектуре ИМА и по стандарту ARINC 653 позволяет различным производителям единообразно проектировать и размещать отдельные функциональные узлы в рамках одного вычислителя тем самым снижая общую сложность конструкции. Близость аэрокосмической инудистрии к гражданской авиации привела к появлению множества попыток адаптации стандарта ARINC 653 для космического применения. Тем не менее, все из них тем или иным образом модифицировали стандарт для адаптации к специфике построения космического аппарата. В докладе предлагается рассмотреть данные особенности и продемонстрировать способы их решения.
Анна Новомлинская, исполнительный директор консорциума OS DAY, an@ispras.ru
Адрес: Москва, ул. Губкина, д. 8, этаж 9, конференц-зал.
Уважаемые коллеги! Для прохода в здание МИАН РАН просим принести документ, удостоверяющий личность.