Разработка моделей, методов и инструментальных средств для автоматизированного проектирования специализированных бортовых систем электронной индикации и сигнализации авиационного применения тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Ларин, Кирилл Валентинович

• Ларин, Кирилл Валентинович
• кандидат технических наук
• 2008

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

СПИСОК ИСПОЛЬЗОВАННЫХ СОКРАЩЕНИЙ.

ВВЕДЕНИЕ.

1. БОРТОВЫЕ СИСТЕМЫ ВИЗУАЛИЗАЦИИ. АРХИТЕКТУРЫ, МЕТОДЫ И СРЕДСТВА ПРОЕКТИРОВАНИЯ.

1.1. Анализ архитектуры и требований, предъявляемых к встраиваемому программному обеспечению бортовых систем.

1.2. Анализ моделей, методов и инструментальных средств визуализации.

1.2.1. Анализ изображений БСВ.

1.2.2. Анализ моделей и методов визуализации.

1.2.3. Анализ инструментальных средств визуализации.

1.3. Анализ методов проектирования программного обеспечения бортовых систем.

2. РАЗРАБОТКА МОДЕЛИ И МЕТОДИКИ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ КСЭИС.

2.1. Разработка методики автоматизированного проектирования КСЭИС.

2.2. Разработка метода реализации объектно-ориентированного описания.

2.3. Разработка методов обеспечения качества изображения.

3. РАЗРАБОТКА ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ.

3.1. Структура Базы данных параметров.

3.1.1. Функциональный состав БД.

3.1.2. Типы сопрягаемых систем.

3.1.3. Информационные каналы.

3.1.4. Информация в каналах.

3.1.5. Реконфигурация информации.

3.1.6. Описание Логических функций.

3.1.7. Информация кадров.

3.2. Объектная модель обслуживания потоков ввода-вывода.

3.3. БД графических объектов проекта.

3.3.1. Функциональный состав БД графики.

3.3.2. Описание графических элементов.

3.3.3. Описание графических объектов.

3.3.4. Описание графических фигур.

3.4. Объектная модель обслуживания синтеза графических изображений.

3.4.1. Объектная модель графического элемента.

3.4.2. Объектная модель графического объекта.

3.4.3. Объектная модель графической фигуры.

3.5. Реализация методов улучшения изображения.

3.5.1. Реализация применения кода угла. Вектор.

3.5.2. Реализация применения кода угла. Афинные преобразования.

3.5.3. Сглаживание линии при построении.

3.6. Автономная модель системы КСЭИС.

3.7. Проект сборки файлов системы КСЭИС.

4. ИССЛЕДОВАНИЕ МЕТОДИКИ ПРОЕКТИРОВАНИЯ СПО КСЭИС И ПРИМЕНЕНИЯ СРЕДСТВ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ.

4.1. Оценка методики автоматизированного проектирования КСЭИС.

4.2. Оценка эффективности объектного подхода на примере информационных кадров СИГН, ДВ СИГН, СОСТ, ВСУ, Блоки.

4.3. Оценка улучшения качества изображения.

4.3.1 Оценка скорости построения.

4.3.2. Оценка точности построения.

4.3.3. Оценка сходимости векторов.

Введение диссертации (часть автореферата) на тему «Разработка моделей, методов и инструментальных средств для автоматизированного проектирования специализированных бортовых систем электронной индикации и сигнализации авиационного применения»

Для последних лет характерно бурное развитие приложений компьютерной графики, реализованных как на графических станциях, на персональных компьютерах, так и на мобильных устройствах - сотовых телефонах, смартфонах, коммуникаторах и GPS-навигаторах. Становится общепринятым использование в сложных системах контроля и управления многооконных графических интерфейсов, электронных карт (ГИС), трехмерной анимации, обработки нескольких потоков видеоинформации и т.д. [1,4]. Это приводит к тому, что производители авиационной техники стараются перенести такие функциональные возможности на сферу специального применения во встраиваемых системах бортового авиационного применения [2,3,4].

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

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

