Применение сетей Петри в разработке многопоточного программного обеспечения с ограниченными разделяемыми ресурсами на примере центров дистанционного управления и контроля

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