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

2.aстат, когда значение логической переменной не претерпевает изменений в процессе исполнения УА.

3.a(t), когда требуется учитывать значение логической переменной в текущий момент времени t, и с течением времени значение ЛП может меняться.

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

В случае, если все логически переменные, используемые в алгоритме, будут относиться к логическим условиям третьего рода (т.е. их значение меняется в ходе исполнения алгоритма и именно это текущее значение подлежит проверке), от описанного вида оптимизации приходится отказаться. В данной ситуации применимо представление УА так называемой регулярной схемой.

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

Внутри каждого входа осуществляется проверка всех значимых логических переменных. Диссертация содержит алгоритм построения регулярной схемы по заданной семантике УА РВ. Сравнение количества проверок в регулярной логико-временной схеме и в максимальной степени оптимизированной для различного количества входов приводится на рисунке 4.

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

Nk(УП)®min, S = const,

где Nk(УП) - общее количество строк в генерируемой управляющей программе, S - семантика УА РВ. В диссертации описывается машинно-зависимая оптимизация, опирающаяся на особенности реализации конкретной архитектуры бортовой вычислительной системы и синтаксис команд ассемблера БЦВМ, задаваемый с помощью специальных параметрических файлов формата XML.

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

Рис. 4. Число проверок логических условий с оптимизацией и без оптимизации

Повторный проход производит удаление излишних меток и их замену во всех переходах, в которых они встречаются, на эквивалентные метки. Кроме того, осуществляется сокращение «лишних» команд переходов.

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

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

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

Можно выделить следующие основные задачи, решаемые в рамках разработанной автоматизированной технологии:

*Формальная спецификация требований к УА РВ с использованием проблемно-ориентированного языка, основанного на языке формальной теории УА РВ или визуального интерактивного языка

*Построение семантики управляющего алгоритма, соответствующей спецификации.

*Построение многовариантной модели УА РВ, т.е. выделение всех значимых при исполнении управляющей программы комбинаций значений логических переменных.

*Построение логико-временной схемы УА РВ.

*Генерация технической документации на УА РВ в составе временномй диаграммы и блок-схемы алгоритма.

*Генерация управляющей программы БЦВМ, реализующей управляющий алгоритм, на параметрически задаваемом языке программирования.

*Генерация отладочных заданий (на языке технологической среды отладки БПО) для каждого возможного варианта исполнения УА РВ.

*Генерация таблиц входных и выходных информационных и управляющих связей программы.

Проектировщики и разработчики УА РВ взаимодействуют при этом с несколькими интерфейсными модулями. Это в первую очередь - интегрированная среда, являющаяся аналогом IDE современных систем программирования Borland C++ Builder, MS Visual Studio, Eclipse, IDEA. Она объединяет все модули программного комплекса в единое целое и позволяет получить из единого центра доступ к любой функции системы: графическому конструктору управляющих алгоритмов, графическому редактору временнымх диаграмм, генераторам управляющей программы и отладочных заданий, редактору описаний ФЗ и ЛП. Благодаря этому, интегрированная оболочка инструментального программного комплекса может в некоторой степени рассматриваться, как аналог PDM-средства, интегрирующего различные электронные модели изделия в традиционных пакетах САПР. Как известно, интерфейс пользователя в PDM-системе обычно предусматривает возможность одновременного просмотра разных представлений проектных данных в нескольких окнах.

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

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

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

Рис. 5. Многооконный интерфейс инструментального программного комплекса

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

В обратном режиме модуль позволяет считывать спецификацию из текстового файла и наглядно отображать графический образ соответствующей семантики УА РВ. Кроме того, возможна проверка выполнения (истинности) тех или иных формул теории УА РВ при интерпретации спецификации на заданном базисе ФЗ, т.е. поддержка верификации спецификации.

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

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

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

OF = { <fi, ti, Txi, Pri, Typi, GPi>},

LP = {<ai, Txi, Pri, Typi, GPi>},

