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

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
1. ОБЪЕКТНООРИЕ ГГИРОВАIIЬЕ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ, СПЕЦИФИКАЦИЯ, ПРОЕКТИРОВАНИЕ И АНАЛИЗ.
1.1. Понятие систем реального времени и их параметрические характеристики.
1.2. Ранние методы объектноориентированного анализа
1.3. Существующие методы объектноориентированного анализа для систем реального времени.
1.4. Унифицированный язык и его использование при проектировании систем реального времени
1.5. Расширение i
1.6. Анализ возможностей программного обеспечения для объектноориентированного анализа реального времени.
1.7. Методы формального анализа и верификации систем реального времени
1.8. Выводы
2. ЗАДАЧИ РАСШИРЕНИЯ СТАНДАРТНЫХ ДИАГРАММ.
2.1. Необходимые диаграммы.
2.2. Принцип построения диаграмм классов.
2.3. Элементы расширения диаграммы распределения.
2.4. Элементы расширения временной диаграммы.
2.5. Элементы расширения компонентной диаграммы
2.6. Выводы
3. МАТЕМАТИЧЕСКИЕ МОДЕЛИ СТАНДАРТНЫХ И РАСШИРЕННЫХ ДИАГРАММ.
3.1. Требования к математической модели
3.2. Модель диаграммы классов
3.3. Модель диаграммы объектов.
3.4. Модель диаграммы состояний
3.5. Модель диаграммы последовательностей
3.6. Модель временной диаграммы
3.7. Модель диаграммы компонентов
3.8. Модель диаграммы распределения
3.9. Выводы
4. МОДЕЛЬ СТАТИЧЕСКИХ СОСТАВЛЯЮЩИХ И ДИНАМИЧЕСКИХ ХАРАКТЕРИСТИК СИСТЕМЫ. АЛГОРИТМ ПРЕОБРАЗОВАНИЯ МАТЕМАТИЧЕСКОЙ МОДЕЛИ ИМЬ ДИАГРАММ В МОДЕЛЬ СТАТИЧЕСКИХ СОСТАВЛЯЮЩИХ И ДИНАМИЧЕСКИХ ХАРАКТЕРИСТИК СИСТЕМЫ
4.1. Модель статических составляющих и динамических характеристик системы.
4.2. Модель функций
4.3. Модель объектов данных
4.4. Модель сценариев работы системы
4.5. Модель аппаратных компонентов системы
4.6. Алгоритм трансляции математической модели иМЬ диаграмм в модель статических составляющих и динамических характеристик системы
4.7. Выводы.
5. АЛГОРИТМЫ РЕСУРСНОГО АНАЛИЗА КОММУНИКАЦИОННЫХ СОЕДИНЕНИЙ И УСТРОЙСТВ ХРАНЕНИЯ ИНФОРМАЦИИ
5.1. Общий подход к построению алгоритмов ресурсного анализа
5.2. Способ описания функций вводавывода системы.
5.3. Алгоритм оценки использования коммуникационных соединений
5.4. Алгоритм оценки использования ресурсов хранения информации.
5.5. Табличные и графические представления результатов
5.6. Практическая реализация алгоритмов.
5.7 Оценка эффективности способа оценки ресурсных характеристик.
5.8. Выводы
ЗАКЛЮЧЕНИЕ.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК.
А
ВВЕДЕНИЕ
Актуальность