Система мультиверсионного формирования программного обеспечения управления космическими аппаратами тема диссертации и автореферата по ВАК РФ 05.13.14, доктор технических наук Ковалев, Игорь Владимирович

• Ковалев, Игорь Владимирович
• доктор технических наук
• 1997

Оглавление диссертации доктор технических наук Ковалев, Игорь Владимирович

Введение

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. СЕ11Т-модель формирования ТЦУ

2.3.1. СЕКГ-сеть

2.3.2. Минимизация затрат

2.3.3. Случайные акции при реализации ТЦУ

2.3.4. Многократное исполнение ТЦУ

2.3.5. Минимизация ТЦУ по времени 97 Выводы

3. Формирование программного обеспечения реализации ТЦУ 101 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].

Мультиверсионное программирование как методология проектирования отказоустойчивых и высоконадежных систем ПО позволяет успешно решать указанные задачи при условии интеграции с методами инженерного проектирования ПО и при условии адекватного отражения технологии управления КА, в результате чего возможно использовать многолетний опыт и интуицию проектировщиков систем управления КА, ответственных за его функционирование на орбите и выполнение целевых функций.

Таким образом, существует важная народно-хозяйственная проблема: создание системы инженерного проектирования высоконадежного, отказоустойчивого ПО технологии управления К А, для успешного решения которой необходимо разработать модели и методы исследования, отражающие процессы управления КА и позволяющие осуществлять синтез, анализ, коррекцию этой технологии, учет этих факторов в составе многоатрибутивных методов и моделей мультиверсионного программирования, ориентированных на специалистов предметной области.

Уверенность в успешном научно-техническом решении сформулированной проблемы базируется на оценке результатов отечественных и зарубежных ученых в смежных областях и проблемах. Это работы в области управления и синтеза структур сложных систем Растригина JI.A., Цвиркуна А.Д., Акинфиева В.К., в области индустриальной разработки программных средств и качества ПО Липаева В.В., Асафьева Ю.В., Серебровского JLA.; в области структурного проектирования надежных программ встроенных ЭВМ Штрик A.A., Осовецкого Л.Г., Мессих И.Г., работы по методам синтеза оптимальных модульных систем обработки информации и управления Мамиконова А.Г., Кульбы В.В.; работы по соответсвующим разделам инженерной методологии надежностного и избыточного программирования Авициениса A.A., Бермана О.Н., Гросс-питча Е.К.; Боэма Б.У.; работы в области многоатрибутивного принятия решений при синтезе информационно-управляющих систем с учетом полной или нечетко заданной информации Ашрафи А.Е., Белли Ф.Е. Хванга С.Л., Циммерманна М.Н. и многих других.

В диссертации обобщены результаты работы в области программного обеспечения систем управления КА, которая ведется в течение ряда лет в научных коллективах кафедр "Системы автоматизации управления и проектирования" Красноярского государственного технического университета и "Системный анализ и исследование операций" Сибирской аэрокосмической академии. Исследования, результаты которых составили основу настоящей работы, проводились в соответствии с НИР "Тель-Р" в рамках темы 477 по НПО Прикладной механики, утвержденной Приказом N 255 по Минобщемашу СССР и продолжаются в рамках Программы развития системы спутниковой связи и вещания "Россия", принятой решением коллегии Министерства связи Российской федерации от 4-1 от 14 февраля 1992 г.

Актуальность диссертационной работы признана рядом Российских и международных фондов и организаций, осуществляющих финансирование авторских проектов (гранты носят индивидуальный характер и выиграны лично автором), среди которых Немецкая служба академических обменов (DAAD), Исследовательской фонд FFMS (Flughafen FrankfurtMain Stiftung), фонд Сороса и др.

Работы в этой области инженерного проектирования ПО технологии управления КА требуют больших затрат, однако современные масштабы разработок и внедрения систем реального времени на основе космических комплексов не оставляют сомнений в экономической целесообразности, своевременности и актуальности поставленных задач исследования.

Целью настоящей работы является разработка системы мультивер-сионного формирования программного обеспечения управления космическими аппаратами, реализующей на основе разработанных методов и формальных моделей целеориентированный подход в инженерном проектировании программных средств.

Поставленная цель определила следующие основные задачи исследований:

- анализ реализуемости, коррекция и оптимальное конструирование ТЦУ КА на основе разработанного комплекса детерменированных и стохастических моделей;

- проведение анализа реальных процессов инженерного программирования ТЦУ КА, жизненного цикла и проблем проектирования управляющего ПО;

- формальное описание постановок оптимизационных задач мульти-версионной методологии инженерного программирования с последующим построением системы многоатрибутивных моделей при сложных алгоритмически заданных целевых функциях и ограничениях;

- обоснование и построение математических методов и алгоритмов решения многокритериальных мультиверсионных моделей инженерного программирования в интерактивном режиме;

- программная реализация и внедрение разработанной системы в практику инженерного проектировния ПО технологических циклов управления К А.

Методы исследования. Системный анализ и методы математической оптимизации. Методы теории вероятностей, анализ риска и теория статистических решений. Методы анализа сетей, стохастические сети, методы оценки и пересмотра планов. Теория множеств, комбинаторика и теория графов. Многоатрибутивные методы принятия решений и прикладные аспекты теории нечетких множеств.

Научная новизна работы.

1. Разработано унифицированное сетевое представление процессов управления КА на базе СЕКГ-подобной узловой логики, обеспечивающее анализ реализуемости, коррекцию и конструирование оптимальных по заданному параметру технологических циклов управления КА на базе решающей СЕИТ-модели.

2. Получены математические модели мультиверсионного проектирования программного обеспечения ТЦУ КА и логики функционирования БКУ, учитывающие алгоритмически заданные на комплекске СЕЯТ-сетевых моделей ограничения и целевые функции задач.

3. Предложен комплекс математических моделей мультиверсионного программирования, отражающий надежностный фактор одно- и многофункционального отказоустойчивого программного обеспечениия КА.

4. Сформирована математическая модель многоатрибутивного выбора состава мультиверсионного ПО, применяемая для выработки решения в условиях неопределенности и являющаяся обобщением и развитием известных в литературе задач анализа риска и теории статистических решений целеориентированного программирования.

5. Предложены комбинированные алгоритмы решения оптимизационных задач мультиверсионного программирования, являющиеся развитием многоатрибутивных методов принятия решений, которые до настоящего времени в практике инженерного проектирования ПО не применялись.

Практическая ценность. Разработанная в диссертации система мультиверсионного формирования ПО управления КА применена при программировании ТЦУ КА и проектировании высоконадежного ПО систем управления КА. Созданные на их базе в составе САПР БКУ и САПР управления движением объекта системы автоматизации формирования мультиверсионного ПО сокращают сроки и снижают стоимость разработки, увеличивают надежность и улучшают сопровождение ПО. Надежностное проектирование ПО позволяет решать новые задачи по качественной оценке и быстрому восстановлению системы ПО при оптимальной избыточности программных версий. В рамках целеориентированно-го подхода к программированию ТЦУ КА упрощается организационно-технологическая схема разработки ПО путем замены промежуточных этапов формализации и кодирования процедурами мультиверсионного программирования, причем разработка осуществляется силами специалистов по управлению КА.