где fi - идентификатор ФЗ, aI - имя ЛП, ti - длительность исполнения ФЗ; Typi - тип функциональной задачи или логической переменной, Typi О{Typk} = {«выдать команду на БА», «занести запрос на включение программы БПО», «открыть канал», «опросить сигнал», «проверить переменную»…} - тип действия, каждому типу соответствует свой шаблон фрагмента управляющей программы; Txi - параметры конкретной ФЗ или ЛП; Pri - текстовое описание ФЗ (примечание); GPi - код графического примитива, отражающего ФЗ на временной диаграмме УА РВ.

Описание ФЗ и ЛП проводится с помощью специального модуля программного комплекса. Параметрическая генерация управляющей программы в рамках автоматизированной технологии позволяет значительно ускорить процесс программирования и облегчить переход от одних целевых языков программирования и архитектур БВС к другим.

Помимо автоматизированного синтеза логико-временной схемы УА РВ по его спецификации, система также позволяет начинать описание управляющего алгоритма с построения его временной диаграммы в специальном визуальном конструкторе. При этом происходит оперирование графическими примитивами, соответствующими предметной области УА БВС КА (деревья входов, логические условия, типовые ФЗ), а не простейшими графическими элементами, такими как точки и отрезки, как при использовании неспециализированной САПР (например, AutoCAD), что обеспечивает значительное повышение производительности труда. В процессе визуального конструирования в памяти компьютера «на лету» строится соответствующая логико-временная схема УА РВ.

Визуальный конструктор может применяться и для ручной правки логико-временной схемы, ранее построенной на основе семантики алгоритма. Эта возможность весьма значима с точки зрения таких характеристик качества БПО, как восстанавливаемость и сопровождаемость.

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

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

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

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

В связи с этим созданная автоматизированная технология обеспечивает поддержку верификации УА РВ традиционными средствами, т.е. путем тестирования и отладки. Подсистема генерации отладочных заданий позволяет на базе внутренних структур данных системы сформировать отладочное задание для автономной отладки управляющего алгоритма на специальном технологическом языке. При этом автоматически выявляются все возможные варианты исполнения («маршруты») алгоритма и осуществляется генерация отладочного задания для каждого варианта, что позволяет достичь наиболее эффективного уровня тестирования - С2 по существующей классификации уровней тестирования программных средств. Кроме того, система позволяет на основании текста управляющей программы и описаний ФЗ выявлять имеющиеся в алгоритме информационные и управляющие связей с другими программами и формировать их таблицу, которая используется на этапах совместной и комплексной отладки.

Структура инструментального программного комплекса, поддерживающего разработанную автоматизированную технологию, представлена на рисунке 6.

В соответствующих подразделах четвертой главы приводятся разработанные автором алгоритмы решения частных задач автоматизации: задачи генерации семантики УА РВ, задачи построения многовариантной модели, задачи построения логико-временной схемы алгоритма, задачи генерации управляющей программы, задачи генерации отладочных заданий.

Рис. 6. Структура инструментального программного комплекса

В четвертой главе приводится также оценка эффективности разработанной автоматизированной технологии. С использованием функционального моделирования процессов ЖЦ УА РВ было проведено исследование на примере программы управления комплексным функционированием БА при приведении КА в ориентированное положение. Оно показало (см. рисунок 7) , что наибольшую эффективность с точки зрения снижения трудоемкости (до 75%-80%) технология имеет на этапах программирования и автономной отладки и на этапе подготовки технической документации на алгоритм. В целом же применение описанных методов и средств позволяет сократить длительность жизненного цикла приблизительно на 20% при общем снижении трудоемкости разработки УА РВ на величину до 30%.

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

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

Рис. 7. Снижение трудоемкости при применении автоматизированной технологии

Возможность автоматизированной генерации отладочных заданий (тестов), гарантирующих проверку всех ветвей дерева управляющего алгоритма, также является значимой с точки зрения повышения надежности УА РВ.

Пятая глава посвящена описанию практического использования разработанной автоматизированной технологии и программного комплекса.

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

Кроме того, демонстрируется применимость автоматизированной технологии к задачам построения программ моделей бортовой аппаратуры КА на примере бортовой информационно-телеметрической системы (БИТС).

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

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

