Алексей Хорошилов

Алексей Хорошилов, ведущий научный сотрудник ИСП РАН.
Кандидат физико-математических наук (2006 г.), тема диссертации − «Спецификация и тестирование компонентов с асинхронным интерфейсом», руководитель А. К. Петренко. С 1999 г. работает в Институте системного программирования РАН, с 2009 г. − на кафедре системного программирования ВМК МГУ. Основные научные достижения: участие в создании технологии разработки тестов на основе формальных моделей UniTESK и поддерживающих ее инструментов, разработка унифицированной архитектуры тестового набора и правил построения расширений языков программирования для разработки тестов на основе контрактных спецификаций, разработка методов построения тестов для математических библиотек и разработка специализированной технологии быстрого создания тестов работоспособности.

Проектирование бортовой ОСРВ с жёстким реальным временем для космического применения

Стандарт ARINC 653 является общепринятым способом реализации бортового ПО в гражданской авиации. ОСРВ с жёстким реальным временем, построенные на его основе, предоставляют функциональному ПО пространственную и временную изоляцию, унифицированные механизмы взаимодействия с другим функциональным ПО, статическое декларативное описание конфигурации, управление расписанием и иные механизмы, лежащие в основе интегрированной модульной авионики (ИМА). Построение борта на архитектуре ИМА и по стандарту ARINC 653 позволяет различным производителям единообразно проектировать и размещать отдельные функциональные узлы в рамках одного вычислителя тем самым снижая общую сложность конструкции. Близость аэрокосмической инудистрии к гражданской авиации привела к появлению множества попыток адаптации стандарта ARINC 653 для космического применения. Тем не менее, все из них тем или иным образом модифицировали стандарт для адаптации к специфике построения космического аппарата. В докладе предлагается рассмотреть данные особенности и продемонстрировать способы их решения.

• Скачать презентацию