Проект посвящен изучению языков спецификаций ACSL и Event-B, разработке программы для автоматической генерации Си кода для спецификаций на языке формального метода Event-B, описывающих, например, механизмы управления доступом или системных вызовов с использованием ограничений средств защиты информации . Необходимо исследовать возможность данных преобразований, проанализировать имеющиеся методы для решения подобных задач, сформировать методику генерации, сопоставления спецификаций.

Автоматическая генерация Си кода на основе Event-B

Демонстрация результатов выполнения задач, поставленных в Wekan, руководителю проекта и представителям заказчика

Демонстрация прототипов вспомогательных программных средств, Отчет о проведенном исследовании

Средства разработки на С++/Python

-