Таким образом, применение описанного в диссертационной работе подхода дает возможность использовать так называемое совмещенное проектирование (concurrent design), являющееся характерной отличительной чертой современных CALS-технологий в промышленности и позволяющее сократить временныме затраты путем перекрытия по времени фаз жизненного цикла (операций, процедур или этапов), при традиционном подходе выполняемых последовательно.

В главе поставлена задача построения программы модели бортовой информационно-телеметрической системы (БИТС) КА. Рассказывается об основных функциях и структуре системы телеметрирования, приводятся сведения о режимах работы. Описывается использование разработанной автоматизированной технологии для решения данной задачи, начиная с интерактивного конструирования временной диаграммы (циклограммы) работы и выделения функциональных задач, исполняемых программой модели.

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

ЗАКЛЮЧЕНИЕ

В заключении приводятся основные выводы:

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

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

3.Разработаны языки и средства формальной спецификации УА РВ, в том числе с применением визуального конструирования.

4.Разработаны методы и средства синтеза УА РВ для БВС КА, включая:

*алгоритм генерации семантики УА РВ, соответствующей спецификации;

*алгоритм построения логико-временной схемы (структуры) УА РВ;

*методы и средства параметрической генерации управляющей программы, реализующей требуемую семантику УА РВ, на целевом языке программирования (включая ассемблер БЦВМ и язык Си).

5.Сформулированы критерии, предложены методы выбора проектных решений при синтезе УА РВ (структурной оптимизации) и проведено исследование их эффективности, в том числе:

*методов эквивалентных преобразований спецификаций УА РВ;

*методов оптимизации семантики УА РВ;

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

*методов оптимизации при генерации управляющей программы, реализующей управляющий алгоритм.

6.Разработаны методы и средства верификации УА РВ, в том числе:

*проверки спецификации УА РВ на непротиворечивость;

*проверки выполнимости спецификации УА РВ на заданном базисе функциональных задач и поиска разрешающего базиса, в том числе с применением машины логического вывода среды программирования Пролог;

*верификации логико-временной схемы управляющего алгоритма (проверки соответствия реализуемой логико-временной схемой семантики спецификации УА РВ);

*автоматизированного построения таблицы возможных вариантов УА РВ и генерации отладочного задания на автономную отладку для каждого варианта.

*автоматизированного построения таблицы информационных и управляющих связей УА РВ с другими программами БПО.

7.На основе разработанного математического аппарата, методов и средств синтеза и верификации УА РВ построен инструментальный программный комплекс. Проведенное исследование эффективности его применения при создании бортовых управляющих алгоритмов и программ моделей БА показало возможность достижения существенного (на 20-30%) снижения общей трудоемкости этапов жизненного цикла УА РВ для БВС КА.

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

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

ОСНОВНЫЕ РЕЗУЛЬТАТЫ ДИССЕРТАЦИИ ОПУБЛИКОВАНЫ В СЛЕДУЮЩИХ РАБОТАХ

Монография:

1. Калентьев А.А., Тюгашев А.А. ИПИ/CALS технологии в жизненном цикле комплексных программ управления. - Самара: СНЦ РАН, 2006. - 285 с.: ил.- 1000 экз. - ISBN 5-934-24257-1.

Статьи в изданиях, рекомендованных ВАК для публикации результатов докторских диссертаций:

2.Тюгашев, А.А. Интегрированная среда для проектирования управляющих алгоритмов реального времени // Известия РАН. Теория и системы управления. -2001.- №5.-, С. 128-141.

3.Калентьев А.А., Тюгашев А.А. Использование технологии ГРАФКОНТ при автоматизированном проектировании управляющих программ реального времени для БВС КА. // Всероссийский аэрокосмический журнал «Полет». - 2005. - №12. - С. 41-47.

4.Тюгашев А.А. Автоматизированная спецификации, верификация и синтез управляющих программ на основе логического и алгебраического подходов // Вестник СГАУ. - 2007.- №1(12). - С. 171-179.

5.Тюгашев А.А. Автоматизированное оценивание временных характеристик программ управления комплексного функционирования в технологии ГРАФКОНТ // Вестник СГТУ. Серия «Физико-математические науки». - 2007. - №1 (14). - С. 134-137.

