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

ВВЕДЕНИЕ.б

ГЛАВА 1. Проблемы и задачи проектирования программного и информационного обеспечения систем обработки данных и управления реального времени на долговременных орбитальных станциях.

§ 1.1. Роль бортовой вычислительной техники и основные требования к автоматизируемым системам обработки данных и управления долговременных орбитальных станций

§ 1.2. Особенности реализации структуры бортовой вычислительной системы, режимов, функций и основных задач управления международной космической станцией "Альфа" и ее Российским сегментом.

§ 1.3. Особенности разработки программного и информационного обеспечения систем обработки данных реального времени в автоматизированных системах управления долговременных орбитальных станций.

§ 1.4. Основные положения и реализация концепции

КОПОРФИС для проекта МКС "Альфа"

КРАТКИЕ ВЫВОДЫ.

ГЛАВА 2. Модели и методы формирования и анализа исходных требований к технологии и характеристикам решения функциональных и диалоговых задач в человеко-машинных системах обработки данных и управления на долговременных орбитальных космических станциях.

§ 2.1. Методы контроля реализуемости и формирования требований к автоматизированной системе обработки данных и управления долговременных орбитальных космических станций

§ 2.2. Формализованные методы анализа технологии обработки данных, подготовки исходной информации и построения интегрированного графа задач

СОД РВ

§ 2.3. Формализованные методы формирования и анализа сценариев решения диалоговых задач в программно-техническом комплексе системы управления ДОС

КРАТКИЕ ВЫВОДЫ.

ГЛАВА 3. Задачи синтеза программного и информационного обеспечения модульных СОД РВ ДОС.

§ 3.1. Проблемы, задачи и критерии синтеза оптимальных модульных СОД РВ ДОС

§ 3.2. Основные требования к функционированию программного и информационного обеспечения СОД

РВ ДОС

§ 3.3. Синтез оптимальных модульных СОД РВ ДОС, использующих бесприоритетную дисциплину обслуживания

§ 3.4. Синтез оптимальных модульных СОД РВ ДОС, использующих приоритетные дисциплины обслуживания.

§ 3.5. Синтез системы буферных массивов информационного обеспечения бортовых комплексов управления ДОС

§ 3.6. Выбор оптимальной стратегии хранения и обработки информации в базах данных системы управления ДОС

§ 3.7. Методы решения задач синтеза оптимальных модульных СОД РВ.

КРАТКИЕ ВЫВОДЫ.

ГЛАВА 4. Модели и методы анализа процессов возникновения нештатных ситуаций при управлении функционированием ДОС.

§ 4.1. Методика определения и анализа критичности функций и нештатных ситуаций в ДОС

§ 4.2. Методы моделирования и анализа развития НШС

§ 4.3. Методы анализа и предупреждения НШС на основе построения структурных компонент и матриц взаимосвязи.

КРАТКИЕ ВЫВОДЫ.

ГЛАВА 5. Система комплексной отработки программного обеспечения ДОС на основе ранней функциональной интеграции и сценарного подхода.

§ 5.1. Модели оптимизации процессов комплексной отладки ПО ДОС с использованием сценарного подхода

§ 5.2. Методы отладки ПО СОД РВ ДОС по показателям функциональной корректности.

§ 5.3. Организация отработки программного обеспечения

МКС "Альфа" .42

§ 5.4. Программно-технический комплекс автоматизированной системы комплексной отработки программного обеспечения МКС "Альфа"

КРАТКИЕ ВЫВОДЫ.

ГЛАВА 6. Разработка структуры, технического, программного и информационного обеспечения системы управления

Российским сегментом МКС "Альфа".

§ 6.1. Основные положения концепции автоматизированного управления Российским сегментом МКС "Альфа"

§ 6.2. Основные характеристики программно-технического комплекса МКС "Альфа"

§ 6.3. Функции служебного программного обеспечения МКС

Альфа"

КРАТКИЕ ВЫВОДЫ.

Актуальность темы

В настоящее время результаты космических исследований все шире проникают в самые различные области человеческой деятельности: здравоохранение, метеорология, защита окружающей среды, сельское хозяйство, специальные производственные процессы и др. Исключительно высокую роль в интенсификации этого процесса играют долговременные орбитальные станции (ДОС), предназначенные для научной, производственной, испытательной, эксплуатационной, строительно-монтажной координационно-управляющей деятельности людей в космосе в течение длительного периода времени.

Функции управления режимами работы станции, обеспечения условий жизнедеятельности ее экипажа возложены на бортовые вычислительные машины (БЦВМ) и системы (ВВС), обеспечивающие функционирование различных систем обработки данных и управления ДОС в реальном масштабе времени (СОД РВ ДОС).

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

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

