Введение
1. Объектно-ориентированные системы реального времени, спецификация, проектирование и анализ 12
1.1. Понятие систем реального времени и их параметрические характеристики 12
1.2. Ранние методы объектно-ориентированного анализа систем 15
1.3. Существующие методы объектно-ориентированного анализа для систем реального времени -.17
1.4. Унифицированный язык UML и его использование при проектировании систем реального времени 19
1.5. Расширение Real Time UML 24
1.6. Анализ возможностей программного обеспечения для объектно-ориентированного анализа реального времени 30
1.7. Методы формального анализа и верификации систем реального времени 36
1.8. Выводы 45
2. Задачи расширения стандартных um диаграмм 47
2.1. Необходимые UML диаграммы 48
2.2. Принцип построения диаграмм классов 50
2.3. Элементы расширения диаграммы распределения 52
2.4. Элементы расширения временной диаграммы 56
2.5. Элементы расширения компонентной диаграммы 59
2.6. Выводы 64
3. Математические модели стандартных и расширенных uml диаграмм 66
3.1. Требования к математической модели 66
3.2. Модель диаграммы классов 67
3.3. Модель диаграммы объектов 71
3.4. Модель диаграммы состояний 74
3.5. Модель диаграммы последовательностей 80
3.6. Модель временной диаграммы 86
3.7. Модель диаграммы компонентов 88
3.8. Модель диаграммы распределения 91
3.9. Выводы 94
4. Модель статических составляющих и динамических характеристик системы. алгоритм преобразования математической модели uml диаграмм в модель статических составляющих и динамических характеристик системы 95
4.1. Модель статических составляющих и динамических характеристик системы 95
4.2. Модель функций 97
4.3. Модель объектов данных... 99
4.4. Модель сценариев работы системы 101
4.5. Модель аппаратных компонентов системы 106
4.6. Алгоритм трансляции математической модели UML диаграмм в модель статических составляющих и динамических характеристик системы 108
4.7. Выводы 126
5. Алгоритмы ресурсного анализа коммуникационных соединений и устройств храііеііия информации 127
5.1. Общий подход к построению алгоритмов ресурсного анализа 127
5.2. Способ описания функций ввода-вывода системы 130
5.3. Алгоритм оценки использования коммуникационных соединений..135
5.4. Алгоритм оценки использования ресурсов хранения информации...138
5.5. Табличные и графические представления результатов 140
5.6. Практическая реализация алгоритмов 143
5.7 Оценка эффективности способа оценки ресурсных характеристик... 146
5.8. Выводы 147
Заключение 148
Библиографический список