6.Тюгашев А.А. Автоматизация спецификации, синтеза и верификации управляющих программ реального времени с применением логического и алгебраического подходов // Мехатроника, автоматизация, управление.- 2007. - №7. - С. 46-50.

7.Тюгашев А.А. Методология и программный комплекс для автоматизированного проектирования управляющих алгоритмов реального времени // Вестник СНЦ РАН. Том 7.- 2005. - №1. - С.131-137.

8.Калентьев А.А., Тюгашев А.А. CALS-технологии для бортовых алгоритмов управления космическими аппаратами // Вестник СНЦ РАН. Том 7. .- 2005.- №1. - С.124-130.

9.Тюгашев А.А. Алгебраические модели управляющих алгоритмов и программ реального времени для космических аппаратов. // Вестник СГТУ. Серия «Физико-математические науки».- 2005. - выпуск 38. - С. 19-25.

10.Тюгашев А.А. Технология проектирования надежных управляющих алгоритмов реального времени для космических аппаратов. // Вестник СГАУ. - 2004. - №1. - С.124-131.

Статьи в сборниках научных трудов:

11.Калентьев А.А., Тюгашев А.А. Оптимизация логико-временной схемы управляющего алгоритма при его автоматизированном синтезе. // Международный симпозиум «Надежность и качество 2007»:сб. научн. тр. / ПГУ. - Пенза, 2007. -С.117-118.

12.Калентьев А.А., Тюгашев А.А. Математическое моделирование управляющих алгоритмов и программ реального времени. // Международный симпозиум «Надежность и качество 2005»:сб. научн. тр. / ПГУ. - Пенза, 2005. ЧII.-С.251-257.

13.Калентьев А.А., Тюгашев А.А. Технология проектирования надежных и качественных алгоритмов управления реального времени. // Труды Международный симпозиум «Надежность и качество 2004»: сб. научн. тр. /ПГУ.- Пенза, 2004. - С.249-253.

14.Калентьев А.А., Тюгашев А.А. Методология проектирования надежных алгоритмов управления для космических аппаратов // 11-й Всероссийский научно-технический семинар по управлению движением и навигации летательных аппаратов: сб. научн. тр. / СГАУ.- Самара, 2003. - С.115-119.

15.Тюгашев А.А. Технология проектирования качественных и надежных управляющих программ реального времени для БВС КА // Междунар. симпозиум «Надежность и качество 2003»: сб. научн. тр. / ПГУ.- Пенза, 2003. -С.201-203.

16.Тюгашев А.А. Автоматизация оценивания временных характеристик программ управления комплексного функционирования в технологии ГРАФКОНТ // Международный симпозиум «Надежность и качество 2003»: сб. научн. тр. / ПГУ. - Пенза, 2003. - C.198-201.

17.Калентьев А.А., Тюгашев А.А. Развитие системы автоматизации проектирования бортовых управляющих алгоритмов реального времени ГРАФКОНТ // Международный симпозиум «Надежность и качество 2002»: сб. научн. тр. / ПГУ. - Пенза, 2002. - С.123-129.

18.Тюгашев А.А. Использование функции выполнимости для описания алгоритмов упр. дискретными асинхрон. системами // Междунар. симпоз. «Надеж. и качество 2002»: сб. научн. тр. / ПГУ. - Пенза, 2002. - С.129-132.

19.Калентьев А.А., Мостовой Я.А., Тюгашев А.А. Технология ГРАФКОНТ для автоматизированного проектирования комплексных управляющих программ. // Сб. научно-технических статей по ракетно-космической тематике. / ГНПРКЦ «ЦСКБ-Прогресс».- Самара,2001. - C.165-167.

20.Калентьев А.А., Мостовой Я.А., Тюгашев А.А. Проблема неоднозначности при порождении синтаксических структур над семантикой управляющих алгоритмов реального времени. // Сб. научно-технических статей по ракетно-космической тематике. / ГНПРКЦ «ЦСКБ-Прогресс».- Самара,2001. - C.162-165.

21.Тюгашев А.А. Построение улучшенного транслятора проблемно-ориентированного языка описания управляющих алгоритмов реального времени в системе ГРАФКОНТ // Международный симпозиум «Надежность и качество 2001»: сб. научн. тр. / ПГУ. - Пенза, 2001. - С.33-35.