Реализация результатов работы. Под руководством и при непосредственном участии автора диссертации выполнены х/д НИР, в ходе которых разработана и передана в составе САПР управления движением объекта (НПО ПМ, г. Красноярск) программная система диалогового формирования мультиверсионного ПО систем управления КА военного и гражданского назначения, находящихся в данное время в эксплуатации (К А типа "Галс", "Экспресс", К А системы "Глонасс"). Комплекс программ модельного обеспечения ТЦУ КА применяется при разработке и реализации наземного комплекса управления народно-хозяйственного назначения (первый этап) и Центра управления полетом (г. Красноярск-26). В составе САПР БКУ К А связи и ретрансляции автоматизирован этап синтеза отказоустойчивого ПО многофункционального назначения.

Материалы диссертационной работы введены в учебные курсы и используются при чтении лекций для студентов Красноярского государственного технического университета и Сибирской аэрокосмической академии. Эти материалы нашли отражение в учебном пособии "Технология программирования задач автоматизации управления в технических системах", г. Красноярск, КГТУ, 1993 г. и в учебном пособии "Modelling, optimization and computer-realization of control cyclograms", Krasnoyarsk: SAA Press, 1996 г., написанном на английском языке в соавторстве с О.И. Антамошкиной.

Основные тезисы, выносимые на защиту.

1. Задачи анализа реализуемости, коррекции и конструирования оптимальных технологических циклов управления КА формализуются в виде оптимизационных детерминированных и стохастических задач, базирующихся на GERT-сетевых моделях технологии управления КА.

2. Предложенная аналитико-оптимизационная процедура позволяет решать указанные задачи на основе комбинаций алгоритмического обеспечения методов случайного поиска и методов анализа сетей в интерактивном режиме.

3. Для задач формирования состава мультиверсий высоконадежного, отказоустойчивого ПО разработан комплекс мультиверсионных моделей инженерного программирования ТЦУ К А, учитывающий сложные алгоритмически заданные ограничения и целевые функции на GERT-сетевых моделях и отражающий надежностный фактор ПО при одно- и многофункциональном исполнении компонентов.

4. Разработанная процедура определения дохода от информации при мультиверсионном программировании обеспечивает эффективное специально организованное сопровождение ПО при выполнении базовых требований методологии к разнообразию методов проектирования мультиверсий и определения глубины мультиверсионности.

5. Комбинированный метод многоатрибутивного принятия решений при мультиверсионном программировании позволяет эффективно решать многокритериальные оптимизационные задачи выбора состава мультиверсий при нечетко заданной информации, обеспечивая привлечение на этом этапе специалистов по технологии управления КА.

6. Разработанная система, реализующая мультиверсионный подход инженерного программирования ТЦУ КА с целью проектирования высоконадежного и отказоустойчивого ПО, применим для широкого класса сложных информационно-управляющих систем, критичных по надежности.

Апробация работы. Основные положения и результаты работы прошли всестороннюю апробацию на всесоюзных, всероссийских и международных конференциях, научных семинарах и научно-практических конференциях. В том числе, на всесоюзных конференциях "Живучесть и реконфигурация информационно-вычислительных и управляющих систем" (Москва, 1989), "Проблемы математического обеспечения и архитектуры бортовых вычислительных систем" (Ташкент, 1989), республиканском семинаре "Информационные технологии в локальных вычислительных сетях для разработки программ встроенных ЦВМ систем реального времени" (Севастополь, 1990), научно-технических конференциях ГНПП НПО "Полюс" (Томск, 1990, 1991 и 1996), 12-й Международной конференции "Mathematische Optimierung"(Селлин/Рюген, 1990), Всесоюзном координационном совещании "Случайный поиск как метод адаптации и оптимизации сложных систем" (Дивногорек, 1991), Международных AMSE конференциях (Лион, 1993 и Брно, 1995), на 3-й Международной конференции IFIP "Optimization-Based Computer-Aided Modeling and Design" (Прага, 1994), Международных симпозиумах no исследованию операций SOR'94 (Берлин, 1994), SOR'95 (Пассау, 1995), SOR'96 (Брауншвайг, 1996), 17-й Международной конференции IFIP "System Modelling and Optimization" (Прага, 1995), Международных семинарах Немецкого общества по исследованию операций DGOR (Куба и Бад Ли-бенцелль, 1997), научно-практической конференции "Информатизация региона" (Красноярск, 1995 и 1996) научных семинарах кафедры Систем автоматизации управления и проектирования Красноярского государственного технического университета (1989-1997) и кафедры Системного анализа и исследования операций Сибирской аэрокосмической академии (1993-1997), Института математики и прикладных исследований аэрокосмического факультета университета Министерства обороны Германии (Мюнхен, 1994-1995), Института аэрокосмических и астрофизических исследований Мюнхенского технического университета (Мюнхен, 1995), Института математики Гумбольдского университета (Берлин, 1996), исследовательского Института прикладных систем (GMD/St.-Augustin, Бонн, 1997), института информатики и процессов управления при КГТУ (1994-1997).

Публикации. По теме диссертации опубликовано свыше шестидесяти работ, список основных (35 публикаций) приводится в конце автореферата.

Структура и объем работы. Диссертация состоит из введения, пяти глав, заключения, списка литературы из 214 наименований и приложений.

Заключение диссертации по теме «Системы обработки информации и управления», Ковалев, Игорь Владимирович

Выводы по главе 5

1. Разработанные средства инструментальной поддержки мульти-версионного программирования (Мульти-ТС) обеспечивают диалоговый режим применения процедур методологии формирования ПО управления КА, вплоть до автоматического формирования библиотек мультиверсий модулей ПО для заданного типа ТЦУ и циклограмм управления БКУ К А. При этом обеспечивается следование мультиверсионной методологии на всех этапах ЖЦПО, включая модификацию гарантоспособных компонент.

2. Комплекс средств автоматизации позволил впервые перенести основной объем работ по программированию мультиверсий ПО на специалистов по системам управления КА, непосредственно формирующим алгоритмы управления объектами, что привело к сокращению трудозатрат и сроков разработки мультиверсионного ПО за счет использования языковых спецификаций высокого уровня в среде Мульти-ТС.

3. В результате анализа взаимосвязи классического ЖЦПО и мультиверсионной методологии формирования ПО управления КА выделены три категории характеристик достигнутых результатов, которые, в первую очередь, касаются изменения технологии разработки и сопровождения гарантоспособных компонент СПО управления КА, улучшения качественных показателей и характеристик надежности ПО, а также использования Мульти-ТС для наземного тестирования и испытаний подсистем КА.

4. Решен новый класс задач по управлению КА, так как обеспечена возможность создания кода ПО логики функционирования КА в формате абсолютной загрузки без применения средств наземного отладочного комплекса, что позволяет разрабатывать мультиверсии управляющих программ, критичных по отказоустойчивости, и загружать их в БПО КА напрямую из НКУ, повышая тем самым надежность и оперативность управления объектом.

5. Результаты решения реальных задач в составе САПР управления движением объекта продемонстрировали эффективность применения инструментальных средств, что подтверждается сравненительным анализом числовых характеристик, а также применение Мульти-ТС дает дополнительные возможности, которые на языковом уровне обеспечивают решение задач, реализация которых традиционным способом была либо невозможна, либо неэффективна.

