RUS ENG

< SP Coding and Information School
04.02.2015 12:00 Давность: 4 yrs
Категория: Семинар

Верификация контекстных требований программных систем логического управления

В среду, 4 февраля, в 16:00, в ауд. 106 состоится предзащита Ирины Владимировны Шошминой на тему “Верификация контекстных требований программных систем логического управления”.


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