22.Калентьев А.А., Тюгашев А.А. Проблема автоматизированного формирования отладочных заданий в рамках информационной технологии автоматизированного проектирования бортовых алгоритмов управления // Международный симпозиум «Надежность и качество 2001»: сб. научн. тр. / ПГУ. - Пенза, 2001. - С.35-37.

23.Тюгашев А.А. Неоднозначность порождения логической схемы управляющего алгоритма реального времени // Перспективные информационные технологии в научных исследованиях, проектировании и обучении: сб. научн. тр. / СГАУ. - Самара, 2001.-С.29-35.

24.Калентьев А.А., Тюгашев А.А. Математическая модель алгоритмов управления системами с множеством дискретных состояний // Перспективные информационные технологии в научных исследованиях, проектировании и обучении: сб. научн. тр. / СГАУ. - Самара, 2001.-С.29-35.

25.Калентьев А.А., Тюгашев А.А. Задача согласования логики и времени исполнения функциональных управляющих программ в системе ГРАФКОНТ // Управление движением и навигация летательных аппаратов: сб. научн. тр./ Самарский филиал академии космонавтики. - Самара, 2000. - С.90-95.

26.Калентьев А.А., Мостовой Я.А., Платонов С.Н., Тюгашев А.А., Ендуткина Л.И., Николаев Ю.А. Система автоматизированного синтеза бортовых алгоритмов управления // Управление движением и навигация летательных аппаратов: сб. научн. тр./ Самарский филиал академии космонавтики. - Самара, 2000. - С.96-97.

27.Калентьев А.А., Мостовой Я.А., Тюгашев А.А. Параметризованная генерация кода ассемблерного текста в CASE-технологии ГРАФКОНТ // Международный симпозиум «Надежность и качество»: кн.докл. / ПГУ- Пенза, 1999.С.186-187.

28.Калентьев А.А., Мостовой Я.А., Тюгашев А.А. Проблема переполнения при кодировании векторов трехзначной логики в системе ГРАФКОНТ // Международный симпозиум «Надежность и качество»: кн.докл. / ПГУ- Пенза, 1999.С.185-186.

29.Калентьев А.А., Тюгашев А.А. Графический редактор в системе автоматизации проектирования управляющих алгоритмов // Международная научно-техническая конференция «Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем»: сб. докладов . - Пенза, 1998., - С. 158-159.

30.Калентьев А.А., Тюгашев А.А. Автоматизированный синтез управляющих программ реального времени на языке ассемблера // Международная научно-техническая конференция «Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем»: сб. докладов . - Пенза, 1998., - С. 156-157.

31.Тюгашев А.А. Построение текста управляющего алгоритма на базе многовходовой модели. // Управление движением и навигация летательных аппаратов: сб. научн. тр./ Самарский филиал академии космонавтики. - Самара, 1998. - С.71-74.

32.Калентьев А.А., Тюгашев А.А. Проектирование управляющих алгоритмов средствами объектно-ориентированного программирования. // Управление движением и навигация летательных аппаратов: сб. научн. тр./ Самарский филиал академии космонавтики. - Самара, 1998. - С.68-71.

33.Калентьев А.А., Тюгашев А.А. Алгебраические модели и программные средства для проектирования алгоритмов управления бортовой аппаратурой. // Цифровые модели в проектировании и производстве РЭС: межвузовский сб. научн. тр.. / ПГТУ. - Пенза, 1996. - С..30-35.

34.Калентьев А.А., Тюгашев А.А. Языковые средства системы автоматизированного синтеза алгоритмов управления реального времени // Международная научно-техническая конференция «Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем»: сб. докл.. / ПГТУ.- Пенза, 1996. С.55-57.

35.Калентьев А.А., Тюгашев А.А. Многовариантный синтез алгоритмов управления реального времени // VII-й Всероссийский семинара с межд. участием по управлению движением и навигации летательных аппаратов : cб. докладов / СГАУ. - Самара, 1995. -С.19-25.

36.Тюгашев А.А. Процессор выходных документов в системе автоматизации проектирования управляющих алгоритмов // VII-й Всероссийский семинара с межд. участием по управлению движением и навигации летательных аппаратов : cб. докладов / СГАУ. - Самара, 1995. -С.17-19.

