Автоматизация испытаний конформности модульных структур сбора и обработки данных

• Автор: Еременко, Алексей Владимирович
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 2013
• Место защиты: Орел
• Количество страниц: 195 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. АНАЛИЗ ОСНОВНЫХ ТЕХНОЛОГИЙ ПОСТРОЕНИЯ МОДУЛЬНЫХ СТРУКТУР СБОРА И ОБРАБОТКИ ДАННЫХ
1.1 Проблемы обмена данными в средах АСУТП и АСУП
1.2 Межсетевое взаимодействие модульных структур сбора и обработки данных на основе ЕФетеТтехнологий
1.3 Современные аспекты построения модульных структур сбора и обработки данных подсистемы АСУ ТП
1.4 Разработка протоколов информационного обмена для модульных структур систем сбора и обработки данных
1.5 Автоматизация процессов сбора и обработки данных
Выводы по главе
ГЛАВА 2. МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
ВЗАИМОДЕЙСТВИЯ ПРОТОКОЛЬНЫХ ОБЪЕКТОВ МОДУЛЬНЫХ СТРУКТУР СБОРА И ОБРАБОТКИ ДАННЫХ
2.1 Основные аспекты формализации взаимодействия процессов в модульных структурах сбора и обработки данных
2.2 Формализованное описание процесса взаимодействия протокольных объектов
2.3 Процедура тестирования конформности с помощью конечного автомата
2.4 Анализ свойств модели взаимодействия протокольных объектов
Выводы по главе
ГЛАВА 3. СПОСОБЫ И ПРИЕМЫ ФОРМИРОВАНИЯ ТЕСТОВ ДЛЯ ПРОТОКОЛОВ МОДУЛЬНЫХ СТРУКТУР СБОРА И ОБРАБОТКИ ДАННЫХ
3.1 Общие подходы к построению тестового комплекта
3.2 Алгоритм поиска исключительных последовательностей
3.3 Способы и приемы формализации исключительной входной области тестирования реализации компонентов МССОД
3.3.1 Алгоритм поиска покрытия перехода для РА с предикатами
3.3.2 Алгоритм оптимизации процедуры поиска покрытия перехода
3.4 Оценка покрытия ИП для протокола МССОД без сигнала "сброс"
Выводы по главе
ГЛАВА 4. СПОСОБЫ И ПРИЕМЫ ТЕСТИРОВАНИЯ КОНФОРМНОСТИ РЕАЛИЗАЦИИ МОДУЛЬНОЙ СТРУКТУРЫ СБОРА И ОБРАБОТКИ ДАННЫХ
4.1 Ошибки, выявляемые испытаниями конформности
4.2 Методика испытаний конформности реализаций протоколов МССОД
4.3 Способы и приемы реализации испытаний конформности в МССОД
4.4 Тестирование испытаний конформности модульных структур
обработки данных на основе стека протоколов ТСРЛР
Выводы по главе
ГЛАВА 5. ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ
ВНУТРИПРОТОКОЛЬНЫХ ПРЕРЫВАНИЙ В МОДУЛЬНЫХ СТРУКТУРАХ СБОРА И ОБРАБОТКИ ДАННЫХ
5.1 Общий подход к моделированию процессов сбора и обработки данных
5.2 Управление модельным временем в имитационном моделировании процессов сбора и обработки данных
5.3 Имитационное моделирование процессов сбора и обработки данных в модульных структурах на основе протокола TCP
5.4 Алгоритм работы процессов сбора и обработки данных с помощью главного модуля TCP
5.5 Моделирование процессов сбора и обработки данных с учетом внутрипротокольных прерываний
Выводы по главе ЗАКЛЮЧЕНИЕ СПИСОК ЛИТЕРАТУРЫ

инфраструктуры промышленных предприятий, обеспечивающей совместную работу программных и аппаратных средств систем АСУ ТП. Немаловажно и то, что оборудование Ethernet относительно недорого и доступно, а протоколы TCP/IP - весьма привлекательное решение по сравнению с запутанными и многочисленными стандартами дорогих и сложных СПД [2,17,24,37,43,52,75,82,86,88].
В последнее время в АСУ ТП внедряется архитектура Ethernet промышленного применения - Industrial Ethernet, поддерживаемой многими ведущими производителями оборудования автоматизации. Будучи универсальным средством организации коммуникационных интерфейсов в системах автоматизации, Industrial Ethernet предлагает широкие возможности реализации различных топологий с разнообразными подключаемыми устройствами при невысокой стоимости в расчете на устройство и хорошо интегрируется с технологией Internet.
Структурные характеристики модульных структур сбора и обработки данных (МССОД) АСУТП. МССОД АСУ ТП строятся по принципу трехуровневой системы [18,21,22,24,114,131,140,142,143].
Нижний уровень (полевой) - состоит из датчиков и исполнительных механизмов, устанавливаемых на технологических объектах. Для связи с датчиками используются:
- AS-интерфейс - для организации связи с датчиками и исполнительными устройствами. Позволяет подключать датчики и исполнительные механизмы к системе управления на основе построения сети с использованием одного двухжильного кабеля, посредством которого обеспечивается как питание всех сетевых устройств, так и опрос датчиков и выдача команд на исполнительные механизмы;
- HART-протокол - основан на методе передачи данных с помощью частотной модуляции, при этом цифровой сигнал накладывается на аналоговый токовый. Частотно-модулированный сигнал является