Цель работы. Целью диссертационной работы является разработка моделей, методов и инструментальных средств создания оптимальных модульных автоматизированных информационно-управляющих систем реального времени долговременных орбитальных станций и их использование при проектировании систем управления МКС «Альфа».

Методыисследования . Основные результаты диссертационной работы получены и математически обоснованы с использованием аппарата теории' исследования операций, теории массового обслуживания-, теории графов, методов оптимизации и других раздёл0в современной теории управления, а также путем проведения практических и экспериментальных расчетов на ЭВМ.

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

На основе исследования ДОС, как специального объекта управления, разработаны модели, методы и инструментальные средства создания модульного программного и информационного обеспечения системы обработки данных реального времени (СОД РВ) МКС «Альфа».

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

Предложена единая методология определения требований и ограничений к реализуемым в СОД РВ ДОС функциям и задачам с учетом их интерфейса и характеристик членов экипажа станции и персонала наземного комплекса управления (НКУ), которая реализуется с использованием методов и средств имитационного моделирования и взаимосвязанной совокупности матричных моделей различного типа.

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

Представлены и решены задачи синтеза программного и информационного обеспечения модульных СОД РВ ДОС, работающих в режиме квантования времени обслуживания бесприоритетных и приоритетных заявок пользователей. Основными показателями, характеризующими эффективность функционирования СОД РВ ДОС являются их производительность и коэффициент готовности. Под производительностью СОД РВ ДОС понимается число заявок, обслуживаемых системой в единицу времени. Коэффициент готовности СОД РВ ДОС определяется как вероятность того, что система будет работать в произвольный момент времени или на заданном интервале времени. Задачи синтеза структуры СОД РВ ДОС рассматриваются для различных алгоритмов организации очередей при бесприоритетном обслуживании заявок: раньше пришел - раньше обслужен (РПРО), круговое циклическое обслуживание (КЦП), круговое циклическое обслуживание с доприбытием (КЦД), частично круговое обслуживание (ЧКЦ).

Для наземного комплекса управления ДОС рассмотрены стратегии оптимизации хранения и обработки данных в СУБД. Решена задача обеспечения требуемого уровня достоверности информации, хранимой в БД и получаемой на основе данных из БД, по критериям, коррелированным с максимизацией достоверности информации в БД с учетом ограничений на структуру и состав записей БД, структуру связей между ними, определяемых характеристиками СУБД. Разработаны основные положения методики по определению и анализу критичности функций и нештатных ситуаций на этапе космического полета МКС «Альфа».

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

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

На основе анализа основных требований к этапам, элементам и операциям системы комплексной отработки ПО на всех фазах жизненного цикла производства ПО разработана методология реализации процесса построения сценариев комплексной отладки ПО ДОС и его оптимизации по временным и стоимостным критериям.

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

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

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

Разработанные методы, алгоритмы и программные средства могут быть использованы при создании оптимальных модульных СОД РВ ДОС в научно-исследовательских институтах, проектных организациях и вычислительных центрах, разрабатывающих, внедряющих и эксплуатирующих системы обработки данных исследуемого класса и методы их автоматизированного проектирования.

Исследования проводились в соответствии со следующими официальными документами:

1.Соглашение между правительством Канады, правительством государств-членов Европейского космического агентства, правительством Японии, правительством Российской Федерации и правительством США относительно сотрудничества по МКС гражданского назначения. (Межправительственное соглашение по МКС, 1998 г.).

2.Меморандум о взаимопонимании между РКА и HACA относительно сотрудничества МКС гражданского назначения.

3.Соглашение между правительствами России и США от 16.12.94 г. по сотрудничеству в области исследования космического пространства в мирных целях (ратифицированное Государственной Думой).

4.Планы работ РАН РФ и РКК «Энергия».

Внедрение. Эффективность разработанных в диссертации моделей и методов проектирования оптимальных модульных СОД РВ ДОС подтверждена положительным опытом их применения в различных организациях. При непосредственном участии автора они внедрялись при разработке: программного и информационного обеспечения систем управления МКС «Альфа» и других объектов специального назначения.

Использование разработанных методов, алгоритмов и программ позволило сократить сроки проектирования и внедрения программного обеспечения и информационной базы данных СОД РВ ДОС в 2-5 раз по сравнению с традиционными способами их разработки.

Личный вклад. Все основные положения и результаты, выносимые на защиту, получены автором самостоятельно.

