Статус Центра верификации ОС Linux

ФАНИИСП РАНLF

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

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

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

Партнерские связи Центра

Членство ИСП РАН в федерации Gelato и ассоциации ForTIA, действующий в Институте Московский центр компьютерных наук IEEE и множество научных и производственных контактов Института помогают поддерживать тесное взаимодействие Центра верификации ОС Linux с российским и мировым Linux сообществом.

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

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

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

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

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