Лях Татьяна Викторовна Динамическая верификация процесс-ориентированных программ управления киберфизическими системами

Краткое описание

Лях Татьяна Викторовна Динамическая верификация процесс-ориентированных программ управления киберфизическими системами
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Лях Татьяна Викторовна
Введение

Глава 1. Исследование подходов к верификации программ управления киберфизическими системами

1.1. Киберфизические системы. Специфика алгоритмов управления киберфизическими системами

1.2. Языковые средства разработки программ управления киберфизическими системами

1.3. Проверка корректности программ управления КФС

1.4. Технологии верификации управляющих программ КФС

1.4.1. Статический анализ кода

1.4.2. Методы формальной верификации

1.4.3. Методы динамической верификации

1.5. Современные тенденции при разработке программ управления КФС

Выводы главы

Глава 2. Четырёхкомпонентная формальная модель динамической верификации процесс-ориентированных программ. Численный метод определения вектора результатов исполнения тестовых сценариев

1.1. Общая схема верификации

1.2. Расширенная математическая модель гиперпроцесса

1.3. Четырехкомпонентная формальная модель динамической верификации процесс-ориентированных программ управления КФС

1.4. Численный метод определения вектора результатов исполнения тестовых сценариев

Выводы главы

Глава 3. Программные комплексы автоматизированной динамической верификации и автоматической динамической верификации программ управления КФС

3.1. Виртуальные лабораторные стенды

3.2. Автоматизированный комплекс динамической верификации

3.2.1. Архитектура комплекса автоматизированной верификации программ управления КФС на языке Reflex

3.2.2. Алгоритм работы комплекса автоматизированной динамической верификации

3.3. Автоматический комплекс динамической верификации процесс-ориентированных программ управления КФС

3.3.1. Архитектура комплекса автоматической верификации КФС

3.3.2. Алгоритм работы комплекса автоматической динамической верификации процесс-ориентированных программ

3.4. Генерация исполняемых алгоритмических модулей из описания на языке Reflex

Выводы главы

Глава 4. Апробация подходов к динамической верификации процесс-ориентированных программ управления КФС, описанных на языке Reflex

4.1. Общие рекомендации к описанию алгоритмических модулей при динамической верификации программ КФС

4.2. Апробация комплекса автоматизированной динамической верификации на задаче управления вакуумной подсистемой Большого солнечного вакуумного телескопа

4.3. Апробация комплекса автоматической динамической верификации

4.3.1. Задача управления тепловентилятором для сушки свежеокрашенных изделий

4.3.2. Задача управления системой контроля уровня в водяном резервуаре 102 Выводы главы

Заключение

Список сокращений и условных обозначений

Список литературы

Приложение А. Библиотека работы с входными и выходными очередями сообщений комплексов динамической верификации программ на языке Reflex

Приложение Б. Информация о внедрении результатов

Введение