Апробация работы. Результаты диссертационной работы докладывались и обсуждались на втором межведомственном научно-практическом семинаре «Проблемы и технологии создания и использования космических систем и комплексов на базе малых КА и орбитальных станций» (ГК НПЦ им. М.В.

Хруничева, Москва, 1998 г.); международной научно-практической конференции «Управление в XX веке: итоги и перспективы» (РГГУ, Москва, 1998 г.); международной конференции по проблемам управления (ИПУ РАН, Москва, 1999 г.); юбилейной международной научно-практической конференции «Теория активных систем » (ИПУ РАН,

Москва, 1999 г.); 6, 7 и 8-й международных конференциях «Проблемы управления безопасностью сложных систем» (ИПУ РАН, Москва, 1998, 1999, 2000 гг.) и других ведомственных и республиканских конференциях и совещаниях.

Публикации. По теме диссертации автором опубликованы 40 печатных работ.

Структура и объем диссертации. Диссертация состоит из введения, шести глав, заключения, списка литературы и приложения. Работа содержит 532 страниц машинного текста, 46 рисунков, 19 таблиц, а также список литературы (137 наименований).

ЗАКЛЮЧЕНИЕ

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

1.В результате проведенных исследований, анализа и обобщения опыта проектирования и эксплуатации автоматизированных систем реального времени различного класса и назначения решена важная народнохозяйственная задача, заключающаяся в создании теоретических основ, моделей и методов анализа, синтеза и отладки оптимальных модульных информационно-управляющих систем специального класса объектов - долговременных орбитальных станций. На основе исследования ДОС как специального объекта управления разработаны модели, методы и инструментальные средства создания модульного программного и информационного обеспечения системы обработки данных реального времени (СОД РВ) МКС «Альфа». На основе единой методологии и принципов модульности разработаны комплексный подход, методы формализации, модели, алгоритмы и программы проектирования оптимальных модульных СОД РВ ДОС, обеспечивающие анализ технологии обработки данных, синтез программного и информационного обеспечения и его комплексную отладку.

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

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

3.Разработаны основные положения концепции комплексной отработки модульного программного обеспечения (ПО) МКС «Альфа», обеспечивающей его эффективную разработку и отладку на основе использования прототипов ПО, итеративной верификации требований, ранней функциональной интеграции и сценарного подхода. В рамках предложенной концепции на основе существующих методов и средств диагностического анализа сложных систем обработки данных и управления, включая САЭЕ-технологии, разработана единая методология определения требований и ограничений к реализуемым в СОД РВ ДОС функциям и задачам с учетом их взаимосвязей и характеристик пользователей, включая экипаж станции и персонал НКУ, обеспечивающая формирование необходимых исходных данных для синтеза оптимальной структуры программного обеспечения системы. Предложенная методология позволяет существенно (в 5-10 раз) снизить общее число ошибок в техническом задании на разрабатываемую СОД РВ ДОС.

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

4.Разработана имитационная модель, предназначенная для использования в средствах комплексного моделирующего стенда и позволяющая превентивно диагностировать и решать проблемы разработки эффективной системы «человек - машина», включая корректное определение требований к программно-техническому комплексу СОД РВ ДОС и квалификации членов экипажа станции. Модель обеспечивает получение следующих количественных характеристик: значения ограничений по реализации функциональных и диалоговых задач, приоритеты задач, режимов и технологий их реализации; эффективность ЧМК ДОС как функция численности экипажа и времени выполнения задания; времена реализации задач и полетных заданий; средняя рабочая нагрузка на членов экипажа ДОС (в человеко-часах); время на сверхурочные работы и ликвидацию нештатных ситуаций.

5.Рассмотрен состав критериев и ограничений и особенности постановки задач синтеза структуры программного и информационного обеспечения применительно к СОД РВ ДОС с бесприоритетным обслуживанием заявок в режиме разделения времени на однопроцессорных ЭВМ и с приоритетным обслуживанием заявок в операционных системах реального времени.

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

7.Разработана методика классификации элементов конфигурации программного обеспечения по категориям критичности для Российского сегмента, интегрированного с Европейским автоматическим транспортным кораблем. Предложена совокупность матричных моделей, обеспечивающая формальный анализ и структурирование моделей развития НШС и ориентированная на подготовку в диалоговом режиме информации для последующего анализа и предупреждения НШС.

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

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

На основе анализа основных требований к этапам, элементам и операциям системы комплексной отработки ПО на всех фазах жизненного цикла производства ПО разработана методология реализации процесса построения сценариев комплексной отладки ПО ДОС, и его оптимизации по временным и стоимостным критериям.

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

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