ЗАКЛЮЧЕНИЕ

На основе общих тенденций развития теории и практики инженерного проектирования ПО современных комплексов управления КА в диссертационной работе решена актуальная научно-техническая проблема, имеющая важное народнохозяйственное значение и которая заключается в разработке мультиверсионной системы инженерного программирования технологических циклов управления К А. Решение этой проблемы базируется на следующих основных результатах, имеющих самостоятельное научное и практическое значение.

1. Впервые сформулирована концепция мультиверсионного программирования ТЦУ КА, разработанная в результате проведенного анализа реальных процессов инженерного программирования технологии управления, жизненного цикла и проблем проектирования высоконадежного, отказоустойчивого ПО, на реализацию которой направлена созданная в работе система, включающая математические, алгоритмические и программно-технические средства. Полная реализация этой концепции представляет собой современную мультиверсионную технологию инженерного проектирования отказоустойчивого ПО систем управления КА, сокращающую сроки проектирования и повышающую качество программного обеспечения.

2. По результатам исследований характеристик процессов управления КА разработан комплекс формальных моделей, описывающих ТЦУ КА для детерминированного и стохастического сетевого представления и обеспечивающих возможность формализованного анализа реализуемости, коррекции и конструирования оптимальных технологических циклов управления К А.

3. Разработаны алгоритмические процедуры, объединенные в унифицированную схему анализа, коррекции и оптимизации ТЦУ КА, обеспечивающие минимизацию затрат и времени при реализации процессов управления КА, а также анализ различных аспектов при введении случайных акций и многочисленных исполнений задач, регламентированных технологическими циклами управления КА.

4. Предложены математические модели мультиверсионного проектирования программного обеспечения ТЦУ КА, учитывающие надежностный фактор при одно- и многофункциональном исполнении мультивер-сий и сложные, заданные алгоритмически на комплексе СЕПТ-сетевых моделей, ограничения и целевые функции оптимизационных задач.

5. Созданы математические модели многоатрибутивного принятия решений при выборе состава мультиверсий отказоустойчивого ПО, позволяющие определить доход от информации и вырабатывать решения в условиях неопределенности, что является обобщением и развитием в рамках мультиверсионной методологии проектирования ПО задач анализа риска и теории статистических решений целеориентированного про-гр аммир ования.

6. Разработаны комбинированные процедуры решения многоатрибутивных задач мультиверсионного программирования ТЦУ КА, обеспечивающие интерактивный режим для пользователя - специалиста проблемной области — при специальной организации инструментальных программных средств и позволяющие эффективно решать многокритериальные задачи инженерного проектирования ПО.

7. Сформулированные в диссертационной работе теоретические и практические положения, понятия, методы, формальные модели и алгоритмы мультиверсионного проектирования ПО технологии управления КА можно классифицировать как новый подход к решению проблемы разработки высоконадежного, отказоустойчивого ПО сложных систем управления, работающих в реальном времени, обеспечивающий качественно новый уровень формируемого программного продукта.

8. Разработанная система мультиверсионного формирования программного обеспечения внедрена в практику инженерного проектирования ПО управления КА. Результаты решения реальных задач в составе САПР управления движением объекта и САПР БКУ КА связи и ретрансляции "Галс" и "Экспресс" показали эффективность разработанных инструментальных программных средств.

Список литературы диссертационного исследования доктор технических наук Ковалев, Игорь Владимирович, 1997 год

1. Решетнев М.Ф., Козлов А.Г., Ашурков Е.А., Корчагин E.H. Перспективы и концепции создания космических комплексов систем связи и телевидения// Устройства и системы автоматики автономных объектов: Тез.докл. 2-й НТК.- Красноярск, 1990, С. 3-4.

2. Князькин Ю.М. Методология автоматизированного проектирования бортовых комплексов управления КА связи, ретрансляции, навигации,-Министерство обороны, 1992, 182 с.

3. Кравец В.Г., Любинский В.Е. Основы управления космическими полетами.- М.: Машиностроение, 1983, 224 с.

4. Липаев В.В. Проектирование программных средств.- М.: Высш. шк, 1990, 303 с.

5. Липаев В.В. Качество программного обеспечения.- М.: Финансы и статистика, 1983, 264 с.

6. Штрик A.A. и др. Структурное проектирование надежных программ встроенных ЭВМ.- Л.: Машиностроение, 1989.- 296 с.

7. Автоматизированная система управления космической системой. Технические предложения. Книга первая. Принципы организации управления в системе. Красноярск: ЦТА НПО ПМ, № 11736, 1989, 80 с.

8. Лаптев B.C., Жаврид Е.В. и др. Проблемно-ориентированные инструментальные средства разработки программного обеспечения управляющих и информационно-управляющих систем// ПУСиМ.-1988, N 4, С. 74-76.

9. Дмитриев А.К., Мальцев П.А. Основы теории построения и контроля сложных систем. Л.: Энергоатомиздат: Ленинградское отделение, 1988, 192с.

10. Растригин Л.А. Адаптация сложных систем. Рига: Зинанте, 1981.-375 с.

11. Месорович М., Мако Д., Такахара А. Теория иерархических многоуровневых систем. М.: Мир. 1973. - С.344.

12. Лапко A.B. Имитационные модели неопределенных систем.-Новосибирск: Наука. Сиб.отд-ние, 1993. 152 с.

13. Липаев В.В. Проектирование математического обеспечения АСУ.- М.: Советское радио, 1977, 400 с.

14. Математическое обеспечение бортовых вычислительных средств. Программное обеспечение БКУ. Техническое описание и инструкция по эксплуатации программ оперативного управления и контроля. ДМ01, Кн.4,- Красноярск: ЦТА НПО ПМ, 1986, 145 с.

15. Гантер Р. Методы управления проектированием программного обеспечения: Пер. с англ./ Под ред. Е.К.Масловского.- М.: Мир, 1981, 392 с.

16. Мамиконов А.Г. Проектирование АСУ.- М.: Высш. шк., 1987,304 с.

17. Хетагуров Я.А., Древе Ю.Г. Проектирование информационно-вычислительных комплексов.- М.: Высш. шк., 1987, 280 с.

18. Майерс Г. Надежность программного обеспечения: Пер. с англ./ Под ред. В.Ш.Кауфмана.- М.: Мир, 1980, 360 с.

19. Технология проектирования комплексов программ АСУ/ В.В.Липаев, Л.А. Серебровский и др.- М.: Радио и связь, 1983, 264 с.

20. Ковалев И.В. Автоматизация создания программных средств систем управления// В кн.: Микроэлектронные устройства: проектирование и технология.- Красноярск. КПИ, 1990, С. 79-85.

21. Kovalev I. Software engineering of spacecraft control technological cycles// In: "Modelling, Measurement and Control, B" Vol.56, №3, 1994, AMSE PRESS, Pp. 45-49.

22. Boehm B.W. Software Risk Management. IEEE CS Press Tutorial,1989.

23. Ingogly W.F. NASA software engineering experiment VAX/VMS command language primer. RTI Res. Document, Research Triangle Institute, 1983.

24. Sheil B.A. The psychological study of programming. ACM Comput. Surveys, Vol. 13, 1988, Pp. 123-134.

