Разработка моделей, методов и инструментальных средств для автоматизированного проектирования специализированных бортовых систем электронной индикации и сигнализации авиационного применения
Диссертация
В ТЗ определяются требования на работу в жестком реальном времени на многие задачи решаемые комплексомрасширяется функциональное назначение элементов комплексавводятся сложные объекты синтезированной визуализации, относящиеся к 2Dи 3Dпредставлениям и их смешению с потоковой информацией реальных видео-, метеоданных и данных системы предупреждения сближения с землейповышаются требования качества… Читать ещё >
Содержание
- СПИСОК ИСПОЛЬЗОВАННЫХ СОКРАЩЕНИЙ
- 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. Проект сборки файлов системы КСЭИС
- 3. 1. Структура Базы данных параметров
- 4. ИССЛЕДОВАНИЕ МЕТОДИКИ ПРОЕКТИРОВАНИЯ СПО КСЭИС И ПРИМЕНЕНИЯ СРЕДСТВ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ
- 4. 1. Оценка методики автоматизированного проектирования КСЭИС
- 4. 2. Оценка эффективности объектного подхода на примере информационных кадров СИГН, ДВ СИГН, СОСТ, ВСУ, Блоки
- 4. 3. Оценка улучшения качества изображения
- 4. 3. 1. Оценка скорости построения
- 4. 3. 2. Оценка точности построения
- 4. 3. 3. Оценка сходимости векторов
Список литературы
- Александров, А. Трехмерные ландшафты / А. Александров. // Computerworld #14/2006 (http://www.osp.ni/text/302/l 154 638/)
- Алексеев, Э.П. Перспективные интегрированные комплексы авионики гражданских самолетов НИИ АО / Э. П. Алексеев, А. В. Евгенов, М. П. Перчаткин. // г. Жуковский, Россия,-(http://www.niiao.ru/articlemaks2001 .htm)
- Кучерявый, А.А. Современная интегрированная модульная авионика: состояние и тенденции развития / А. А. Кучерявый // Аналитический обзор. Редакция 08−2006. ОАО «УКБП», г. Ульяновск. Россия.
- Avionics overview, Smart cockpits, safer skies and doing business in the air // Professional Pilot, Apr p.66
- Павлов, A.M. Принципы организации бортовых вычислительных систем перспективных летательных аппаратов / A.M. Павлов. // ГосНИИАС, Мир компьютерной автоматизации, 4/2001
- Ефанов, В.Н. Стеклянная кабина экипажа: тенденции и перспективы / В. Н. Ефанов // Мир авионики. 2001. № 1 С.20−26.
- Третьяков, Д. А. Системы кабинной индикации: мода или необходимость / Д. А. Третьяков // Мир авионики. 2001. № 1 С.27−29.
- Парамонов, П.П. Теория и практика статистического анализа картографических изображений в системах навигации пилотируемых летательных аппаратов / П. П. Парамонов, Ю. А. Ильченко, И. О. Жаринов//Датчики и системы. —М., 2001 № 8. — С.15−19.
- Никулин, А.С. Проектирование программного обеспечения компонентной архитектуры для перспективных авиационных комплексов / А. С. Никулин, А. П. Рогалев, Ю. Н. Кофанов // Информационные технологии в проектировании и производстве. 2002. № 2.
- Липаев, В.В. Технология сборочного программирования / В. В. Липаев, Б. А. Позин, А. А. Штрик // Под ред. В. В. Липаева. -М.: Машиностроение, 1992.
- Sutherland, I. Е. Sketchpad: A Man-Machine Graphical Communication System / I. E. Sutherland // PhD thesis, Massachusetts Institute of Technology, January 1963.
- Oswald, E. A Generic 2D Graphics API with Object Framework and Applications / E. Oswald // Diss. ETH Nr. 13 778, SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZEURICH (ETH ZEurich)
- Bresenham, J. E. Algorithm for computer control of a digital plotter / J. E. Bresenham II IBM Systems Journal, 4(1):25~30, 1965.
- 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.
- Crow, F.C. The aliasing problem in computer-generated shaded images / F.C. Crow // Communications of the ACM, 20(11):799−805, November 1977.
- Crow, F.C. A comparison of antialiasing techniques / F.C. Crow // Computer Graphics & Applications, 1(1):40—48, January 1981.
- Newman, W. Principles of Interactive Computer Graphics / W. Newman and R. Sproull // McGraw-Hill, 1973.
- Sutherland, I. E. Reentrant polygon clipping /1. E. Sutherland and G. W. Hodgman // Communications of the ACM, 17(1):32—42, January 1974.
- Cyrus, M. Generalized two- and three-dimensional clipping / M. Cyrus and J. Beck// Computers and Graphics, 3:23—37, 1978.
- 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.
- 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.
- 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.
- Boyer, V. Discrete Analysis for Antialiased Lines / V. Boyer and J.J. Bourdin // EUROGRAPHICS 2000 / A. de Sousa, J.C. Torres Short Presentations
- 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/)
- 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)
- Роджерс, Д. Алгоритмические основы машинной графики / Д. Роджерс // пер. с англ. М.: Мир, 1989. — 512 е., ил.
- Роджерс, Д. Математические основы машинной графики / Д. Роджерс, Дж. Адаме // М, из-во «Мир», 2001
- Джамбруно, М. Трехмерная графика и анимация / Марк Джамбруно // (2-е изд.) Изд-во «Вильяме», 2002 г.
- Шикин, Е.В. Компьютерная графика. Динамика, реалистическое изображение / Е. В. Шикин, А. В. Боресков // Москва. Диалог-МИФИ, 1996
- Шикин, Е.В. Компьютерная графика. Полигональные модели / Е. В. Шикин, А. В. Боресков // М.: ДИАЛОГ-МИФИ, 2000. — 464 с.
- Эйнджел, Эдвард Интерактивная компьютерная графика. Вводный курс на базе OpenGL / Эйнджел Эдвард // 2 изд.: Пер. с англ. М.: Издательский дом «Вильяме», 2001. — 592 е.: ил. — парал. тит. англ.
- Фоли, Дж. Основы интерактивной машинной графики / Дж. Фоли, А. вэн Дэм // В двух книгах. Пер. с англ.-М.Мир, 1985, — 368 с.ил.
- Липаев, В.В. Функциональная безопасность программных средств / В. В. Липаев // Jet Info, N8(135)/2004. (http://www.jetinfo.rU/2004/8/l/articlel.8.2004.html)
- Басс, Л. Архитектура программного обеспечения на практике / Л. Басс, П. Клементе, Р. Кацман // 2-е изд. Издательский дом «Питер», 2006.
- Таненбаум, Э. С. Операционные системы: разработка и реализация (+CD). Классика CS. / Э. С. Таненбаум, А. С. Вудхалл // Издательский дом «Питер», 2005.
- Бэкон, Дж. Операционные системы / Дж. Бэкон, Т. Харрис // Издательский дом «Питер», 2004.
- Кент, Б. Экстремальное программирование/ Кент Бек // СПб.: Питер, 2002.
- Мартин, Ф. Рефакторинг. Улучшение существующего кода / Мартин Фаулер // Пер. с англ. СПб: Симолв-Плюс, 2003.
- Нупур, Д. Процессы разработки безопасного программного обеспечения / Нупур Дэвис, Уотте Хамфри, Сэмюэл Редвайн, Герлинда Цибульски, Гэри Макгроу // Открытые системы N08/2004, (http://www.osp.ru/os/2004/08/185 088/)
- Таненбаум, Э. Современные операционные системы / Э. Таненбаум // Издательство: Питер, 2002 г.
- Шалыто, А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления / А.А. Шалыто // СПб.: Наука, 1998. 628 с.
- Кнут, Д. Искусство программирования. Т. 1. Основные алгоритмы. / Д. Кнут // М:. Вильяме, 2003.
- Ахо, А. Структуры данных и алгоритмы / А. Ахо, Д. Хопкрофт, Д. Ульман // М.: Вильяме, 2000.
- Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++ / Г. Буч // М.: Бином, СПб.: Невский диалект, 1998.
- Элиенс, А. Принципы объектно-ориентированной разработки программ / А. Элиенс // М.: Вильяме, 2002. 496 с.
- UML™ Resource Page (http://www.uml.org/)
- Буч, Г. UML. Классика CS. / Г. Буч, А. Якобсон, Дж. Рамбо // 2-е изд. / Пер. с англ.- Под общей редакцией проф. С. Орлова СПб.: Питер, 2006. — 736 с. ISBN 5−469−599−2
- Telelogic АВ. (http://www.telelogic.com/)
- Rational Software (http://www-306.ibm.com/software/ru/rational/)
- Липаев, В.В. Надежность программного обеспечения АСУ / В.В. Липаев//М., Энергоиздат, 1981.
- Engenuity Techologies (http://www. Engenuitytech.com)
- National Aerospace Laboratory NLR (http://www.nlr.nl)
- Esterel Technologies (http://www.esterel-technologies.com)
- Distributed Simulation, Inc. (DiSTI) (http://www.simulation.com)
- Wind Rive (http://www.windriver.com/)
- Тяпченко, Ю.А. Система отображения информации ОК «БУРАН» / Ю. А. Тяпченко // «Авиакосмическая техника и технология» научно-технический журнал «Авиакосмической» секции Российской Инженерной Академии, N4, 1998, 48 стр., ил., тираж 300 экз.
- Тяпченко, Ю.А. Системы отображения информации типа «Нептун» космических аппаратов «Союз-Т», «Союз-ТМ». / Ю. А. Тяпченко // ЗАО НТЦ «Альфа-М» г. Жуковский, Московская обл.
- Манушин, В.А. Система формирования цветного растрового индикатора / В. А. Манушин // Отчет о научно-исследовательской работе (Книга 1 и Книга 2). Казанский авиационный институт им. А. Н. Туполева. Казань 1992 г.
- Ефанов, В.Н. Стеклянная кабина экипажа: тенденции и перспективы / Ефанов В. Н. // Мир авионики. 2001. № 1 с.20−26.
- Третьяков, Д.А. Системы кабинной индикации мода или необходимость / Д. А. Третьяков // Мир авионики. 2001. № 1 с.27−29.
- Павлов, A.M. Принципы организации бортовых вычислительных систем перспективных летательных аппаратов / A.M. Павлов // ГосНИИАС, Мир компьютерной автоматизации, 4/2001
- Бодрунов, С.Д. «Панда» займет нишу многофункциональных БРЛС на период разработки радиолокационных систем пятого поколения / С. Д. Бодрунов, Ю. И. Белый, В. А. Таганцев, Ю. И. Зеленюк // Мир авионики № 3, 2003, стр. 19−22
- Смелянский, P.JI. Проблемы разработки и анализа функционирования встроенных систем реального времени / P.JI. Смелянский // МГУ им. М. В. Ломоносова, ф-т ВМиК, [email protected]
- Коварцев, А.Н. Автоматизация разработки и тестирования программных средств на основе технологии графо-символического программирования / А. Н. Коварцев // Дис. на соиск. учен. ст. докт. тех. наук. г. Самара, 1999. 284 с.
- Вечно живая Ada // Computerworld #45/2005 (http://www.osp.ru/text/302/373 021/)
- Опыт создания бортового ПО для истребителя F-22 // 2000 № 35 Корпоративные системы. (http://www.pcweek.ru/themes/detail .php?ID=5 5471)
- Graphics Standards Planning Committee. Status report of the graphics standards planning committee // Computer Graphics, 11, 1977.
- Graphics Standards Planning Committee. Status report of the graphics standards planning committee // Computer Graphics, 13(3), August 1979.
- International Organization for Standardization. The graphical kernel system (GKS) // Technical Report 7942, ISO Geneva, 1985.
- 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.
- Вельтмандер, П.В. Машинная графика / П. В. Вельтмандер //(Учебное пособие в 3-х книгах), ISBN 5−230−13 583−2, О Новосибирский государственный университет, 1997 (http://ermak.cs.nstu.ru/kgrivs/kg01.htm)
- Wu, Xiaolin An efficient antialiasing technique / Wu, Xiaolin // Computer Graphics 25 (4): 143−152. ISBN 0−89 791−436−8.
- Requirements Engineering Management. Findings Report Phase 1 // RTCA Special Committee 205 (Software Considerations in Aeronautical Systems), December 20, 2005
- ARINC-429, ARINC Specification 429, Digital Information Transfer System Parts 1, 2, 3 Special Discount Rate, (http://www.arinc.com/)
- Ларин, К.В. Разработка алгоритмов визуализации графической информации для встраиваемых систем / К. В. Ларин, В. В. Шишкин // Научно-технический калейдоскоп N 2, 2004.- с.47−51.
- Ларин, К.В. Анализ систем управления требованиями / К. В. Ларин, В. В. Шишкин // Труды международной «Конференции по логике, информатике, науковедению», Ульяновск, УлГТУ, 17−18 мая 2007 года. Том 2.-С.41.
- Ларин, К.В. Автоматизация разработки комплексных систем электронной индикации и сигнализации летательных аппаратов / К. В. Ларин, В. В. Шишкин, С. И. Елькин // Датчики и системы. М, 2007 № 12(103). с.35−38.
- Графическая библиотека для систем электронной индикации / Ларин К. В., Азов С. К., Макаров Н. Н., Хоменко В. И.: заявитель и правообладатель ОАО «УКБП» // Свидетельство № 2 006 612 257, М.:Роспатент, 30.06.2006
- Программа построения гладкой линии для графической библиотеки систем электронной индикации / Ларин К. В., Азов С. К., Макаров Н. Н.: заявитель и правообладатель ОАО «УКБП» // Свидетельство № 2 006 612 397, М.:Роспатент, 07.07.2006
- D0−160(A F), Environmental Conditions and Test Procedures for Airborne Equipment. http://www.rtca.org/downloads/ListofAvailableDocsWebDEC2007.htm)
- DO-254, Design Assurance Guidance for Airborne Electronic Hardware. (http://www.rtca.org/downloads/ListofAvailableDocsWebDEC2007.htm)
- ARINC-653, ARINC Report 653 Avionics Application Software Standard Interface, (http://www.arinc.com/)
- KT-178B. Квалификационные требования. Часть 178 В. Требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники. // Межгосударственный Авиационный Комитет, Авиационный Регистр. 1997.
- System application program interface (API) С Language.: ISO/IEC 9945−1, ANSI/IEEE Std 1003.1 // New York, NY: IEEE, 1996, ISBN 155 937−573−6
- УТВЕРЖДАЮ" Генеральный директор ОАО «Ульяновское ^^^^i^topGKoe бюро приборостроения», к.т.н.1. Н. Н. Макаров200®г.1. АКТ
- Об использовании результатов диссертационной работы Ларина Кирилла Валентиновича
- Главный конструктор 1-го направления, к.т.н.1. В.П. Деревянкин