77]. В ТЗ определяются требования на работу в жестком реальном времени на многие задачи решаемые комплексом; расширяется функциональное назначение элементов комплекса; вводятся сложные объекты синтезированной визуализации, относящиеся к 2D- и 3D- представлениям и их смешению с потоковой информацией реальных видео-, метео- данных и данных системы предупреждения сближения с землей; повышаются требования качества представления информации при визуализации; вводятся ограничения по массо-габаритным характеристикам [6,7,8].

При этом, сохраняется тенденция ко все большей минимизации времени, отводимого на разработку, отладку и сопровождение таких систем, что определяется высокой конкуренцией на рынке производителей подобных систем. Это заставляет проектировщиков КСЭИС строить системы на базе типовых компьютерных плат бортового применения, обеспечивая проблемную ориентацию проектируемых систем соответствующим программным обеспечением [6].

Наиболее интенсивные исследования в области приложений компьютерной графики проводились, начиная с конца 70-х годов прошлого века. Основные результаты нашли отражение в работах Созерленда, Освальда, Брезенхема и др. [17-31]. В них обсуждались вопросы человеко-машинного интерфейса, построения примитивов, обрезки линий и примитивов, сглаживания и заливки, структуры и ядра графических систем. Остались нерешенными вопросы компенсации искажений геометрии фигуры в результате смещений в дискретной плоскости, производительности алгоритма сглаживания синтезированного изображения, взаимодействия аппаратных и программных исполнительных механизмов, проектирования объектно-ориентированных структур описательных данных для исполнительных механизмов. Кроме того, в них не затрагивались вопросы автоматизации проектирования программного обеспечения для реализации разработанных моделей и методов.

Исследованием аспектов проектирования специального программного обеспечения бортовых систем занимались Джанджгава Г.И., Бражник В.М., Рогалев А.П., Никулин А.С. и др. [12-16]. Данным работам характерна сильная привязка к проблемной области авиационного приборостроения. В то же время, процессы разработки безопасного программного обеспечения для критических условий применения рассматривали Девис Н., Хамфри У., Редвайн С. [46], Фаулер М. [45] и Липаев В.В. [40, 57].

Задачам автоматизации проектирования программного обеспечения и программных систем посвящены работы Буча Г. и Рамбо Дж. [54], связанные с разработкой унифицированного языка моделирования UML (Unified Modeling Language [53]), основой продуктов компании Rational Software [56], и работы Международного союза электросвязи (ITU-T), связанные с языком графических описаний и спецификаций SDL (Specification and Description Language) который входит в Рекомендации ITU-T серии Z.100 и является основой программных продуктов фирмы Telelogic [55].

В последнее время в связи с развитием объектно-ориентированного программирования в данной области можно выделить исследования Буча Г., Элиенса А., Кнута Д., Ахо А., Шалыто А.А. и др. [51, 52, 49, 50, 48]. Однако, в них не учитывается специфика современных КСЭИС, которая оказывает существенное влияние на эффективность методов и средств автоматизации проектирования.

Вопросам операционных систем реального времени во встраиваемых системах посвящены работы Бэкона Дж. и Харриса Т. [43], Таненбаума Э.С. [47], Вудхалл А.С. [42].

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

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

Следуя цели, в диссертационной работе были поставлены и решены следующие задачи:

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

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

3. Разработка методики автоматизации проектирования СПО КСЭИС.

4. Разработка инструментальных средств автоматизации проектирования СПО КСЭИС.

5. Разработка методов визуализации, обеспечивающих требуемые характеристики качества визуализации и функционирования КСЭИС.

Объектом исследования в работе является автоматизация проектирования КСЭИС, предметом исследования служат применяемые для этого модели и методы.

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

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

Апробация работы проведена на конференциях :

1. Системы искусственного интеллекта и нейроинформатика. Международная конференция «Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике —КЛИН— 2003,2004,2005,2007 гг.».

2. Вторая международная конференция "Исследование, разработка и применение высоких технологий в промышленности" 07-09.02.2006, Санкт-Петербург, Россия.