37.Калентьев А.А., Тюгашев А.А. Разработка подсистемы синтеза управляющих алгоритмов на базе исчисления УА // Всерос. Науч.школа «Компьютерная алгебра, логика и интеллектное управление. Проблемы анализа стратегической стабильности»,: сб. трудов / ИрВЦ СО РАН. - Иркутск, ,1994.

Тезисы докладов:

38.Калентьев А.А., Тюгашев А.А. Алгебраические и логические подходы к спецификации, верификации и синтезу управляющих программ для КА // 11-я Международная научно-техническая конференция «Системный анализ, управление и навигация»:тез . докл. / МАИ.-М., 2006. - С.171.

39.Калентьев А.А., Тюгашев А.А. Автоматизированное оценивание характеристик управляющих программ БВС. // 10-я Международная научно-техническая конференция «Системный анализ, управление и навигация»:тез . докл. / МАИ.-М., 2005. - С.101.

40.Калентьев А.А., Тюгашев А.А. Методы повышения качества при проектировании управляющих программ для космических аппаратов. // 9-ая Междунар. конф. «Системный анализ и управление»: тез. докл. / МАИ.-М., 2005. - С.56.

41.Калентьев А.А., Тюгашев А.А. Технология проектирования надежных бортовых алгоритмов реального времени // 8-ая Междунар. конференция «Системный анализ и управление»: тез . докл. / МАИ.-М., 2003. - С. 55.

42.Калентьев А.А., Тюгашев А.А. Автоматизация проектирования и отладки бортовых управляющих алгоритмов CASE-средствами // 7-ая Международная конференция «Системный анализ и управление»: тез . докл. / МАИ.-М., 2002. - С. 51-52.

43.Калентьев А.А., Тюгашев А.А. Система автоматизации проектирования алгоритмов управления летательными аппаратами // 6-я Международная конференция "Системный анализ и управление аэрокосмическими комплексами»: тез. докл. / МАИ.-М., 2001 - С. 99.

44.Калентьев А.А., Тюгашев А.А. Моделирование алгоритмов упр. асинхрон. системами с дискретными состояниями // Тез. докл. Междунар. косм. конф., посв. 40-лет. первого полета чел. в космос «Косм.без оружия - арена мирного сотрудничества в XXI в.»:тез. докл. / МАИ. -М., 2001.С.50.

45.Тюгашев А.А. Технология ГРАФКОНТ автоматизированного создания алгоритмов управления космическими аппаратами // XХVII н.т.к., посвященная 40-летию первого полета человека в космос «Гагаринские чтения»: тез. докл. / МАТИ. - Москва, 2001.С.19-20.

46.Тюгашев А.А. Параметрическая генерация текста управляющей программы реального времени // XХVII н.т.к., посв. 40-лет. первого полета чел. в космос «Гагаринские чтения»: тез. докл. / МАТИ. - М., 2001. - С.21.

47.Калентьев А.А., Тюгашев А.А. Использование многовходовой модели для представления управляющего алгоритма // Научно-техническая конференция «Перспективные информационные технологии в научных исследованиях, проектировании и обучении»: тез. докл./ СГАУ.- Самара, 1995. - С.65.

48.Калентьев А.А., Тюгашев А.А. Применение CASE-технологии для проектирования управляющих алгоритмов реального времени // Научно-техн. Конф. «Перспективные инф. технологии в научных исследованиях, проектировании и обучении»: тез. докл./ СГАУ.- Самара, 1995. - С.64.

49.Калентьев А.А., Тюгашев А.А. Алгебраическая система синтеза УА // 1-ая Поволжская научно-техническая конференция «Научно-исследовательские разработки и высокие технологии двойного применения»: тез. докл. / СГАУ. - Самара, 1995.С.51-52.

50.Тюгашев А.А. Автоматизация проектирования алгоритмов управления реального времени на основе алгебраических моделей // V-я научная межвузовская конференции «Математическое моделирование и краевые задачи»: тез. докл. / СамГТУ. - Самара, 1995.С.18.

Размещено на Allbest.ru

...