9.Разработана функциональная структура системы управления Российским сегментом МКС «Альфа», включающая уровни управления служебного модуля и режимами Российского сегмента, управления режимами бортовых систем и комплексными режимами, управления приборами, управления обменом информацией в рамках конкретной операционной среды. Разработаны принципы и технические решения по управлению модулями Российского сегмента от наземного комплекса управления и экипажа станции. Разработана структура комплекса технических средств бортовой вычислительной системы PC МКС «Альфа», включающая центральную вычислительную машину, терминальную вычислительную машину, компьютер центрального поста, компьютеры Laptop в составе поста оператора служебного модуля, которые связаны между собой информационными магистралями, работающими в соответствии с ГОСТ 26765.52-87 (MIL STD 1553В).

Разработаны структура программного и информационного обеспечения бортовой вычислительной системы PC МКС «Альфа», технические решения, определяющие назначение, функции и взаимосвязи программных модулей и соответствующего информационного обеспечения, которые гарантируют устойчивое функционирование программно-технического комплекса, реализацию механизма программно-временного управления функциями станции, обработку и хранение контекстных данных для рестарта ЦВМ и ТВМ, полноценный контроль аварийных событий и нештатных ситуаций на PC.

10. Эффективность разработанных в работе теоретических положений, моделей и методов подтверждена положительным опытом их использования при разработке модульного программного и информационного обеспечения систем управления МКС «Альфа» и других объектов специального назначения.

1.Глушко В-П. Развитие ракетостроения и космонавтики в СССР. - 2-е изд., доп. - М.: Машиностроение, 1981.

2. Хауссерман В. Требования к управлению в проектах американских долговременных орбитальных станций. «Вопросы ракетной техники», 1972, № 4, с. 57 73.

3. Успенский Г.Р. Космонавтика XXI М.: «Инвенция», 1994.

4. Шаталов В.А., Селетков С.Н., Скребушевский Б. С. Применение ЭВМ в системе управления космическим аппаратом. М.: «Машиностроение», 1974.

5. Бранец В.Н., Микрин Е.А., Вишнеков В.Е., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление радиотехнической системой управления и связи «Регул». 351.00578-01 81 02-20.

6. Бранец В.Н., Микрин Е.А., Романов С.Ю., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление объединенной двигательной установкой (ОДУ). 351.0057801 81 02-5.

7. Бранец В.Н., Микрин Е.А., Романов С.Ю., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление включением и отключением КД. 351.00578-01 81 02-6.

8. Бранец В.Н., Микрин Е.А., Романов С.Ю., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление дозаправкой топлива. 351.00578-01 81 02-7.

9. Бранец В.Н., Микрин Е.А., Вишнеков В.Е., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление телевизионной системой TBC. 351.00578-01 81 02-8.

10. Бранец В.Н., Микрин Е.А., Вишнеков В.Е., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление телефонно-телеграфной свзью (СТТС). 351.00578-01 81 029.

11. Бранец В.Н., Микрин Е.А., Вишнеков В.Е., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление бортовой радиотехнической системой «Лира». 351.00578-01 81 02-10.

12. Бранец В.Н., Микрин Е.А., Дроботун В.Е., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление информационной телеметрической системой (ИТС) БИТС2-12. 351.00578-01 81 02-11.

13. Бранец В.Н., Микрин Е.А., Зернов A.C., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление системой электропитания (СЭП). 351.00578-01 81 02-12.

14. Бранец В.Н., Микрин Е.А., Зернов A.C., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление системой ориентации солнечных батарей (СОСБ). 351.00578-01 81 02-13.

15. Бранец В.Н., Микрин Е.А., Сыромятников B.C., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление системой стыковки с внутренним переходом (ССВП). 351.00578-01 81 02-14.

16. Бранец В.Н., Микрин Е.А., Романов С.Ю., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление системой обеспечения теплового режима (СОТР) . 351.00578-01 81 02-15.

17. Бранец В.Н., Микрин Е.А., Брюханов H.A., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление раскрытием внешних элементов конструкции (ВЭК). 351.00578-01 81 02-16.

18. Бранец В.Н., Микрин Е.А., Романов С.Ю., Карпов Ю.С. и др. Пояснительная записка. ПО ТВМ. Управление системой аварийного мониторинга. 351.00578-01 81 02-17.

19. Микрин Е.А. Опыт создания высоконадежных вычислительных систем реального времени (проект МКС «Альфа»). Проблемы регионального и муниципального управления. Труды международной конференции, РГГУ, М., 1999.

20. Бранец В.Н., Микрин Е.А., Самитов P.M. ВВС. Программа и методика испытаний. Часть 2. Испытания ВВС в трактах передачи информации МКС. Этап 1. 17КС.ЗЗЮ ООООА-О ПМ1.

21. Бранец В.Н., Микрин Е.А., Самитов P.M. ВВС. Программа и методика испытаний. Часть 3. Испытания ВВС в трактах передачи информации МКС. Этап 2. Программа испытаний. 17КС.ЗЗЮ ООООА-О ПМ2.