3. Information Technologies: Proceeding of Russian-German scientific conference devoted to 10-years cooperation of Ulyanovsk State Techical University and Darmstadt University of Applied Science. - Ulyanovsk, U1STU, 2007.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Ларин, Кирилл Валентинович

ЗАКЛЮЧЕНИЕ

Итогом работы является разработка методики автоматизированного проектирования программного обеспечения КСЭИС, опирающейся на комплекс моделей, методик и инструментальных средств и обеспечивающей разработку ПО с требуемыми характеристиками качества в сжатые сроки. В данной работе:

1. Разработана новая функционально-структурная модель процесса автоматизированного проектирования программного обеспечения специализированных бортовых систем авиационного применения и методика автоматизации проектирования СПО КСЭИС через описания структуры системы, входных данных и графических изображений специализированных кадров, через автономное моделирование ФЗ, обеспечивающие требуемые характеристики качества визуализации КСЭИС;

2. Предложена новая методика реализации объектно-ориентированного подхода к программированию ФЗ ввода-вывода и визуализации;

3. Предложен новый метод сглаживания синтезируемых образов для растровых устройств визуализации;

4. Разработан комплекс инструментальных средств автоматизации проектирования СПО КСЭИС, применяемый при выполнении реальных проектов на независимых РМ, назначение которых соответствует функциям, определенным в функционально-структурной модели;

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

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

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

Научная новизна работы заключается в:

1. Разработанной новой функционально-структурной модели процесса автоматизированного проектирования программного обеспечения специализированных бортовых систем авиационного применения и методике автоматизации проектирования СПО КСЭИС через описания структуры системы, входных данных и графических изображений специализированных кадров, через автономное моделирование ФЗ, обеспечивающие требуемые характеристики качества визуализации КСЭИС;

2. Предложенной новой методике реализации объектно-ориентированного подхода к программированию ФЗ ввода-вывода и визуализации;

3. Предложенном новом методе сглаживания синтезируемых образов для растровых устройств визуализации.

Практическая ценность работы состоит в:

1. Разработанном комплексе инструментальных средств автоматизации проектирования СПО КСЭИС, применяемом при выполнении реальных проектов на независимых РМ, назначение которых соответствует функциям, определенным в функционально-структурной модели;

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

Апробация работы. Основные положения диссертационной работы на соискание ученой степени кандидата технических наук обсуждались на конференциях:

1. Системы искусственного интеллекта и нейроинформатика. Международная конференция «Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике -КЛИН— 2003, 2004, 2005, 2007 гг.».

2. Вторая международная конференция "Исследование, разработка и применение высоких технологий в промышленности" 07-09.02.2006, Санкт-Петербург, Россия.

3. Information Technologies: Proceeding of Russian-German scientific conference devoted to 10-years cooperation of Ulyanovsk State Techical University and Darmstadt University of Applied Science. - Ulyanovsk, U1STU, 2007.

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

В работах [87], [88] дан анализ методов визуализации графической информации для встраиваемых систем и описан подход к оптимальному выбору алгоритмов визуализации графической информации для встраиваемых систем. В работе [89] проведен анализ требований к гладкому отрезку и предложен алгоритм применения гладкого отрезка для компенсации артефактов при построении сложных фигур, в том числе, залитых. В работе [90] проведен анализ иерархии описаний элементов изображений, их взаимосвязи и взаимозависимости при визуализации сложных кадров. Работа [91] раскрывает объектный подход к описанию графических данных изображений встраиваемой системы типа КСЭИС, которые в работе [92] описаны как шаблоны структур данных, программная реализация которых продемонстрирована в работе [93]. Обоснование необходимости разработки специального инструмента и метод его реализации для задачи формирования и обслуживания графических объектов предложен в работе [95]. Анализ существующих систем управления требованиями в части обеспечения актуальности информационного поля проектируемой системы, состав которого определен в данной диссертационной работе, проведен в работе [94]. Работа [96] посвящена рассмотрению функционально-структурной модели процесса автоматизированного проектирования программного обеспечения специализированных бортовых систем авиационного применения типа КСЭИС, дан анализ этапов наполнения информационной БД, применения имитирующей среды и окончательной сборки целевого проекта.

