О центре

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 = 275 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.

ФАНИ ИСП РАН LF

Статус Центра

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

Центр действует на базе Института системного программирования Российской Академии Наук (ИСП РАН), который, в свою очередь, входит в Отделение математических наук Российской Академии Наук и является научной организацией, подведомственной ФАНО России.

Экспертиза Центра

В деятельности Центра участвуют как профессиональные эксперты с многолетним опытом в сфере разработки и контроля качества программного обеспечения, так и молодые специалисты-выпускники ведущих ВУЗов (МГУ, МФТИ и МГТУ им. Баумана).

Эксперты Центра с 1994 года участвовали в совместных проектах по автоматизированному тестированию сложного промышленного программного обеспечения в рамках сотрудничества ИСП РАН с такими компаниями как Nortel Networks (тестирование ядра операционной системы), Microsoft (тестирование реализации протокола IPv6), Intel (тестирование оптимизирующих блоков компиляторов).

На основе опыта этих проектов в ИСП РАН была создана технология автоматизации тестирования UniTESK, которая была использована в первом производственном проекте Центра верификации ОС Linux (OLVER). Помимо перечисленных проектов данная технология использовалась для тестирования операционных систем реального времени на соответствие стандарту ARINC-653, для формализации и уточнения стандарта протокола IPMP, для тестирования промышленного ПО в совместных проектах с компаниями Luxoft и Вымпелком.