Партнеры

Спонсоры

Центр верификации ОС Linux создан при поддержке Федерального агентства по науке и инновациям (Роснаука) и активно поддерживается международным консорциумом The Linux Foundation.

В дополнение к этому в 2011 году Центр получил поддержку компании Nokia на развитие инструмента ABI Compliance Checker и грант Google Research Award "Instrumentation and Data Collection Framework for Dynamic Data Race Detection in Linux Kernel Modules" на развитие инструмента KEDR. С 2013 года Центр при софинансировании ОАО НПО РусБИТех применяет методы дедуктивной верификации к компонентам ядра ОС Linux и развивает соответствующие инструменты.

Комитеты по стандартизации

Центр верификации ОС Linux находится в тесном сотрудничестве c Linux Foundation и Austin Common Standards Revision Group, контролирующими разработку и развитие стандартов LSB и POSIX. Сотрудники Центра активно участвуют в деятельности соответствующих рабочих групп этих организаций.

ИСП РАН является базовой организацией для двух подкомитетов технического комитета ТК-МТК-22 «Информационные технологии»:

• ПК22 "Языки программирования, их окружение и системные программные интерфейсы"
• ПК138 "Платформы и сервисы для распределенных приложений"

Академические партнеры

Центр сотрудничает с лабораторией Software Systems Мюнхенского университета имени Людвига и Максимилиана (Германия) относительно развития передовых подходов к статическому анализа программ. Исследования включают в себя развитие инструмента статической верификации CPAchecker, а также его применение в проекте Linux Driver Verification.

С 2011 года Центр является академическим партнером Open Source Automation Development Lab, с которым ведётся сотрудничество по верификации Real-Time Linux и вопросам использования Linux в составе ответственных систем, подлежащих сертификации по стандартам DO-178B, BS EN 50128, IEC 60880, IEC 61508, IEC 62304.