22. Бранец В.Н., Микрин Е.А., Самитов P.M. ВВС. Программа и методика испытаний. Часть 4. Испытания БВС в трактах передачи информации МКС. Этап 2. Методика испытаний. 17КС.ЗЗЮ ООООА-О ПМЗ.

23. Микрин Е.А., Яковлева Т.А. Оценка сложности программного обеспечения систем управления бортовыми системами КА, РКТ серия XII, № 1, 1989.

24. Микрин Е.А., Яковлева Т. А. Оценка надежности программного обеспечения систем управления бортовыми системами космических аппаратов, РКТ серия XII, № 4, 1989 .

25. Бабков О.И., Бранец В.Н., Микрин Е. А. и др. Проект архитектуры ПО ЦВМ СМ, интегрированного с ATV. ATV-RSCE-037.01.

26. Бабков О.И., Бранец В.Н., Микрин Е. А. и др. Проект архитектуры ПО ТВМ СМ, интегрированного с ATV. ATV-RSCE-037.02.

27. Бранец В.Н., Микрин Е.А. и др. Описание моделей Российского сегмента. П33850-037.

28. Микрин Е.А., Плескачев А.Н. Математическая модель СМ. (Руководство пользователя). П33518-037.

29. Липаев В.В. Надежность программных средств. Серия «Информатизация России на пороге XXI века». М.: СИНТЕГ, 1998.

30. Липаев В. В. Отладка сложных программ: Методы, средства, технология. М.: Энергоатомиздат, 1993.

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

32. Липаев В. В. Системное проектирование сложных программных средств для информационных систем. Серия «Информатизация России на пороге XXI века». М.: СИНТЕГ, 1999.

33. Боэм В., Браун Дж., Каспар X. и др. Характеристики качества программного обеспечения / Пер. с англ. Е.К. Масловского. М.: Мир, 1981.

34. Трахтенгерц Э.А. Программное обеспечение параллельных процессов. М.: Наука, 1987.

35. Старовойтов В.Н., Захаров Ю.Д., Микрин Е.А. «Средства автоматизации обработки ПО ДИЛ», РКТ серия XII, № 3, 1987.

36. Микрин Е.А., Захаров Ю.Д. «Оптимизация ресурсов ПО ДИЛ», РКТ серия XII, № 3, 1987.

37. Микрин Е.А., Аббасов Э.М. «Применение сетей Петри при разработке и отработке ПО СУБС КА», РКТ серия XII, № 4, 1989.

38. Микрин Е.А. Особенности структуры программного обеспечения бортовой вычислительной системы российского сегмента МКС «Альфа». Труды шестой международнойконференции. Проблемы управления безопасностью сложных систем, ИПУ РАН, СпбГУ, 1999.

39. Бабков О. И., Бранец В.Н., Микрин Е. А. и др. БКУ. Программное обеспечение ТВМ. Техническое задание. ТЗ.0133.249.

40. Бабков О.И., Бранец В.Н., Микрин Е.А., Гусев С.И. и др. БКУ. Программное обеспечение ЦВМ. Техническое задание. ТЗ.0133.250.

41. Бабков О. И., Бранец В.Н., Микрин Е.А. и др. БКУ. Программное обеспечение КЦП. Техническое задание. ТЗ.0133.251.

42. Бабков О.И., Бранец В.Н., Микрин Е.А., Гусев С.И. и др. Пояснительная записка. ПО ЦВМ. Режимы PC. 351.00578-01 81 01-3.

43. Бабков О.И., Бранец В.Н., Микрин Е.А., Гусев С.И. и др. Пояснительная записка. ПО ЦВМ. Управление PC МКС. 351.00578-01 81 01-1.

44. Бабков О.И., Бранец В.Н., Микрин Е.А., Моисеев С.В. и др. Пояснительная записка. ПО ЦВМ. Программные механизмы контроля и управления БКУ PC МКС. 351.0057801 81 01-5.

45. Вабков О.И., Бранец В.Н., Микрин Е.А., Моисеев С. В. и др. Пояснительная записка. ПО ТВМ. Программные механизмы контроля и управления БКУ СМ. 351.00578-01 81 02-3 .

46. Ковалевский С.С., Микрин Е.А., Пелихов В. П. Модели и методы анализа и предупреждения возникновения нештатных ситуаций при управлении функционированием долговременных орбитальных станций. / Институт проблем управления РАН. Препринт. - М., 2000.

47. Радченко H.Т., Пугаченко C.B., Микрин E.A. и др. Энергетический блок ФГБ. Обобщенный перечень нештатных ситуаций ФГБ. 77КМ.0000 О ПМ 1.