25. Moher Т., Schneider V. Methods for improving controlled experimentation in software engineering. Dep. Comput. Sci., Univ. Minnesota, Tech. Rep. 80-8, 1988.

26. Фокс Дж. Программное обеспечение и его разработка: Пер. с англ./ Под ред. Д.Б.Подшивалова.- М.: Мир, 1985, 268 с.

27. Brooks R.E. Studying program behavior experimentally: The problems of proper methodology// In: Commun. ACM, Vol. 23, 1980, Pp. 207-213.

28. Dunham J.R. and Knight C.J., Eds. Production of reliable flight crucial software: Validation method research for fault-tolerant avionics and control systems sub-working-group meeting, NASA Conf. Pub. 2222, NASA, 1985.

29. Хорошевский В.Г. Инженерный анализ функционирования вычислительных машин и систем.- М.: Радио и связь, 1987.- 256 с.

30. Методы анализа и синтеза структур управляющих систем/ Б.Г.Волик и др.; Под ред. Б.Г.Волика.- М.: Энергоатомиздат, 1988.- 296 с.

31. Агафонов В.Н. Спецификация программ: понятийные средства и их организация.- Новосибирск: Наука, 1987.

32. Wasserman A.L., Stanson S.K. A specification method for interactive information systems// Proc. IEEE Conf. Specification of Reliable Software, 1979, Pp. 68-78.

33. Толковый словарь по вычислительным системам/ Под ред. В. Иллигуорта и др.: Пер с англ.- М.: Машиностроение, 1991.- 560 с.

34. Bloodworth J.R. et al. Minimizing ALCM Software Life Cycle Cost// Proc. of AIAA Second Computers in Aerospace Conference, October, 1979, Pp. 23-32.

35. Ramamoorthy C.Y. et al. Software engineering: Problems and perspectives. Computer, Vol. 17, no. 10, 1984, Pp. 191-207.

36. Meyers B. Object Oriented Software Construction. Englewood Cliffs, NJ: Prentice-Hall, 1988.

37. Dunham J.R., Pierce J.L. An empirical study of flight control software reliability// NASA-Langley Research Center, NASA CR, 1986.

38. Kelly P.J., Avizienis A. A specification-oriented multi-version software experiment// In: Dig.Papers FTCS-13: 13th Int. Conf. Fault Tolerant Comput., Milan, 1983, Pp. 120-125.

39. Knight C.J., Levenson N.G. An experimental evaluation of the assumption of independence in Multiversion programming. IEEE Trans. Software Engineering, Vol. SE-12, 1986, Pp. 96-109.

40. Johnson D.M. The systems engineer and the software crisis// ACM SIGSOFT/ Software Engineering Notes, Vol. 21, no. 2, March 1996, Pp. 6473.

41. Боэм Б.У. Инженерное проектирование программного обеспечения: Пер. с англ.- М.: Радио и связь. 1985.- 512 с.

42. Iannino A. et al. Criteria for software reliability comparison// ACM Sigsoft Software Engineering Notes, Vol. 8, 1983, Pp. 227-232.

43. Hecht H. Fault tolerant software// IEEE Trans. Reliability, Vol. R-28, 1979, Pp. 227-232.

44. Tai A., Meyer J., Avizienis A. Performability Enhancement of Fault-Tolerant Software// IEEE Trans, on Reliability. Vol. 42, No. 2, 1993, Pp. 227-237.

45. Avizienis A. The methdology of N-version programming// In: Software fault tolerance/ edited by M.R. Lyu, Wiley, 1995, Pp. 23-47.

46. David Ph., Guidal C. Development of a fault tolerant computer system for the Hermes Space Shuttle// IEEE Trans., 1993, Pp. 641-648.

47. Avizienis A. The N-Version approach to fault-tolerant software// IEEE Trans, on Software Engineering, Vol. SE11, № 12, December, 1985, Pp. 1491-1501.

48. Авиженис А., Лапри Ж.-К. Гарантоспособные вычисления: от идей до реализации в проектах.- ТИИЭР, 1986, Т. 74, № 5, С. 8-21.

49. Laprie J.-С. et al. Hardware- and Software-fault tolerance: definition and analysis of architectural solutions// Proceedings of the IEEE, 1987, Pp. 116-121.

50. Silayeva Т.А., Joudu К.A. Fault-tolerant control software with limited redundancy.- 4-th IFAC/IFIP Symp. on Software for Computer Control/ Austria (Graz), 1986, Pp. 252-257.

51. Ковалев И.В. Эффективность программно-алгоритмической реализации технологических режимов// Информационные процессы в промышленности: Сборник научных трудов. Кемерово: Кузбасский политехнический институт, 1989. С. 47-52.

52. Silayeva Т., Grosspietsch К.-Е. An Innovative Method for Program Reliability Evaluation. Accepted for publication at Euromicro '95. Como (Italy). September 1995.

53. Silayeva Т., Grosspietsch K.-E. Eine Methode zur Zuverlaessigkeits-abschaetzung fuer Software. In: Workshop des DGLR-Fachausschusses Software Ingineering am 17. Mai 1995 in Neubiberg. UniBW Munich, 1995. Pp. 51-59.

54. Давыденко О.В., Ковалев И.В. Оценка надежности программного обеспечения бортового комплекса управления// Вестник КГТУ:

55. Сб.научн.трудов; под ред. Б.П.Соустина/ КГТУ. Вып.5. Красноярск, 1996.С. 119-121

56. Горбатов В.А., Крылов A.B., Федоров Н.В. САПР систем логического управления.- М.: Энергоатомиздат, 1988, 230 с.

57. Саркисян A.A. Повышение качества программ на основе автоматизированных методов.- М.: Радио и связь. 1991, 160 с.

58. Проблемы и методы разработки протоколов обмена телеметрических систем автономных JIA// В кн.: Методы и алгоритмы исследования и разработки автоматических систем управления/ М.: Министерство обороны, 1989, С. 165-168.

59. Половко A.M., Гиндин С.П., Новоселов А.И. Надежность программного обеспечения специализированных вычислительных комплексов//Л.: ЦНИИ "РУМБ", 1988, 128 с.

60. Липаев В.В. Тестирование программ// М.: Радио и связь, 1986,234 с.

61. Нас A. A system reliability model with classes of failures// IEEE Trans, on Reliability. Vol. R-34, 1985, Pp. 29-33.

62. Мамиконов А.Г., Кульба B.B. Синтез оптимальных модульных систем обработки данных.- М.: Наука, 1986.

63. Мамиконов А.Г., Кульба В.В., КосяченкоС.А. Типизация разработки модульных систем обработки данных.- М.: Наука, 1989, 165 с.

64. Liestman A., Campbell R.-H. A Fault-Tolerant Scheduling Problem// IEEE Trans, on Software Engineering. Vol. SE-12, 1986, Pp. 10891095.

65. Antamoshkina O., Kovalev I. Modeling, Optimization and Computer-Realization of Control Cyclograms. Krasnoyarsk: SAA-Press. 1996, 74 p.

66. О рациональном распределении функций в автоматизированной иерархической системе управления летательными аппаратами/ В.К.Акинфиев, А.Г. Мамиконов, А.Д.Цвиркун//АиТ, N 5, 1978, С. 141153.