При проведении практических работ по формированию графической подсистемы многофункциональных индикаторов, для реализации графических приложений функциональных задач встраиваемых систем типа КСЭИС, получены свидетельства об официальной регистрации: 1. Графическая библиотека для систем электронной индикации // Свидетельство №2006612257, М.:Роспатент, 30.06.2006. [97]

2. Программа построения гладкой линии для графической библиотеки систем электронной индикации // Свидетельство №2006612397, М.:Роспатент, 07.07.2006. [98]

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

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

1. Александров, А. Трехмерные ландшафты / А. Александров. // Computerworld #14/2006 (http://www.osp.ni/text/302/l 154638/)

2. Алексеев, Э.П. Перспективные интегрированные комплексы авионики гражданских самолетов НИИ АО / Э.П. Алексеев, А.В. Евгенов, М.П. Перчаткин. // г. Жуковский, Россия,-(http://www.niiao.ru/articlemaks2001 .htm)

3. Кучерявый, А.А. Современная интегрированная модульная авионика: состояние и тенденции развития / А.А. Кучерявый // Аналитический обзор. Редакция 08-2006. ОАО «УКБП», г.Ульяновск. Россия.

4. Avionics overview, Smart cockpits, safer skies and doing business in the air // Professional Pilot, Apr p.66

5. Павлов, A.M. Принципы организации бортовых вычислительных систем перспективных летательных аппаратов / A.M. Павлов. // ГосНИИАС, Мир компьютерной автоматизации, 4/2001

6. Ефанов, В.Н. Стеклянная кабина экипажа: тенденции и перспективы / В.Н. Ефанов // Мир авионики. 2001. №1 С.20-26.

7. Третьяков, Д. А. Системы кабинной индикации: мода или необходимость / Д.А. Третьяков // Мир авионики. 2001. №1 С.27-29.

8. Парамонов, П.П. Теория и практика статистического анализа картографических изображений в системах навигации пилотируемых летательных аппаратов / П. П. Парамонов, Ю. А. Ильченко, И. О. Жаринов//Датчики и системы. —М.:, 2001 №8. — С.15-19.

9. Никулин, А.С. Проектирование программного обеспечения компонентной архитектуры для перспективных авиационных комплексов / А.С. Никулин, А.П. Рогалев, Ю.Н. Кофанов // Информационные технологии в проектировании и производстве. 2002. № 2.

10. Липаев, В.В. Технология сборочного программирования / В.В. Липаев, Б.А. Позин, А.А. Штрик // Под ред. В.В. Липаева. -М.: Машиностроение, 1992.

11. Sutherland, I. Е. Sketchpad: A Man-Machine Graphical Communication System / I. E. Sutherland // PhD thesis, Massachusetts Institute of Technology, January 1963.

12. Oswald, E. A Generic 2D Graphics API with Object Framework and Applications / E. Oswald // Diss. ETH Nr. 13778, SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZEURICH (ETH ZEurich)

13. Bresenham, J. E. Algorithm for computer control of a digital plotter / J. E. Bresenham II IBM Systems Journal, 4(1):25~30, 1965.

14. Bresenham, J. E. A linear algorithm for incremental digital display of circular arcs / J. E. Bresenham // Communications of the ACM, 20(2): 100-106, February 1977.

15. Crow, F.C. The aliasing problem in computer-generated shaded images / F.C. Crow // Communications of the ACM, 20(11):799-805, November 1977.

16. Crow, F.C. A comparison of antialiasing techniques / F.C. Crow // Computer Graphics & Applications, 1(1):40—48, January 1981.

17. Newman, W. Principles of Interactive Computer Graphics / W. Newman and R. Sproull // McGraw-Hill, 1973.

18. Sutherland, I. E. Reentrant polygon clipping /1. E. Sutherland and G. W. Hodgman // Communications of the ACM, 17(1):32—42, January 1974.

19. Cyrus, M. Generalized two- and three-dimensional clipping / M. Cyrus and J. Beck// Computers and Graphics, 3:23—37, 1978.

