RUS ENG

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

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

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


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


Контактная информация

194021, Санкт-Петербург, ул. Политехническая, д. 21, ауд. 104

Тел./факс: +7-812-2971639

Кафедра расположена на 1 этаже 9 корпуса СПбГПУ.

 Зав. кафедрой проф. Карпов Юрий Глебович


Ближайшие события

в этом списке нет новостей.

Недавние события

27.06.2017 Учебный процесс:
23.06.2017 Учебный процесс:
29.06.2016 Учебный процесс:
22.06.2016 Учебный процесс:
Отображение результатов 1 до 5 из 100
<< Первая < предыдущ. 1-5 6-10 11-15 16-20 21-25 26-30 31-35 следующ. > Последняя>>

Недавние обновления

Aktuell liegen keine neuen Inhalte vor.