Партнеры

Спонсоры

ФАНИ ИСП РАН LF

Центр верификации ОС 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 и развивает соответствующие инструменты.

Google

Nokia

ОАО НПО РусБИТех

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

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

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

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

Центр сотрудничает с лабораторией Software Systems Университета города Пассау (Германия) относительно развития передовых подходов к статическому анализа программ. Исследования включают в себя развитие инструментов статического анализа BLAST и 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.

osadl

sosy-lab