20. Blinn, J.F. A trip down the graphics pipeline: Line clipping / J. F. Blinn, Jim Blinn's Corner // IEEE Computer Graphics and Applications, 11(1):98-105, January 1991.

21. Liang, Y. A new concept and method for line clipping / Y. Liang and B. Barsky // ACM Transactions on Graphics, 3(1): 1— 22, January 1984.

22. Harris, M.A. Line Drawing, Leap Years, and Euclid / M.A. Harris and E.M. Reingold // ACM Computing Surveys, Vol. 36, No. 1, March 2004, pp. 68-80.

23. Boyer, V. Discrete Analysis for Antialiased Lines / V. Boyer and J.J. Bourdin // EUROGRAPHICS 2000 / A. de Sousa, J.C. Torres Short Presentations

24. Jones, T.R. Antialiasing with Line Samples / T.R. Jones, R.N. Perry // Eurographics Workshop on Rendering, June 2000. (http://www.merl.com/reports/TR2000-21/)

25. Fabris, A.E. Antialiasing of Curves by Discrete Pre-filtering / A.E. Fabris, A.R. Forrest // Computer Graphics (SIGGRAPH '97 Proceedings), August 1997.pp 317-326. (http://citeseer.ist.psu.edu/fabris97antialiasing.html)

26. Роджерс, Д. Алгоритмические основы машинной графики / Д. Роджерс // пер. с англ. М.: Мир, 1989. - 512 е., ил.

27. Роджерс, Д. Математические основы машинной графики / Д. Роджерс, Дж. Адаме // М:, из-во "Мир", 2001

28. Джамбруно, М. Трехмерная графика и анимация / Марк Джамбруно // (2-е изд.) Изд-во "Вильяме", 2002г.

29. Шикин, Е.В. Компьютерная графика. Динамика, реалистическое изображение / Е.В. Шикин, А.В. Боресков // Москва. Диалог-МИФИ, 1996

30. Шикин, Е.В. Компьютерная графика. Полигональные модели / Е.В. Шикин, А.В. Боресков // М.: ДИАЛОГ-МИФИ, 2000. - 464 с.

31. Эйнджел, Эдвард Интерактивная компьютерная графика. Вводный курс на базе OpenGL / Эйнджел Эдвард // 2 изд.: Пер. с англ. М.: Издательский дом "Вильяме", 2001. - 592 е.: ил. - парал. тит. англ.

32. Фоли, Дж. Основы интерактивной машинной графики / Дж. Фоли, А. вэн Дэм // В двух книгах. Пер. с англ.-М.Мир, 1985,- 368 с.ил.

33. Липаев, В.В. Функциональная безопасность программных средств / В.В. Липаев // Jet Info, N8(135)/2004. (http://www.jetinfo.rU/2004/8/l/articlel.8.2004.html)

34. Басс, Л. Архитектура программного обеспечения на практике / Л. Басс, П. Клементе, Р. Кацман // 2-е изд. Издательский дом "Питер", 2006.

35. Таненбаум, Э. С. Операционные системы: разработка и реализация (+CD). Классика CS. / Э.С. Таненбаум, А. С. Вудхалл // Издательский дом "Питер", 2005.

36. Бэкон, Дж. Операционные системы / Дж. Бэкон, Т. Харрис // Издательский дом "Питер", 2004.

37. Кент, Б. Экстремальное программирование/ Кент Бек // СПб.: Питер, 2002.

38. Мартин, Ф. Рефакторинг. Улучшение существующего кода / Мартин Фаулер // Пер. с англ. СПб: Симолв-Плюс, 2003.

39. Нупур, Д. Процессы разработки безопасного программного обеспечения / Нупур Дэвис, Уотте Хамфри, Сэмюэл Редвайн, Герлинда Цибульски, Гэри Макгроу // Открытые системы N08/2004, (http://www.osp.ru/os/2004/08/185088/)

40. Таненбаум, Э. Современные операционные системы / Э. Таненбаум // Издательство: Питер, 2002 г.

