+
Действующая цена700 499 руб.
Товаров:
На сумму:

Электронная библиотека диссертаций

Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО

Расширенный поиск

Система мультиверсионного формирования программного обеспечения управления космическими аппаратами

  • Автор:

    Ковалев, Игорь Владимирович

  • Шифр специальности:

    05.13.14

  • Научная степень:

    Докторская

  • Год защиты:

    1997

  • Место защиты:

    Красноярск

  • Количество страниц:

    238 с.

  • Стоимость:

    700 р.

    499 руб.

до окончания действия скидки
00
00
00
00
+
Наш сайт выгодно отличается тем что при покупке, кроме PDF версии Вы в подарок получаете работу преобразованную в WORD - документ и это предоставляет качественно другие возможности при работе с документом
Страницы оглавления работы

СОДЕРЖАНИЕ
Введение
1. Инженерное проектирование программного обеспечения
1.1. Комплексы программ управления как сложные системы
1.2. Жизненный цикл и этапы проектирования
1.2.1. Классическая модель жизненного цикла
1.2.2. Каскадная модель жизненного цикла
1.2.3. Модульно-иерархическое построение ПО
1.3. Анализ процессов формирования ПО управления КА
1.4. Мультиверсионная методология формирования отказоустойчивого ПО
Выводы
2. Формирование технологических циклов управления КА
2.1. Характеристика процессов управления КА
2.2. Моделирование технологических циклов управления КА
2.2.1. Анализ реализуемости: детерминированные модели
2.2.2. Формализация общей схемы анализа реализуемости ТЦУ
2.2.3. Стохастическое представление моделей анализа
2.3. СЕКТ-модель формирования ТЦУ
2.3.1. СЕПТ-сеть
2.3.2. Минимизация затрат
2.3.3. Случайные акции при реализации ТЦУ
2.3.4. Многократное исполнение ТЦУ
2.3.5. Минимизация ТЦУ по времени
Выводы
3. Формирование программного обеспечения реализации ТЦУ
3.1. Определение базового модуля мультиверсионной
программной системы

3:2. Критерии оптимальности
3.3. Отказоустойчивость программного обеспечения
3.4. Формирование состава мультиверсий по стоимостному критерию
3.5. Многокритериальное формирование состава мультиверсий
Выводы
4. Методы решения системы мультиверсионных моделей формирования ПО
4.1. Метод оценки глубины мультиверсионности
4.2. Двухэтапная процедура решения многокритериальной задачи формирования ПО
4.2.1. Рандомизированный MODM-метод направленного поиска
4.2.2. Комбинированный MADM-метод решения задачи выбора
Выводы
5. Инструментальные средства мультиверсионного формирования ПО
5.1. Структура и состав инструментальных средств
5.2. Интерактивного формирование ТЦУ
5.3. Формирование состава мультиверсий ПО
управления КА
5.4. Практическое применение в реальных системах мультиверсионного ПО
Выводы
Заключение
Литература
Приложения

Введение
Разработка и эксплуатация современных космических аппаратов (КА), на базе которых создаются распределенные системы реального времени (СРВ) [1], непосредственно связана с разработкой программного обеспечения (ПО), которое функционирует как в контурах наземного комплекса управления (НКУ), так и в бортовых компексах управления (БКУ), выполненных на базе бортовых цифровых вычислительных машин (БЦВМ). В настоящее время в разработке и эксплуатации КА используется сочетание серийных методов с индивидуальным производством, которое, с одной стороны, характеризуется высокой степенью унификации базового ПО, инженерных методов и методик его проектирования, а с другой -применением уникального ПО (даже для КА одного типа).
Процесс эксплуатации и функционирования КА на орбите регламентируется технологическими циклами управления (ТЦУ), которые определяют временные и информационные взаимосвязи между отдельными контурами управления КА, что выражается в установлении периодичности, планируемой длительности и порядка решения задач по обработке информации и управления КА [2]. В процессе эксплуатации возможно изменение характеристик КА и режимов его функционирования, вследствие технических неисправностей или изменений в программах целевой работы, что отражается как на составе, так и на алгоритмах управляющего ПО. При этом в случае выведения КА из нештатных состояний (в соответствии с нештатными ТЦУ) ряд характеристик управляющего ПО, а также процесса его разработки, в частности, надежность, отказоустойчивость, быстродействие, определяет вероятность успешного завершения этой операции и размер ущерба [3].
Большое значение на современном этапе среди множества требований к качеству ПО, методам и методикам его разработки и сопровождения приобретают такие требования, как скорость и стоимостная эффективность разработки, внешние средства поддержжки исполнения, тестирования и анализа [4-6], а также доступность методов и инструментальных средств широкому кругу специалистов, ответственных за системы управления КА и технологические циклы управления в целом [7-9].
Мультиверсионное программирование как методология проектирования отказоустойчивых и высоконадежных систем ПО позволяет успешно решать указанные задачи при условии интеграции с методами инженер-

шинных программ ЭВМ, реализующих компоненты каждого уровня и количество обрабатываемых переменных. Одновременно совокупности команд все более специализируются, т.е. снижается возможность применения компонент в различных комбинациях для решения аналогичных задач.
Операторы языка программирования являются минимальными компонентами, из которых строятся модули. Разнообразие операторов сравнительно невелико (50... 100 типов), и каждый оператор реализуется алгоритмом на базе в среднем 1-10 машинных команд ЭВМ. С повышением уровня языка программирования возрастает функциональная сложность операторов.
Программные модули решают небольшую функциональную задачу и реализуются 10—100 операторами языка программирования высокого уровня или 100-1000 операторами ассемблера. В результате программа модуля имеет 100-1000 машинных команд. Каждый модуль может использовать на входе около десятков типов переменных, но встречаются программные модули, обрабатывающие несколько десятков типов операндов. Количество типов выходных данных несколько меньше. Если для решения небольшой функциональной задачи требуется 100 операторов или более, то целесообразно провести декомпозицию задачи на несколько более простых, для реализации каждой из которых модуль реализуется 50...100 операторами.
Функциональные группы программ и пакеты прикладных программ формируются на базе десятков модулей и решают сложные автономные функциональные задачи. На их реализацию в ЭВМ используется около десяти тысяч команд. Соответственно возрастает количество используемых типов переменных и разнообразие выходных данных, которое практически полностью определяется особенностями функциональной задачи группы программ. При этом значительно быстрее растет количество типов переменных, обрабатываемых модулями и локализующихся в пределах одного или нескольких модулей.
Комплексы программ создаются для решения особенно сложных задач управления и обработки информации или вычислительных задач в науке и технике. В комплексы объединяются несколько или десятки групп программ для решения общей целевой задачи. Размеры КП исчисляются сотнями модулей, содержащие до двух-трех десятков структурных иерархических уровней, построенных из модулей.

Рекомендуемые диссертации данного раздела

Время генерации: 0.119, запросов: 967