67. Крни-III М.У. Эволюция Центра управления полетами// ТИИ-ЭР, 1986, Т. 75, N3, С. 151-173.

68. Ковалев И.В. Автоматизированное формирование и оптимизация технологических циклов управления// В кн.: Новые материалы и технологии машиностроения.- М.: изд-во МГАТУ, 1993, С. 21-23.

69. Ковалев И.В. Автоматизированное проектирование технологических циклов управления космическими аппаратами// Труды 3-го Российско-китайского семинара по аэрокосмической технике (Ч. 1)/ Красноярск. САА, 1994.- С. 7-10.

70. Ковалев И.В. Автоматизированное формирование и программное обеспечение циклограмм управления космическими аппаратами// Материалы 3-го Российско-Китайского семинара по аэрокосмической технике (4.2)/ Красноярск. САА, 1994, с. 8-11.

71. Калинин В.Н. Теоретические основы управления операциями обслуживания подвижных объектов.- Д.: ВИКИ/ Учебное пособие, 1976, 95 с.

72. Головкин Б.А. Расчет характеристик и планирование параллельных вычислительных процессов.- М.: Радио и связь, 1983, 272 с.

73. Воеводин В.В. Математические модели и методы в параллельных процессах.- М.: Наука, 1986, 328 с.

74. Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация.- М.: Радио и связь, 1990, 256 с.

75. Юдин Д.Б., Горяшко А.П., Немировский А.С. Математические методы оптимизации устройств и алгоритмов АСУ.- М.: Радио и связь, 1982, 288 с.

76. Kovalev I. Computer-Aided Modelling of Production Cycles Optimal Sequence in: Letunovsky V.V.(Editor-in-chief): Problems of products quality assurance in machine-building: Proceedings of Int. Conf. KSTU, Krasnoyarsk, 1994, Pp. 43-48.

77. Antamoshkin A., Kovalev I. Computer-Aided Modelling of Spacecrafts Control Cyclograms in: J.Dolezal, J.Fidler (Eds.) Proceedings of 3rd IFIP WG-7.6 Working Conf. on Optimization-Based Computer-Aided Modelling and Design, Prague, UTIA, 1994, Pp. 18-21.

78. Ковалев И.В. Оптимизация технологических циклов управления системой автономных объектов// В сб.трудов: Оптимизация режимов работы систем электроприводов.- Красноярск: КГТУ, 1995, С. 7681.

79. Antamoshkin A., Kovalev I. Computer-aided modelling of aerospace control cyclograms// In: Dolezal J., Fidler J.(Eds): Optimization-Based Computer-Aided Modelling and Design, Proc. of 3rd IFIP WG-7.6 Working Conference Prague, UTIA, 1995, Pp. 67-72.

80. Kovalev I. and Davydenko O. Optimal Time Cyclograms of Spacecrafts Control Systems// In: "Advances in Modeling and Analysis, C", Vol.48, № 2-3, 1996, AMSE PRESS, Pp. 19-23.

81. Задачи оптимального выбора состава систем технических средств при многоэтапном процессе выполнения работ/ Кочетов Ю.А. -Препринт N 12, Новосибирск, Ин-т математики СО АН СССР, 1987, 47 с.

82. Чжу У.У., Лян Ц.К. Копирование и размещение программных модулей в системе распределенной обработки в реальном времени// ТИИЭР, 1987, Т. 75, N 5, С. 23-44.

83. Филлипс Д., Гарей а-Ди ас А. Методы анализа сетей: Пер. с англ.- М.: Мир, 1984, 496 с.

84. Kovalev I. Software Engineering of Spacecraft Control Technological Cycles// in: "Modelling, Measurement & Control, B", AMSE Press,Vol. 56, N 3, 1994.

85. Phillips D. Т., Ravindran A., Solberg James J. Operations research. Principles and practice, Willey, Inc., New York, 1976, 478 p.

86. Doherty W.Y., Kelisky R.P. Managing VM/CMS for User Effectivenes/IBM Syst. J. 18, 1, 1979, Pp. 143-163.

87. Phillips D. Т., Garsia-Diaz A. Fundamentals of network analysis, Prentice-Hall, Inc., Englewood Gliffs, New Jersy, 1981, 386 p.

88. Bhatnagar S.K. Network analysis techniques, Wiley Eastern Limited, New Delhi, 1986, 456 p.

89. Whitehouse G. E., Wechsler B. L. Applied operations research: a survey, Wiley, Inc., New York, 1976, 424 p.

90. Clasen U. Eine Moeglichkeit der numerischen Behandlung von zeitlich-stochastischen Netzplaenen//In: "Operations Research Proceedings", Springer Verlag Berlin-Heidelberg, 1994, Pp. 46-51.

91. Neumann K. Netzplantechnik// In: Grundlagen des Operations Research, Band 2. Springer-Verlag, Berlin/Heidelberg, 1989, Pp. 135-213.

92. Bauer J. A survey of methods for discrete optimum structural design// In: "Computer Assisted Mechanics & Engineering Sciences", N 1, 1994, Pp. 223-241.

93. Elbing A.O. Behavioral Decisions in Organizations// Scott, Foresman and Co., Glenview, IL, 1978.

94. Антамошкин A.H. Регулярная оптимизация псевдобулевых функций.- Красноярск: Изд-во Краснояр. ун-та, 1989, 160 с.

95. Растригин Л.А. Бинаризация задач оптимизации решений в САПР// В кн.: Моделирование и оптимизация проектных решений в САПР.- Таллин, 1983, 4.2, С. 84-87.

96. Antamoshkin A., Schwefel H.P., Torn A., Yin, G. and Zilinskas A. System Analysis, Design and Optimization. Ofset Press, Krasnoyarsk, 1993,312 р.

97. Antamoshkin A., Kovalev I. and Lytkina L. Optimization of composition of the program modules complex// 22 Jahrestagung "Mathematische Optimierung" (5 bis 10 April 1990, Sellin/Rugen), Yortragsanszuge, 1990, Pp. 11-16.

98. Antamoshkin A., Drach V. and Kovalev I. The problem of the control board complex software optimization// Conference of the International Assosiation on non-traditional Methods of Optimization.-Krasnoyarsk, 1992, Pp. 34-39.

99. Antamoshkin A., Lytkina L. The modular software for pseudoboolean optimization// IFIP Working Group Conference 7.6, (April 2-4), Den Haag, Nederland, 1990, Pp. 76-78.

100. Ковалев И.В., Соустин Б.П. Автоматизированное формирование оптимальных циклограмм управления автономными объектами// Труды 15-й НТК "Электронные и электромеханические системы и устройства"/ ГНПП "Полюс", Томск. 1996, С. 198-200.

101. Antamoshkin A., Kovalev I., Soustin В. Analysis and correction of control cyclograms// Program and Abstracts of Int. Symposium SOR'96. TU-Braunschweig (4-6 Sept. 1996); 1996, p. 83.

102. Kovalev I., Soustin B. Optimal realization of aerospace control cyclograms// Abstracts of Symposium on Operations Research (SOR'95), Passau, 1995, P. 196.

103. Neumann K., Steinhardt U. GERT Networks and the Time-Oriented Evaluation of Projects// Lecture Notes in Economics and Mathematical Systems, No. 172, Springer-Verlag, 1979, 332 p.