41. Шалыто, А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления / А.А. Шалыто // СПб.: Наука, 1998. 628 с.

42. Кнут, Д. Искусство программирования. Т. 1. Основные алгоритмы. / Д. Кнут // М:. Вильяме, 2003.

43. Ахо, А. Структуры данных и алгоритмы / А. Ахо, Д. Хопкрофт, Д. Ульман // М.: Вильяме, 2000.

44. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++ / Г. Буч // М.: Бином, СПб.: Невский диалект, 1998.

45. Элиенс, А. Принципы объектно-ориентированной разработки программ / А. Элиенс // М.: Вильяме, 2002. 496 с.

46. UML™ Resource Page (http://www.uml.org/)

47. Буч, Г. UML. Классика CS. / Г. Буч, А. Якобсон, Дж. Рамбо // 2-е изд. / Пер. с англ.; Под общей редакцией проф. С. Орлова СПб.: Питер, 2006. - 736 с. ISBN 5-469-00599-2

48. Telelogic АВ. (http://www.telelogic.com/)

49. Rational Software (http://www-306.ibm.com/software/ru/rational/)

50. Липаев, В.В. Надежность программного обеспечения АСУ / В.В. Липаев//М., Энергоиздат, 1981.

51. Engenuity Techologies (http://www. Engenuitytech.com)

52. National Aerospace Laboratory NLR (http://www.nlr.nl)

53. Esterel Technologies (http://www.esterel-technologies.com)

54. Distributed Simulation, Inc. (DiSTI) (http://www.simulation.com)

55. Wind Rive (http://www.windriver.com/)

56. Тяпченко, Ю.А. Система отображения информации ОК "БУРАН" / Ю.А. Тяпченко // "Авиакосмическая техника и технология" научно-технический журнал "Авиакосмической" секции Российской Инженерной Академии, N4, 1998, 48 стр., ил., тираж 300 экз.

57. Тяпченко, Ю.А. Системы отображения информации типа «Нептун» космических аппаратов "Союз-Т", "Союз-ТМ". / Ю.А. Тяпченко // ЗАО НТЦ «Альфа-М» г. Жуковский, Московская обл.

58. Манушин, В.А. Система формирования цветного растрового индикатора / В.А. Манушин // Отчет о научно-исследовательской работе (Книга 1 и Книга 2). Казанский авиационный институт им. А.Н.Туполева. Казань 1992г.

59. Ефанов, В.Н. Стеклянная кабина экипажа: тенденции и перспективы / Ефанов В.Н. // Мир авионики. 2001. №1 с.20-26.

60. Третьяков, Д.А. Системы кабинной индикации мода или необходимость / Д.А. Третьяков // Мир авионики. 2001. №1 с.27-29.

61. Павлов, A.M. Принципы организации бортовых вычислительных систем перспективных летательных аппаратов / A.M. Павлов // ГосНИИАС, Мир компьютерной автоматизации, 4/2001

62. Бодрунов, С.Д. «Панда» займет нишу многофункциональных БРЛС на период разработки радиолокационных систем пятого поколения / С.Д.Бодрунов, Ю.И.Белый, В.А.Таганцев, Ю.И.Зеленюк // Мир авионики №3, 2003, стр. 19-22

63. Федунов, Б.Е. Бортовые интеллектуальные системы управления и наведения пилотируемых летательных аппаратов / Б.Е. Федунов // ФГУП ГосНИИ авиационных систем, Москва. ISBN 5-7262-0633-9. Научная сессия мифи-2006. Том 3

64. Смелянский, P.JI. Проблемы разработки и анализа функционирования встроенных систем реального времени / P.JI. Смелянский // МГУ им. М.В. Ломоносова, ф-т ВМиК, [e-mail]

65. Коварцев, А.Н. Автоматизация разработки и тестирования программных средств на основе технологии графо-символического программирования / А.Н. Коварцев // Дис. на соиск. учен. ст. докт. тех. наук. г.Самара, 1999. 284 с.

66. Вечно живая Ada // Computerworld #45/2005 (http://www.osp.ru/text/302/373021/)

67. Опыт создания бортового ПО для истребителя F-22 // 2000 №35 Корпоративные системы. (http://www.pcweek.ru/themes/detail .php?ID=5 5471)

68. Graphics Standards Planning Committee. Status report of the graphics standards planning committee // Computer Graphics, 11, 1977.

69. Graphics Standards Planning Committee. Status report of the graphics standards planning committee // Computer Graphics, 13(3), August 1979.

70. International Organization for Standardization. The graphical kernel system (GKS) // Technical Report 7942, ISO Geneva, 1985.

71. ANSI (American National Standards Institute). American National Standard for Information Processing Systems.Computer Graphics. Graphical Kernel System (GKS) Functional Description. // ANSI, 1985. ANSI X3.124-1985.

72. Вельтмандер, П.В. Машинная графика / П.В. Вельтмандер //(Учебное пособие в 3-х книгах), ISBN 5-230-13583-2, О Новосибирский государственный университет, 1997 (http://ermak.cs.nstu.ru/kgrivs/kg01.htm)

73. Wu, Xiaolin An efficient antialiasing technique / Wu, Xiaolin // Computer Graphics 25 (4): 143-152. ISBN 0-89791-436-8.

74. Requirements Engineering Management. Findings Report Phase 1 // RTCA Special Committee 205 (Software Considerations in Aeronautical Systems), December 20, 2005

75. ARINC-429, ARINC Specification 429, Digital Information Transfer System Parts 1, 2, 3 Special Discount Rate, (http://www.arinc.com/)

76. Ларин, К.В. Разработка алгоритмов визуализации графической информации для встраиваемых систем / К.В. Ларин, В.В. Шишкин // Научно-технический калейдоскоп N 2, 2004.- с.47-51.

77. Ларин, К.В. Анализ систем управления требованиями / К.В. Ларин, В.В. Шишкин // Труды международной «Конференции по логике, информатике, науковедению», Ульяновск, УлГТУ, 17-18 мая 2007 года. Том 2.-С.41.

78. Ларин, К.В. Автоматизация разработки комплексных систем электронной индикации и сигнализации летательных аппаратов / К.В. Ларин, В.В. Шишкин, С.И. Елькин // Датчики и системы. М:, 2007 №12(103). с.35-38.

79. Графическая библиотека для систем электронной индикации / Ларин К.В., Азов С.К., Макаров Н.Н., Хоменко В.И.: заявитель и правообладатель ОАО «УКБП» // Свидетельство №2006612257, М.:Роспатент, 30.06.2006

80. Программа построения гладкой линии для графической библиотеки систем электронной индикации / Ларин К.В., Азов С.К., Макаров Н.Н.: заявитель и правообладатель ОАО «УКБП» // Свидетельство №2006612397, М.:Роспатент, 07.07.2006

81. D0-160(A F), Environmental Conditions and Test Procedures for Airborne Equipment.http://www.rtca.org/downloads/ListofAvailableDocsWebDEC2007.htm)

82. DO-254, Design Assurance Guidance for Airborne Electronic Hardware. (http://www.rtca.org/downloads/ListofAvailableDocsWebDEC2007.htm)

83. ARINC-653, ARINC Report 653 Avionics Application Software Standard Interface, (http://www.arinc.com/)

84. KT-178B. Квалификационные требования. Часть 178В. Требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники. // Межгосударственный Авиационный Комитет, Авиационный Регистр. 1997.

85. System application program interface (API) С Language. : ISO/IEC 9945-1, ANSI/IEEE Std 1003.1 // New York, NY: IEEE, 1996, ISBN 155937-573-6

86. УТВЕРЖДАЮ» Генеральный директор ОАО «Ульяновское ^^^^i^topGKoe бюро приборостроения», к.т.н.1. Н. Н. Макаров200®г.1. АКТ

87. Об использовании результатов диссертационной работы Ларина Кирилла Валентиновича

88. Главный конструктор 1-го направления, к.т.н.1. В.П. Деревянкин