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

Дискуссии

 
Alexander Petrenko

Александр Петренко

10 лет Центра верификации ОС Linux. Верификация реального ПО – мечта или реальность?

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

В сентябре 2005 года в рамках государственного контракта с Минобрнауки РФ в Институте системного программирования РАН был создан Центр верификации ОС Linux , который был впоследствии поддержан международным консорциумом Linux Foundation и рядом индустриальных партнеров. Центр продолжает активно работать уже десять лет.

Строгий подход к верификации, развиваемый Центром, базируется на использовании формальных спецификаций требований и формальных методов анализа программ. Центр разрабатывает собственные и развивает open source инструменты верификации с использованием современных методов тестирования на основе формальных моделей, верификации моделей, дедуктивной верификации кода, современных средств доказательства теорем и решателей логических уравнений.

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

Каковы причины такого положения дел? Что мешает применению новых технологий? Если нет универсальных технологий верификации, то как выбирать эффективный набор технологий в контексте конкретной практической задачи? – Эти вопросы будут обсуждаться в дискуссии, в которой примут участие представители академического сообщества и промышленности.

 
Nikolai Puntikov

Николай Пунтиков

 

Gold спонсоры

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

Silver спонсоры

First Line SoftwareEMCЛаборатория КасперскогоQlik

Спонсоры

LuxoftСиПроВерDigital DesignOracle

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

IBM

Embedded спонсор

Аурига

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

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

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

ACMACM Special Interest Group on Software Engineering

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

Хостинг ЦентрРайзебюро ВЕЛЬТПрограммная инженерияOdin

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

Eventicious

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

РАЭК

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

Software Russiai-Help
Поделиться:

Конференция окончена

Ждем вас на SECR 2016

Tweets about "#secr2014 OR from:cee_secr OR #cee-secr2014 OR #secr14"
  • Что больше всего поразило меня на конференции, это превосходное качество некоторых докладов. Это были не простые демонстрации технических возможностей, техник или продуктов — которые, безусловно, полезны — но вдохновляющие доклады и достоверные отчёты прямо с передовых рубежей каждодневной работы. В наши дни очень просто найти тонны постов, инструкций и статей, объясняющих как что-либо сделать, но гораздо сложнее воодушевиться сделать это самое что-либо. И это — главная задача конференции о разработке ПО.

    Дино Эспозито
    Технический евангелист
    JetBrains

  • Спасибо за возможность принять участие в таком масштабном событии. Мне понравились все доклады, на которых я присутствовал. Отличные спикеры и широкое разнообразие тем позволили мне узнать так много за такое небольшое время.

    Камил Грабовский
    Разработчик ПО
    Menlo Innovations

  • Конференция SECR отличается от других: публикой — успешные улыбчивые доброжелательные люди создают впечатление, что я оказался на другой планете; хорошей организацией: удобна для участников, есть комната докладчиков, WiFi, места для общения участников, оборудованные доской и экраном. Для меня приятным оказался факт, что в последний момент, когда я собирался уходить на самолет, подошел один из участников и сказал, что ехал на SECR ради двух докладов, один из которых мой.

    Борис Штейнберг
    Профессор
    Южный федеральный университет (РФ)

  • Мне как докладчику очень понравилась организация конференции — все быстро, четко и ровно так, как и договаривались. В качестве слушателя мне очень понравилась программа. Иногда из-за двух, а то и трех интересных докладов, идущих в параллель, хотелось разорваться между залами, но для конференции я считаю это скорее плюсом.

    Максим Дорофеев
    Managing partner
    Multiskill.ru

  • Было здорово снова побывать в Москве и на CEE-SECR. Это отлично организованная конференция, по охвату тем выгодно отличающаяся от обычных «западных» конференций, на которых я бываю. Здесь больше практических докладов, но тем не менее сохранена связь с научным сообществом. И еще у конференции очень увлеченная и растущая аудитория. А это значит, что вы на правильном пути.

    Ларс Бендикс
    Associate professor
    Lund University, Sweden

  • SECR — впечатляющая конференция: она охватывает широкий спектр тем компьютерной науки, собирает и вдохновляет докладчиков и участников; хорошо организована, и вообще, участвовать в ней очень весело. Это отличное место, чтобы узнать о новых темах и встретиться с экспертами в данной сфере.

    Крис Латтнер
    Основатель и главный архитектор
    LLVM