Введение
1. Методологические и технологические особенности разработки многопоточного программного обеспечения: центрыдистанционного управления и контроля 16
1.1 Архитектура и особенности функционирования многопоточного программного обеспечения: центры дистанционного управления и контроля 18
1.2. Анализ подходов к разработке программного обеспечения 25
1.3. Методы обеспечения правильности моделей 31
1.4. Анализ возможностей применения сетей Петри на технологическом цикле разработки программного обеспечения 37
1.5. Постановка задачи диссертационного исследования 43
2. Применение классических и раскрашенных сетей петри в моделировании и анализе многопоточного программного обеспечения на примере центров дистанционного управления и контроля 44
2.1. Применение классических сетей Петри для моделирования и анализа функционирования многопоточного программного обеспечения 45
2.2. Применение раскрашенных сетей Петри для моделирования и анализа функционирования многопоточного программного обеспечения 54
2.3. Анализ свойств раскрашенной иерархической сети Петри при моделировании функционирования реальных систем 60
2.4. Применение компьютерных инструментов для моделирования и анализа раскрашенных иерархических сетей Петри 65
2.5. Выводы 72
Применение раскрашенных иерархических сетей петри на этапе анализа 73
3.1. Методика создания и аттестации UML-диаграмм этапа анализа : 74
3.2. Шаблон UML-диаграмм на этапе анализа 77
3.3. Преобразование набора UML-диаграмм этапа анализа в раскрашенную иерархическую сеть Петри 83
3.4. Исследование модели и анализ результатов 92
3.5. Выводы 95
Применение раскрашенных иерархических сетей петри на этапе проектирования 96
4.1. Методика разработки и проверки моделей 97
4.2. Шаблон UML-диаграмм проекта службы управления и контроля 100
4.3. Преобразование набора UML-диаграмм проекта в раскрашенную иерархическую сеть Петри 106
4.4. Моделирование и анализ 117
4.5. Выводы 120
Примеры использования сетей петри в разработке центров дистанционного управленияиконтроля 122
5.1. Центр дистанционного управления и контроля таксофонов . 123
5.2. Диспетчерский центр блоков релейной защиты 132
5.2.1. Применение методики создания и аттестации модели центра дистанционного управления и контроля на этапе анализа 132
5.2.2. Применение методики создания и аттестации модели проекта центра дистанционного управления и контроля 142
5.3. Выводы 155
Заключение 156
Список использованных источников
