О центре

ФАНИ ИСП РАН LF

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

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

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

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

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

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

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