104. Neumann K. Stochastic Project Networks. Temporal Analysis, Scheduling and Cost Minimization// Lecture Notes in Economics and Mathematical Systems, No. 34, Springer-Verlag, 1990, 237 p.

105. Buecker M. Minimierung der maximalen erwarteten Verspaetung in EO- Netzplaenen// Oper. Res. Proceedings'87, Springer-Verlag, Berlin, 1987, Pp.502-509.

106. Delivorias P.N. Fruehste und spaeteste Termine bei GERT-Netzplaenen, Discussion Paper No. 126, Inst. f. Wirtschaftstheorie und Oper. Res., University of Karlsruhe, 1979, 44 p.

107. Ковалев И.В. Формирование и оптимальная реализация циклограмм управления космическими аппаратами// Тезисы докл. НТК "Проблемы техники и технологий 21-го века"; Красноярск. КГТУ, 1994.-С. 33.

108. Kovalev I. Optimal time cyclograms of spacecrafts control systems Abstracts of Int. AMSE Conference "SYS'95", Brno, July 3-5, 1995, p.27.

109. Kovalev I. Software Optimization Problem of Spacecrafts Control Technological Cycles Abstracts of CORS'94 Optimization Days Conference, Montreal (Canada), May 29-31, 1994, p.45.

110. Siedersleben J. Structural Questions with GERT Networks, ZOR No. 25, 1981, Pp. 79-89.

111. Neumann K. An Optimality Equation for Stochastic Decision Networks//Wiss. Zeitschrift Techn. Hochschule Leipzig, No. 8, 1984, Pp. 7987.

112. Ковалев И.В., Ступина А.А. Модельное и алгоритмическое обеспечение средств автоматизированного формирования технологических циклов управления// Вестник КГТУ: Сб.научн.трудов; под ред. Б.П.Соустина/КГТУ. Вып.5. Красноярск, 1996. С. 55-63.

113. Ashrafi N., Berman О. Optimization models for selection of programs, considering cost and reliability// IEEE Trans, on Reliability, Vol. 41, No. 2, 1992, Pp. 281-287.

114. Ashrafi N., Berman O. Optimization models for reliability of modular software systems// IEEE Trans, on Software Engineering, Vol. 19, No. 11, November 1993, Pp. 1119-1123.

115. Gayle J.B. Multiple Regression Techniques for Estimating Computer Programming Cost// J. Systems Mgmt., Feb. 1971, Pp. 13-16.

116. Ковалев И.В. Постановка задачи формирования комплекса программ управления системой автономных объектов// Оптимизация режимов работы систем электроприводов: Сб. научн. трудов/ Красноярск. КПП, 1990, С. 36-39.

117. Antamoshkin A., Kovalev I. and Lytkina L. Optimization of composition of the program modules complex// 20. Konferenz fuer Mathematische Optimierung: Vortragsanzuge/ Silin-Rugen, 1990, Pp. 9-12.

118. Ashrafi N. et al. Optimal Design of Large Software-Systems Using N- Version Programming// IEEE Trans, on Reliability, Vol. 43, No. 2, 1994, Pp. 344-350.

119. Yamada S., Osaki S. Optimal software release policies with simultaneous cost and reliability requirements. European J. Operations Research, Vol. 31, 1987, Pp. 46-51.

120. Драч В.В., Ковалев И.В. Оптимизация состава программ управления автономным объектом// Оптимизация режимов работы систем электроприводов: Сб. научн. трудов/ Красноярск. КрПИ, 1992, С. 26-30.

121. Randell В. System structure for software fault tolerance. IEEE Trans. Software Engineering, Vol. SE-1, 1975, Pp. 220-232.

122. Scott R.K. et al. Fault-tolerant software reliability modeling. IEEE Trans. Software Engineering, Vol. SE-13, 1987, Pp. 582-592.

123. Kovalev I. Modelling and Optimal Software of Spacecrafts Control Systems// Proc. of Int. AMSE Conf. on Systems Analysis, Control and Design, ("SYS'95"), Brno (Czech Republic), 1995, Pp. 17-27.

124. Kovalev I. Optimal base software composition of the spacecrafts control system// In: "Advances in Modelling and Analysis, C", Vol. 47, № 3, 1995, AMSE PRESS, Pp. 17-26.

125. Tillman F.L. Optimization techniques for system reliability with redundancy: A review. IEEE Trans. Reliability, Vol. R-28, 1977, Pp. 148155.

126. Antamoshkin A., Kovalev I. and Soustin B. Modelling and Optimization of Spacecrafts Control Software// In: J.Dolezal, J.Fidler (Eds.): System Modelling and Optimization, Proceedings of 17th IFIP TC7 Conf. Vol. 2, Prague, UTIA, 1995, Pp. 659-662.

127. Kovalev I. Optimization problem of Land- and Board Control Complex Software// in: Abstracts of Int. Conf. "Operations Research'94", TU Berlin, Berlin, 1994, p. 133.

128. Ковалев И.В. Оптимизация состава программного обеспечения режимов управления автономными объектами// Оптимизация режимов электропотребления промышленных предприятий и районов: Сб. научн. тр.- Красноярск. КИИ, 1990, С. 28-31.

129. Синтез оптимальных функциональных модулей обработки данных в АСУ/ Мамиконов А.Г., Ашимов А.А., Кульба В.В., Косяченко С.А. и др. М.: ИПУ. 1979. 48 с.

130. Ашимов А.А., Мамиконов А.Г., Кульба В.В. Оптимальные модульные системы обработки данных. Алма-Ата: Наука. 1981. 186 с.

131. Мамиконов А.Г., Кульба В.В., Косяченко С.А., Сидоров В.Н. Анализ технологий обработки данных при разработке типовых АСУ. Препринт ИПУ. М., 1986.

132. Мамиконов А.Г., Кульба В.В., Косяченко С.А. и др. Постановка задачи оптимизации программного обеспечения автоматизированных систем управления реального масштаба времени. М.: ИПУ, 1980. 43 с.

133. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов/ Пер. с англ. М.: Мир, 1981. 366 с.

134. Dunham R.J. Experiments in Software reliability: Life-Critical applications. IEEE Trans. Software Engineering, Vol. SE-12, 1987, Pp. 110123.

135. Hwang C.-L., Yoon K. Multiple Attribute Decision Making: Methods and Applications (A State-of-the-Art Survey)// Lecture Notes in Economics and Mathematical Systems. Springer-Yerlag, 1981, 478 c.

136. Лбов Г.С. и др. Об одном алгоритме распознования в пространстве разнотипных признаков// Вычислительные системы. 1973, Вып. 55, С. 98-107.

137. Лбов Г.С. Методы обработки разнотипных экспериментальных данных.- Новосибирск: Наука. Сиб. отд-ние, 1981. 160 с.

138. Айзерман М.А. и др. Некоторые аспекты общей теории выбора лучших вариантов.- М.: ИПУ, 1985.

139. Клиланд Д., Кинг В. Системный анализ и целевое управление. М.: 1974.

140. Хениджер К.Л. Описание требований к программному обеспечению для сложных систем: новые методы и их применение// В кн.: Требования и спецификации в разработке программ. М.: Мир, 1984, С. 106-134.

