Конференция «Иванниковские чтения»

Posted by: Alexander Kamkin 1 month ago

Результаты проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» были представлены на Международной конференции «Иванниковские чтения», прошедшей 25-26 сентября 2020 года в Орле.

Иванниковские чтения – это ежегодная научная сессия по вопросам системного программирования и другим актуальным вопросам современных компьютерных наук и технологий разработки программного обеспечения. Организатором Чтений является Институт системного программирования имени В.П. Иванникова РАН, однако программа чтений составляется международным программным комитетом.

Участник проекта И.В. Щепетков представил доклад группы авторов (В.В. Кулямин, А.К. Петренко, А.В. Хорошилов, И.В. Щепетков) на тему «A State-based Refinement Technique for Event-B».

В докладе рассматриваются задачи разработки и верификации многоуровневых формальных моделей, которые приходится разрабатывать, при тщательном анализе отдельных характеристик крупных программных систем. Частным, но важным случаем использования таких моделей служит задача спецификации моделей политик безопасности (моделей управления доступом к информации) для операционных систем, систем управления базами данных и других хранилищ информации.

Currently unrated
Share on Twitter Share on Facebook