Панельная секция 10 лет Центра верификации ОС Linux. Верификация реального ПО – мечта или реальность? (SECR-2015) — различия между версиями

Материал из 0x1.tv

== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->

* [http://2015.secr.ru/lang/ru/program/discussions/isp-ras-linux-verification-center Страница доклада на сайте конференции]

{{fblink|1663185663934448}}                                          
{{vklink|94}}                                          
<references/>

[[Category:SECR-2015]] <!-- -->
[[Category <!-- -->

{{stats|disqus_comments=0|refresh_time=2020-01-22T17:49:48.479031|vimeo_comments=0|vimeo_plays=8|youtube_comments=0|youtube_plays=9}}

[[Категория:SECR-2015]]
[[Категория:Дискуссии]]
[[Категория:Верификация]]

Версия 15:36, 23 января 2020

Аннотация

Модератор
Докладчики

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

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

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

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

Видео

on youtube

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Слайды

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

Примечания и отзывы


Plays:17   Comments:0