141. Zahedi F., Ashrafi N. Software reliability allocation based on structure, utility, price, and cost.// IEEE Trans, on Software Engineering, Vol. 17, No. 4, April 1991, Pp. 345-356.

142. Zahedi F. Qualitative programming for selection decisions// Comput. Opns. Res., Vol. 14, No. 5, 1987, Pp. 395-407.

143. Santhanam R., Kuparisis J. A multiple criteria decision model for information system project selection// Comput. Opns. Res., Vol. 22, No. 8, 1995, Pp. 807-818.

144. Hwang C.-L., Lai Y., Liu T.-Y. A new approach for multiple abjective decision making// Computers Ops. Res., Vol. 20, No. 8, 1993, Pp. 889-899.

145. Tapia C.G., Murtagh B.A. Interactive fuzzy programming with preference criteria in multiobjective decision-making// Computers Ops. Res., Vol 18, No. 3, 1991, Pp. 307-316.

146. Zimmermann H.-J. Fuzzy Sets. Decision Making, and Expert Systems.- Kluwer Academic Publishers, 1987, 505 c.

147. Yager R.R. Fuzzy Decision Making including unequal objectives// Fuzzy Sets and Systems 1, 1978, Pp. 87-95.

148. Орловский С.А. Проблемы принятия решений при нечеткой исходной информации.- М.: Наука, 1981, 208 с.

149. Zimmermann H.-J., Zadeh L.A. Gaines B.R. (Eds.) Fuzzy Sets and Systems Analysis. New York, 1984, 386 p.

150. Zimmermann H.-J., Gutsche L. Multi-Criteria Decision Making.-Springer, 1991, 348 p.

151. Нас A. Using a software reliability model to design a telecommunications software architecture// IEEE Trans, on Reliability, Vol. 40, No. 4, 1991, Pp. 488-494.

152. Kleine A. Entscheidungen bei ungewissen Alternativenmengen// Diskussionsbeitraege Fachbereich Wirtschaftswissenschaft, Uni. des Saarlandes, A 9602, 1996, 22 p.

153. Eisenfuehr F., Weber M. Rationales Entscheiden, Berlin: SpringerVerlag, 1993, 356 p.

154. Kovalev I. Multicriteria optimization problems when realizing the spacecrafts control software// Diskussionsbeitraege Institut f. Mathematik, Humboldt Uni. Berlin, 1996, 15 p.

155. Kovalev I. Modelbeschreibung, Optimierung und die optimale Software der technologischen Steuerungszyklen von Satteliten// Sachstandsbericht Flughafen Frankfurt Main Stiftung, Dezember 1996, 6 p.

156. Snelting G. Reengineering of configurations based on Mathematical Concept Analysis// ASM Trans, on Software Engineering and Methodology, Vol. 5, No. 2, April 1996, Pp. 146-189.

157. Callison R.H. A time-sensitive object model for real-time systems// ASM Trans, on Software Engineering and Methodology, Vol. 4, No. 3, July 1995, Pp. 287-317.

158. Zeleny M. A concept of compromise solutions and the method of the displaced ideal// Computers Ops. Res. 1, 1974, Pp. 479-496.

159. Zeleny M. Multiple Criteria Decision Making.- McGraw-Hill, New York, 1982, 358 p.

160. Oral M., Kettani O. Modelling the process of multiattribute choice//J. opl. Res. Soc. 40, 1989, Pp. 281-291.

161. Levendel Y. Reliability analysis of large software systems: Defect data modeling// IEEE Trans. Software Engineering. Vol. 16, 1990, Pp. 141152.

162. Sobieski-Sobieszanski J. Optimization by Decomposition in Structural and Multidisciplinary Applications// In: Optimization of Large Structural Systems NATO/DFG ASI Conference Berctesgaden, 1991, Germany, Pp. 127-156.

163. Koski I. Multicriterion structural optimization, State of the Art// Lecture Notes "Optimization of Large Structural Systems", N 3, NATO/DFG ASI, 1991,356 p.

164. Antamoshkin A., Volovik M. Distributed Decision Support System for Design// In: Absracts of third Conference on Optimization-Based Computer-Aided Modelling and Design, Prague, 1994, Pp. 123-126.

165. Anandalingam G., Frierz, T.L. Hierarchical optimization: an introduction//Annals of Operations Research, Vol. 34, 1992, 278 p.

166. Eschenauer H., Koski, I., Osyczka A. Multicriteria Design Optimization Procedures and Application, Springer-Verlag, Berlin, 1990, 458 p.

167. Rosenman M., Gero J. Reducing the Pareto Optimal Set in Multicriteria Optimization// Eng.Opt., Vol. 8, 1985, Pp. 1123-1137.

168. Osyczka A., Montusiewicz J. A Random—Search Approach to Multicriterion Discrete Optimization// In: Discrete Structural Optimization. Springer-Verlag, Berlin, 1994, Pp.112-121.

169. Ester J. Eine Methode zum mehrkriterialen Varianten vergleich bei Unsicherheit// WZ der TH Ilmenau, 1985, No. 2, Pp. 35-48.

170. Kovalev I. Optimal Base Software Composition of Spacecrafts Control Systems// Int. AMSE Conference "Systems" (SYS'94), Lyon (France), July 4-6, 1994, p.l 12.

171. Ester J., Troeltzsch F. On generalized notions of efficiency in multicriteria decision making// Syst. Anal. Model. Simul., No. 2, 1986, Pp. 238-246.

172. Ester J. Concepts of efficiency and fuzzy aggregation rules// In: Large-Scale Modelling and Interactive Decision Analysis: Lecture Notes in Economics and Mathematical Systems, No. 273, Springer-Yerlag, 1986, Pp. 174-213.

173. Nakayama H.J. On the components in interactive multiobjective programming methods// In: Lecture Notes in Economics and Mathematical Systems, Springer, New York, 1985, Pp. 234-247.

174. Narasimhan R. Goal programming in a fuzzy environment// Dec. Sci. 11, 1980, Pp. 325-336.

175. Hannan E.L. Contrasting fuzzy goal programming and fuzzy multicriteria programming//In: Dec. Sci. 13, 1982, Pp. 337-339.

176. Wierzbicki A.P. A mathematical basis for satisficing decision making// In: Math. Model., 3, 1982, Pp. 381-405.

177. Dyson R.G. Maximum programming, fuzzy linear programming and multi- criteria decision making. J. Opl.Res. Soc., 31, 1980, Pp. 263-267.

178. Carlsson C. Tackling an MCDM-problem with the help of some results from fuzzy set theory// Eur. J. Ops Res, 10, 1982, Pp. 270-281.

179. Tapia C.G., Murtagh B.A. The use of preference criteria in interactive multiobjective mathematical programming. Asia-Pacific J. Opl Res, 6, 1989, Pp. 131-147.

180. Bellman R.E., Zadeh L.A. Decision-making in a fuzzy environment. Mgmt Sci, 16, 1970, Pp. 141-164.

181. Osyczka A. Multicriterion Optimization in Engineering. Horwood, England, 1984.

182. Макаров И.М. и др. Теория выбора и принятия решений: Учебное пособие.- М.: Наука, 1982.- 238 с.

183. Губанов В.А. и др. Введение в системный анализ/ Под ред. JI. А. Петросяна,- Л.: ЛГУ, 1988, 232 с.

