Партнеры

user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 7 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.

Спонсоры

ФАНИ ИСП РАН 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