48. Блэкман М. Проектирование систем реального времени. -М.: Мир, 1977.

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

50. Володин C.B. Общесистемное проектирование АСУ реального времени. М.: Радио и связь, 1984.

51. Левин В.М. Логические методы исследования вычислительных систем реального времени. // Автоматика и телемеханика, № 3, 1985.

52. Мартин Д. Программирование для вычислительных систем реального времени. М.: Наука, 1975.

53. Липаев В.В., Яшков С.Ф. Эффективность методов организации вычислительного процесса в АСУ. М. : Статистика, 1975.

54. Морозов A.A. Организация межмодульных обменов в распределенном вычислительном комплексе реального времени. // Управляющие системы и машины, № 3, 1985.

55. Кротюк Ю.М. Синтез программного обеспечения модульных систем обработки данных реального времени. Автоматика и вычислительная техника, вып. 11. Минск: Вышейшая школа, 1981.

56. Авен О.И., Коган Д.А. Управление вычислительным процессом в ЭВМ. М.: Энергия, 1978.

57. Основы вычислительных систем. Под ред. Майорова С.А. М.: Энергия, 1978.

58. Прангишвили И.В., Валенкин С.Я., Медведев И.Л. Параллельные вычислительные системы с общим управлением. М.: Энергоатомиздат, 1983.

59. Балабанов A.C. Многопроцессорные системы, основные принципы организации (Обзор). // Управляющие системы и машины, № 3, 1983.

60. Котов В.Е. Распараллеливание программ и алгоритмов и архитектура высокопроизводительных ЭВМ. Препринт № 5. Материалы семинара «Проблемы вычислительной математики» под рук. Г.И. Марчука. М., 1981.

61. Доенкин O.E., Кошелев В.А. Задачи синтеза оптимальной модульной СОД РВ, использующей мультипроцессорное обслуживание. «Разработка оптимальных модульных систем обработки данных». - М. : Институт проблем управления, 1987.

62. Коуг П.М. Архитектура конвейерных ЭВМ. Пер. с англ. под ред. Б.А. Головкина. М.: Радио и связь, 1985.

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

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

65. Кузнецов H.A., Кульба В.В., Казиев Г.З., Шелков A.B. Модели, методы и средства анализа и синтеза модульных информационно-управляющих систем. // Автоматика и телемеханика, № 5, 1993.

66. Мамиконов А.Г., Кульба В. В. Синтез оптимальных модульных СОД. М.: Наука, 1986.

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

68. Мамиконов А.Г., Кульба В.В., Косяченко С.Д., Калугин С.Э. Задачи синтеза оптимальных модульных диалоговых систем. Препринт. М.: ИПУ, 1989.

69. Ковалевский С.С., Микрин Е.А., Пелихов В. П. Синтез оптимальных модульных СОД РВ, использующих режим квантования времени обслуживания задач управления долговременными станциями. Препринт. М. : ИПУ РАН, 1999.

70. Микрин Е.А., Пелихов В.П. Задачи синтеза оптимальных модульных СОД реального времени. Проблемы управления безопасностью сложных систем. Материалы VII международной конференции. М.: РГГУ, 1999.

71. Кротюк Ю.М., Кошелев В.А. Синтез оптимальных модульных СОД РВ с относительными приоритетами. Вопросы кибернетики «Автоматизация проектирования систем обработки данных». М.: Научный совет по комплексной проблеме «Кибернетика», 1985.

72. Кошелев В.А. Некоторые задачи синтеза оптимальных модульных СОД РВ ДОС. В кн. Теоретические и прикладные задачи оптимизации. - М.: Наука, 1985.

73. Кротюк Ю.М., Кошелев В. А. Определение оптимальной величины блоков обмена между различными уровнями памяти в модульных системах обработки данных реального времени. «Анализ и синтез оптимальных модульных систем обработки данных». - М.: ИПУ РАН, 1984.

74. Виноградов В.И. Информационно-вычислительные системы: Распределенные модульные системы автоматизации. М.: Энергоиздат, 1985.

75. Микрин Е.А. Модели синтеза оптимальных модульных СОД РВ ДОС, использующих бесприоритетную дисциплину обслуживания. Проблемы управления безопасностью сложных систем. Материалы VII международной конференции. М. : РГГУ, 1999.

76. Микрин Е.А. Модели синтеза оптимальных модульных СОД РВ ДОС, использующих приоритетные дисциплины обслуживания. Проблемы управления безопасностью сложных систем. Материалы VII международной конференции. М. : РГГУ, 1999.

77. Микрин Е.А. Управление производством программно-математического обеспечения при реализации проекта МКС «Альфа». Теория активных систем. Труды юбилейной международной научно-практической конференции. М.: ИПУ РАН, 1999.

