Введение.
1. Постановка проблемы
1.1. Управление космическим аппаратом при решении целевых задач.
1.1.1. Струкгура системы управления космическим апг 1аратом
1.1.2. Орпшизат щя вычисштельно1 о процесса в ВВС.
1.1.3. Управление КА при решении им целевых задач
1.1.4. Структура комгшекса ЬПО. Место УА РВ в комплексе программ БПО
1.2. Жизненный цикл БПО и его взаимосвязь с ЖЦ ВВС и КА в целом.
1.3. Обзор существующих методов моделирования и автоматизации этапов ЖЦ ПО
1.3.1. Основные проблемы, встающие при моделировании про1рамм
1.3.2. Использоват ше времен 1ых логик
1 Алгебраический подход к моделироватшю упраатяющих систем
1.3.4. САБЕметодологии автоматизации этапов Ж программг тых средств.
1.4. Постановка проблемы синтеза и верификации управляющих алгоритмов реального времени для ВВС КА.
1.5. Выводы первого раздела.
2. Математические модели управляющих алгоритмов реального времени
2.1. Модель семантики управляющего алгоритма реального времени для ВВС КА
2.1.1. Построение модели семантики УА РВ.
2.1.2. Использование логических векторов для обуславливания упраатяющих
алгоритмов
2.2. Многоосновная алгебраическая система УА РВ.
2.2.1. Алгебраическая система УА РВ
2.2.2. Альтернативная интерпретация операций алгебраической системы УА РВ
2.3. Построение формальных теорий УА РВ и их применение при спецификации управляющих алгоритмов реального времени.
2.3.1. Формальная теория управляющих алгоритмов
2.3.2. Теория управляющих алгоритмов реального времени как эквациот ильная теория
2.3.3. Формальная теория УА РВ как прикладное исчисление предикатов первого порядка.
2.4. Интерпретация теории УА РВ в рамках алгебраической системы УА
2.4.1. Решение уравнений исчисления УА РВ
2.5. Сравнение предлагаемого подхода У А РВ с известными временными логиками и алгебрами процессов.
2.6. Классификация предлагаемого подхода по парадигме профаммирования.
2.7. Использование функционального программирования для реализации алгебраической системы УА РВ .
2.8. Использование среды логического программирования Пролог для представления формальной теории У А РВ
2.9. Использование объектноориентированного программирования при реализации алгебраической системы УА РВ.
2 Производные модели УА РВ
21. Многовходовая модель УА РВ.
22. Многовариантная модель УА РВ.
23. рименение функций выпалнимости для описания УА РВ
2 Выводы второго раздела
3. Выбор предпочтительных проектных решений при синтезе управляющих алгоритмов.
3.1.1. Эквивалентные преобразования спецификаций управляющего алгоритма
3 i пимизация при сит ггезе плана i 1равления семантики УА.
3.1.3. Оптимизация при синтезе логиковременной схемы управляющего
алгоритма
3.1.4. Оптимизация при генерации программы на целевом языке
программирования.
3.2. Выводы третьего раздела
4. Технология автоматизации синтеза и верификации управляющих алг оритмов для ВВС КА.
4.1. Стадии автоматизированной технологии.
4.2. Структура инструментального программного комплекса.
4.3. Автоматизация спецификации и верификации УА РВ.
4.3.1. Проб. 1емноюриентированный язык i юцификации УА РВ.
4.3.2. Графичсское конструирование семантики управляющего алгоритма
4.4. Автоматизация синтеза управляющей прораммы
4.4.1. Решение задачи трансляции спецификации и синтеза
семантики УА РВ
4.4.2. Решение задачи построения многовходовой модели УА.
4.4.3. Параметрическая генерация управляющей i ii раммы.
4.5. Автоматизация построения технической документации на
управляющий алгоритм.
4.5.1. Автоматическая генерация технической документации
4.5.2. Графическое конструирование временных диш рамм
4.6. Автоматизация тестирования и отладки У А РВ
4.6.1. Решение задачи генерации отладочных заданий.
4.6.2. Реши ше задачи формирования таблиц управляю i x и ю формационных
4.7. Реализация семантики управляющего алгоритма аппаратными средствами
4.8. Интегрированная среда разработки управляющих алгоритмов и как система.
4.9. Оценка эффективности разработанной технологии
4 Выводы четвертого раздела
5. Практическое применение разработанной технологии
5.1. римсненис технологии при разработке управляющего алгоритма
режима приведения КА в ориентированное положение
5.2. Использование разработанной технологии при моделировании отказов бортовой телеметрической системы.
5.2.1. Функции, структура и моделируемые режимы работы БИI С
5.2.2. Функциональные задачи алгоритма моделирования неисправностей
БИТС и логика его функционирования
3. Методы моделирования потока отказов
5.2.4. iтисание алгоритма имитационного моделирования
.5. Синтез программы моделирования БИТС в рамках автоматизированной
технологии
5.3. Выводы пятого раздела
Заключение
Список литературы
- Киев+380960830922