2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005

Конкурсные доклады

Статическая верификация модулей ядра Linux: текущие достижения и перспективы



Скачать презентацию

Для обеспечения качества модулей ядра Linux используются различные подходы. Однако по тем или иным причинам они не позволяют выявить все ошибки. В докладе будет представлен метод статической верификации модулей ядра Linux, который нацелен на выявление всех возможных нарушений проверяемых правил. Также будет рассмотрен инструментарий, который реализует данный метод, представлены результаты его практического применения и продемонстрированы возможности его использования.

Евгений Новиков

Evgeny Novikov|Евгений Новиков

Младший научный сотрудник, Институт системного программирования РАН

2010 – окончил факультет управления и прикладной математики (Московский физико-технический Институт, Москва, Россия).
2013 – кандидат физико-математических наук “Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux” (Институт системного программирования РАН, Москва, Россия).
С 2009 – старший лаборант/стажер-исследователь/младший научный сотрудник (Институт системного программирования РАН, Москва, Россия).

Евгений участвовал в совместном проекте Института системного программирования РАН и Linux Foundation по развитию инфраструктуры стандарта LSB в течении 2-х лет. Затем он стал одним из основных разработчиков в проекте по верификации драйверов Linux.

Comment

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

Gold спонсоры

Дойче БанкIntelJetBrainsSAPСбербанк-Технологии

Silver спонсоры

First Line SoftwareEMCQt by Digia

Спонсор хакатона

Digital Design

Спонсоры

GenesysLuxoftOracleJelasticMediapark

Инновационный спонсор

IBM

Генеральные партнёры

РУССОФТАП КИТ

При содействии

ACMACM Special Interest Group on Software Engineering

Партнёры хакатона

API MoscowЦентр Инновационного Развития МосквыGitHub

Партнёры

ParallelsМосковское отделение PMIПрограммная инженерияLuxoft Training

Технические партнёры

Хостинг ЦентрРайзебюро ВЕЛЬТDigital October

Мобильный партнёр

Eventicious

При поддержке

РАЭКРОСА

Образовательный партнер

IT Mine

Организаторы

Software Russiai-Help
Мобильное приложение CEE-SECR 2014

Конференция закончилась

Всем спасибо!

Есть отзыв, фотографии, идеи?
Присылайте