78. Микрин Е.А., Пелихов В. П. Критерии синтеза типовых модульных СОД для механизмов их проектирования с различной степенью централизации. Теория активных систем. Труды юбилейной международной научно-практической конференции. М.: ИПУ РАН, 1999.

79. Микрин Е.А., Пелихов В. П. Управление безопасностью МКС «Альфа»: анализ критичности программного обеспечения. Материалы II международной конференции. Проблемы регионального и муниципального управления.1. М.: РГГУ, 2000.

80. Гуськов Д.А., Ковалевский С.С., Микрин Е.А., Шелков А. Б. Технические средства организации оперативного ивосстановительного резервирования. Проблемыоптимального проектирования информационных систем: Сборник научных статей. Тольятти, 1999.

81. Шелков А.Б., Микрин Е.А. Организационные методы обеспечения информационной безопасности автоматизированных систем. Проблемы управления безопасностью сложных систем. Материалы VII международной конференции. М., 1999.

82. Микрин Е.А. Разработка средств и методов повышения надежности программного обеспечения. М. : ЦНТИ «Поиск», ПТО вып. № 11, 1988.

83. Микрин Е.А., Захаров Ю.Д., Старовойтов В.Н. и др. «Верификация программного обеспечения СУБС КА», РКТ серия XII, № 3, 1989.

84. Рябова Е.Г., Микрин Е.А. «К вопросу о надежности функционирования ПО СУБС», РКТ серия XII, № 4, 1989.

85. Старовойтов В.Н., Микрин Е.А., Захаров Ю.Д. «Автоматизированные средства верификации и документирования бортового программного обеспечения», РКТ серия XII, № 4, 1990.

86. Климов A.A., Микрин Е.А., Сиротюк В.О., Чернов И.В. Разработка промышленной технологии автоматизированного проектирования АИУС. Проблемы оптимального проектирования информационных систем: Сборник научных статей. Тольятти, 1999.

87. Микрин Е.А., Пелихов В. П. Этапность и методология проектирования программного обеспечения бортовой вычислительной системы российского сегмента МКС «Альфа». Материалы шестой международной конференции.

88. Проблемы управления безопасностью сложных систем, ИПУ РАН, СпбГУ, 1999.

89. Микрин Е.А., Пелихов В. П. Система комплексной отработки программного обеспечения долговременных орбитальных станций. Материалы VIII международной конференции «Проблемы управления безопасностью сложных систем». М.: РГГУ, 2000.

90. Айзенберг Я.Е., Бек A.B., Златкин Ю.М. и др. Динамическая отработка программного обеспечения бортовых цифровых вычислительных машин систем управления объектов ракетно-космической техники. // Космическая наука и технология, 1997. т.З № 112.

91. Бранец В.Н., Микрин Е.А., Моисеев C.B. и др. Методика комплексных испытаний ПО СМ. Комплекс тестовых проверок. (AF-4). П34409-037.

92. Клабб Д., Бранец В.Н., Микрин Е.А. План управления программным обеспечением программы МКС. SSP-50482.

93. Бабков О.И., Бранец В.Н., Микрин Е.А. и др. Программа и методы испытаний. Описание комплексных испытаний ПО ЦВМ и ТВМ СМ. П33492-037.

94. Бранец В.Н., Микрин Е.А. и др. Конфигурационное управление. Положение о порядке создания и сопровождения эталонной библиотеки ПО СМ. П33788-037.

95. Микрин Е.А., Пелихов В.П. Оценивание риска элементов программного обеспечения, как фактор управления безопасностью функционирования долговременных орбитальных станций. Труды международной конференции по проблемам управления. М.: ИПУ РАН, 1999, т.2.

96. Волков А.Е., Микрин Е.А., Пелихов В.П. Методика оценивания риска элементов программного обеспечения (проект МКС «Альфа»). Проблемы регионального и муниципального управления. Труды международной конференции. М.: РГГУ, 1999.

97. Ковалевский С.С., Микрин Е.А., Пелихов В.П. Особенности анализа технологии обработки данных в автоматизированных системах управления реального времени. Препринт. М.: ИПУ РАН, 1999.

98. Бабков О.И., Бранец В.Н, Микрин Е.А. и др. Программное обеспечение интерфейса человек-машина интегрированное с ATV. Документ описания архитектуры. ATV-RSCE-037.03.

99. Мамиконов А.Г., Цвиркун А.Д., Кульба В. В. Автоматизация проектирования АСУ. М. : Энергоиздат, 1981.

100. Юб.Штрик A.A. CASE: машинное проектирование программного обеспечения. М.: МЦИЭ ИнтерЭВМ, 1990.