184. Ларичев О.И. Наука и искусство принятия решений. М.: Наука, 1979.

185. Подиновский В.В. Об относительной важности критериев в многокритериальных задачах принятия решений.- В кн.: Многокритериальные задачи принятия решений. М.: Машиностроение, 1978, С. 4882.

186. Murtagh В.М. and Saunders М.А. MINOS 5.2 User's Guide. Technical Report SOL 83-20(R): Systems Optimization Laboratory, Stanford, Galif, 1988.

187. Brooke A., Kendrick D., Meeraus A. GAMS: A User's Guide. The Scientific Press, Galif, 1988.

188. Ester J. Zu einigem Anwendungen der mehrkriteriellen Entscheidungsfindung auf ingenieurwissenschaftliche Probleme// OR-Spektrum, No. 9, 1987, Pp. 17-25.

189. Джофрион А. и др. Решение задач оптимизации при многих критериях на основе человеко-машинных процедур.- М.: Мир, 1976.

190. Лапко A.B. и др. Обучающиеся системы обработки информации и принятия решений. Непараметрический подход.- Новосибирск: Наука. Сиб. издательская фирма РАН, 1996.- 296 с.

191. Технологические циклы управления системой космических аппаратов на втором этапе. № 5/5954-85.- Красноярск: ЦТА НПО ПМ, 1985, 158 с.

192. Система автоматизации разработки алгоритмов логического управления автономного объекта: Отчет о НИР/ КрПИ, Руководитель Б.П.Соустин.- N 325,- Красноярск: ЦТА НПО ПМ, 1986, 160 с,-Отв.исп. Ковалев И.В.

193. Методика оценки эффективности, оперативных и вероятностных характеристик АСУ космическими аппаратами. № Ф9063/87.-Красноярск: ЦТА НПО ПМ, 1987, 156 с.

194. Система программирования язык РЕАЛ. Система автоматизации построения технологических циклов управления: Отчет о НИР/ КрПИ, Руководитель Б.П.Соустин,- № 3514/89.- Красноярск: ЦТА НПО ПМ, 1989, 115 с,- Отв.исп. Ковалев И.В.

195. Ковалев И.В. и др. Диалоговая система формирования технологического цикла управления автономным объектом// Устройства и системы автоматики автономных объектов: Тез. докл. НТК.- Красноярск., 1987, С. 60-61.

196. Kovalev I. and Davydenko О. Modelling and Optimal Software of Spacecrafts Control Systems// In: "Advances in Modeling and Analysis, C",Vol.48, № 2-3, 1996, AMSE PRESS, Pp. 35-44.

197. Драч B.B. Автоматизация разработки программного обеспечения логики функционирования космических аппаратов. Диссертация на соискание ученой степени кандидата технических наук. Красноярск: КГТУ, 1995, 181с.

198. Хартов В.В., Князькин Ю.М., Ганженко В.П. и др. Анализ современной технологии разработки БКУ. HT отчет по НИЭР "Салют-С". Этап 0201. Красноярск, 1990, 327 с.

199. Князькин Ю.М., Хартов В.В. и др. Построение на встроенной ЦВМ интерпретатора алгоритмов логического управления сложнымобъ.ектом// Проблемы управления движением и навигацией, No. 22, 1987.

200. Kovalev I. Optimization-based design of software of the spacecraft control systems// In: "Modelling, Measurement and Control, B", Vol.56, №1, 1994, AMSE PRESS, Pp. 29-34.

201. Kovalev I., Davydenko O. Interactive system for spacecraft technological control cycle construction// Program and Abstracts of Int. Symposium SOR'96. TU-Braunschweig (4-6 Sept. 1996); 1996, p. 195.

202. Базовый состав модулей ПО управления КА типа 11Ф6541. Модуль1. Выполняемые функции1. БТ 001. ЭТ 1011. БТ 001 БТ 021. БТ 048Т 071. БТ 08

203. БТ 10 БТ 11 БТ 12 8Т 13 8Т 17 8Т 50 ЗТ 60 БТ21 БТ Б1ЛТ РРШРи КРВООМБ

204. Корневой сегмент, управляет программным комплексом подготовки ИД планирования и управления (ПК ПИД ПУ) в целом

205. Набор оператором формы по трафарету и исправление форм в режиме диалога

206. Выдача страницы каталога средств, изделий и режимов

207. Запись формы в ЦБД Выбор режима работы Удаление формы Копирование (размножение) Печать формы на АЦПУ Переименование

208. Перезапись формы на новый трафарет Чтение формы из ЦБД Удаление формы из ЦБД

209. Модуль поддержки узла вычислительной сети ЛВС-1 Формирование на основе входных данных Ф524(5), Ф896 (7) выходных баллистических данных Ф500-519, Ф570

210. RDVSGMS Формирование на основе ИД экрана документов Ф571 (5,6) и экранных документов с записью в системный архив

211. Базовый модуль инициализации загрузки КП УПКА Обработка служебной информации Ф324 Формирование документа экрана в структуре суперкадра Ф007 (ВТ) и Ф008 (ПТ)

212. Формирование протокола работы КП КНП (Ф322) на основе информации системного архива (Ф841, 842) и внутренней входной информации: координаты АКНП; служебная и обобщенная информация по 4-м КА (Ф323, 324)

213. Подготовка результатов статистической обработки (Ф321) на основе Ф005, 006, копий из архива для оценок Ф893 (ЭИ) и Ф894 (ЧВП)

214. Запрос, анализ и уточнение ЭИ и ЧВП (Ф841-844); копирование информации из системного архива и подготовка внутренней информации Ф321-326 для KNP1-KNP3, KNP6

215. PSY По инициативе ПК ОИТ РМТ формируются квитанциио наличии форм КПП PPD Формирование квитанции о наличии в архиве формспецинформации

216. PTS Выдача для ПК ОИТ РМТ квитанций по структуре1. КПИ

217. DSM Формирование по инициативе ПК ОИТ РМТ квитанций о наличии в архиве форм специнформации (ЧВП) PID7920 Обеспечение приема TM-информации от ПМО НКУчерез СПО-1.2 и подготовка ИД в структуре ID5421, FTMI

218. ARXTMI Документирование (FPICT) на основе информации

219. TARM Подготовка ИД в структуре ID5421 по ТМИ от ПМО

220. НКУ через СПО 1.2 MSH Подготовка ИД в структуре ARXTMI по ТМИ от

221. ПМО НКУ через СПО 1.2 AKKD Подготовка ИД в структуре FFMI по ТМИ от ПМО1. НКУ

222. Поэтапное распределение задач обработки информации и управления для соответствующих типов ТЦУ (3 типа)

223. Номер этапа ТЦУ 1- го типа ТЦУ 2-го типа ТЦУ 3-го типа

224. Этап 1 1 —3 — 5 — 6 1 — 5 — 6 1—6

225. Этап 2 2 — 5 2 — 3 — 5 2— 3 — 5

226. Этап 3 1—3 — 5 — 6 2 — 5 1—3

227. Этап 4 2 — 5 1 — 3 — 6 2— 3 — 5

228. Этап 5 3 — 4 — 5 2 — 5 2 — 5

229. Этап 6 1—3 — 5 — 6 1 — 3 — 4- -6 1 — 1—61. Этап 7 3 — 5 1 —5