101. Вендров A.M. Практические рекомендации по освоению и внедрению CASE-средств (по материалам стандартов IEEE). СУБД, № 1, 1997.

102. Gibson M.L. The CASE Philosophy. BYTE, 1989. ЮЭ.Калянов Г. Номенклатура CASE-средств и виды проектнойдеятельности. СУБД, № 2, 1996. ИО.Крохин Н.В. Современные системы моделирования бизнеса и их применение в реинжениринге. М. : Сети, № 3-4, 1996.

103. Fisher A.S. CASE: Using Software Development Tools. N.Y.: J.Wiley and Sons Inc., 1988.

104. Harmon P. Object Oriented CASE. - Object -Oriented Strategies. V. 1, #8, 1996.

105. Pritsker А.В., Нарр W.W. GERT: Graphical Evaluation Review Technique: Part I. Fundamentals.- I. Of Ind. Eng, 1996, vol. 17.

106. Микрин E.A. Некоторые задачи синтеза оптимальных модульных систем обработки данных реального времени в АСУ Международной космической станции «Альфа». М. : Автоматика и телемеханика, 2000 (в печати).

107. Кокс Д., Смит У. Теория очередей. М.: Мир, 1966.

108. Саати Т.Л. Элементы теории массового обслуживания и ее приложения. М.: Сов. Радио, 1965.

109. Мамиконов А.Г., Кульба В.В., Шелков A.B. Достоверность, защита и резервирование информации в АСУ. М.: Энергоатомиздат, 1986.

110. Кульба В.В., Ковалевский С.С., Косяченко С.А., Сиротюк В. О. Теоретические основы проектирования оптимальных структур распределенных баз данных. Серия «Информатизация России на пороге XXI века». М.: СИНТЕГ, 1999.

111. Микрин Е. А. Управление безопасностью МКС «Альфа»: определение и анализ критичности функций и нештатных ситуаций. Материалы II международной конференции «Проблемы регионального и муниципального управления». -М.: РГГУ, 2000.

112. Микрин Е.А. и др. Отчет. Моделирование нештатной ситуации МДМ ФГБ на витке № 1166 полета ФГБ «Заря». Исх. № 037-6/202 от 12.04.99.

113. Зеленщиков Н.И., Бабков О.И., Микрин Е.А. и др. Положение по безопасности бортового ПМО PC МКС. П34 047037.

114. Алексеев С.М., Микрин Е.А., Чернов И. В. Модели и методы анализа и синтеза систем контроля качества производства беспилотных летательных аппаратов. Труды ИПУ РАН, том IV. М., 1999.

115. Косяченко С.А., Волков А.Е., Микрин Е.А. Методы и модели анализа и синтеза систем контроля качества производства сложных изделий. Материалы VII международной конференции «Проблемы управления безопасностью сложных систем». М., 1999.

116. Рюмин В.В., Бабков О.И., Бранец В.Н. и др. Двусторонний РКА/ЕКА план интеграции и верификации для АТУ. ББР 50334.

117. Бабков О.И., Бранец В.Н., Микрин Е.А. и др. МКС. Служебный модуль. ПО интегрированное с АТУ. Отчет по анализу технических требований по совместным задачам СМ/АТУ. АТУ-К8СЕ-032.

118. Зеленщиков Н.И., Бабков О.И., Бранец В.Н. и др. МКС. Интегрированный российский сегмент. Космические средства. СМ. Комплексная программа экспериментальной отработки. 17КСМ.0000-0Д53.

119. Бранец В.Н., Микрин Е.А., Бежко А.П. План гарантии качества программного обеспечения. П34591-037.

120. Алексеев С.М., Волков А.Е., Косяченко С.А., Микрин Е.А. Структура и функции корпоративной автоматизированной системы «Луч». Теория активных532систем. Труды юбилейной международной научно-практической конференции. М.: ИПУ РАН, 1999.

121. Волков А.Е., Микрин Е.А., Сиротюк В.О., Ужастов И.А. Методы формального анализа сценариев диалога в автоматизированных банковских системах. Проблемы оптимального проектирования информационных систем: Сборник научных статей. Тольятти, 1999.

122. Torrance Е.Р. «А Theory of Leadership and Iterpersonal Behavior», см. Petrullo L. , B.M. (Eds.), Leadership and Iterpersonal Behavior, New York, Holt, Rinehart, a. Winston, 1961.

123. Adams O.S., Chiles W.I. «Human Performance as a Function of the Work-Rest Ratio During Prolonged Confinement», ASD Tech. Rep. 61-720, 1961.

124. Alluisi E.A., Hall T.J., Chiles W.D. «Group Performance During Four-hour Periods of Confinement», Rep: MRL-TDR 61-70, 1962.