На правах рукописи
Научный руководитель:
д.т.н., доцент
Жаринов Игорь Олегович
Санкт-Петербург – 2015 г.
2
ОГЛАВЛЕНИЕ
ОГЛАВЛЕНИЕ ........................................................................................................ 2
ВВЕДЕНИЕ .............................................................................................................. 7
СПИСОК СОКРАЩЕНИЙ
АНИ – аэронавигационная информация,
АРМ – автоматизированное место разработчика,
БСКИ – бортовая система картографической информации,
ВАП – виртуальное адресное пространство,
ВПИ – внутрипроцессорный интерфейс,
ГИС – геоинформационная система,
МК – микроконтроллер,
ОВД – организация воздушного движения,
ОГК – оперативное геоинформационное картографирование,
ОЗУ – оперативное запоминающее устройство,
ОС – операционная система,
ОСРВ – операционная система реального времени,
ПЗУ – постоянное запоминающее устройство,
ПК – персональный компьютер,
ПО – программное обеспечение,
РМП – рабочее место программиста,
САПР – система автоматизированного проектирования,
СУПБД – система управления пространственной базой данных,
ЦММ – цифровая модель местности,
ЦП – цифровой процессор,
ЭВМ – электронно-вычислительная машина,
AICM – aeronautical information conceptual model,
APEX – application executive,
ARM – advanced RISC machine,
ATPCS – ARM thumb procedure call standard,
DIE – debug information entry,
ELF – executable and linkable format,
ISR – interrupt service routine,
LR – link register,
6
ВВЕДЕНИЕ
Актуальность работы. Безопасность полетов пилотируемых
летательных аппаратов определяется большим числом разнообразных
факторов, среди которых надежность электронного оборудования и простота
его эксплуатации играют одну из определяющих ролей.
Одной из подсистем бортового радиоэлектронного оборудования
является система индикации. Она отвечает за отображение экипажу
пилотажной, навигационной, обзорной и других видов бортовой информации.
Отображение навигационной информации является одной из наиболее важных
функций систем самолетовождения, так как без получения своевременной
информации о местоположении летательного аппарата пилот не может
определить, в правильном ли направлении он движется, не произошло ли
отклонение летательного аппарата от маршрута полета и требуется ли
коррекция траектории, если она не соответствует заданной. В аварийных
ситуациях так же критична информация о ближайших аэродромах, где можно
совершить внеплановую посадку.
Наиболее информативный вид навигационных индикационных кадров,
отображаемых системой индикации, – карта рельефа местности. Обычно,
помимо отображения самой карты, требуется произвести совмещение
дополнительной информации на основе текущих условий полета. На данный
момент реализации подобных функций существуют, однако, из-за высокой
требовательности к вычислительным ресурсам, даже несмотря на постоянный
рост возможностей оборудования, возникают ограничения по объему
предоставляемой экипажу информации.
Таким образом, актуальной становится задача исследования проектных
решений в области создания бортовых систем картографической информации
(БСКИ). В ходе работы по повышению эффективности и быстродействия
алгоритмов и структур данных, разработчики авионики сталкиваются с
проблемой, связанной с отсутствием автоматизированных средств,
поддерживающих процесс автоматизации создания БСКИ и ее компонентов.
8
A
1 5
C
B
7
3 1
B
C 2
4
A
Искусственные Естественные
1.5 Выводы
Отладочная информация
Разработчик Компилятор
Отладчик Эмулятор
45
Структура отладочной
информации Операционная
Конфигуратор
система
Анализатор
Файлы
конфигурации
Модуль
Среда Программное автоматизированного
конфигурирования обеспечение для связи с тестирования
аппаратной платформой
Универсальный протокол
Автоматизированная
Отчет, техническая
проверка результатов
Аппаратное обеспечение документация на проект
тестирования
Начало А
Ввод
значения
Ввод выбраной
model_id
нет системы координат
нет
Проверка значения
model_id
Проверка введённых
параметров
Значение
корректно?
Значения
корректны?
да
да
А Б
Ввод вида
Б картографической
проекции
Проверка введённого
значения
нет
Значение
корректно?
да
Установка значений
дополнительных
параметров вида проекции
нет
Ввод Проверка
дополнительных установленных
параметров модели значений
нет Значения
Проверка введённых
значений корректны?
да
Значения
корректны? Использовать
базовую модель?
да
да
Установка
выбранной модели
нет
Ввод способа
отображения
рельефа
нет
Проверка введённого
значения
Значение
корректно?
да
Формирование базового
изображения
Задана
да произвольная точка
привязки?
нет
Проверка маски
user_model_id
Добавление Установлены
дополнительных да дополнительные
объектов флаги?
нет
Добавление
show_base true
объекта
false
Проверка маски
show_idx
Установлены
Добавление
да дополнительные
надписей
флаги?
нет
Добавление
true show_net
координатной сетки
false
summer_base
false true
Проверка маски
user_set
Добавление Установлены
дополнительных да дополнительные
объектов флаги?
нет
Ввод вида
картографической
анимации
нет
Проверка введённого
значения
Значение
корректно?
да
Вывод итогового
изображения
Конец
∆
= + 64 × ∆ × + ∆ × ,
4
FFFFFFFF FFFFFFFF
Сегмент 2
C0000000 C0000000
BFFFFFFF BFFFFFFF
Сегмент 1
A0000000
9FFFFFFF
Сегмент 0
80000000
7FFFFFFF
40000000
Пользовательский 3FFFFFFF
сегмент
20000000
1FFFFFFF
00000000 00000000
2.5 Выводы
ОС
Менеджер Модуль
Ядро
модуля инициализации ядра
ОС раздела
(менеджер приложения)
88
конфигурационные данные (mot) исполняемые файлы приложений (elf) разделяемые библиотеки, файлы данных (mot)
изделие БСКИ
средства загрузки в целевую платформу
Рисунок 3.4. Функциональная схема взаимодействия САПР «Конфигуратор» с другими элементами инструментального
ПО в составе АРМ
89
ПК
Изделие
Интерфейсный
Программная оболочка
Загрузчик
компонент
Монитор
Контроллер Компонент Компонент
Драйвер USB порт
канала протокола идентификации
Тестовое ПО
Дополнительные
Спец. ПО
компоненты
3.5 Выводы
12 7 6 5 4 2
13 9 17 15 3
14 10 8 18 16
11 20 19
21
22
26 23 24
27 28 25
16. Line Number Offset End Found. Найден конец записей, описывающих
местонахождение строк.
17. Compile Unit Found. Найдено описание единицы компиляции.
18. Compile Unit Debug Information Entry Found. Найдена запись
отладочной информации, соответствующая текущей единице компиляции.
19. Compile Unit Attribute Found. Найден атрибут записи отладочной
информации.
20. Compile Unit End Found. Найден конец описания единицы
компиляции.
21. Local Symbols Section Found. Найден раздел, содержащий
информацию о типах и переменных, используемых в пределах текущей
единицы компиляции
22. Local Symbols Debug Information Entry Found. Найдена запись
отладочной информации из раздела локальных переменных.
23. Local Symbols Attribute Found. Найден атрибут записи отладочной
информации.
24. Loclist Found. Найдено начало массива, описывающего объект, чье
местоположение может меняться в течении его существования.
25. Loclist Entry Found. Найдена запись, описывающая одно из
положений непостоянного объекта.
26. Ranges Found. Когда набор адресов записи отладочной информации
не может быть представлен в виде одного смежного диапазона, атрибут
содержит запись в виде списка диапазонов. Данное состояние сигнализирует
о том, что найдено начало списка.
27. Ranges Header Found. Найден заголовок, описывающий список
диапазонов.
28. Ranges Entry Found. Найдена запись, описывающая один из
диапазонов массива.
Помимо показанных на схеме состояний существует еще ошибочное
состояние, в которое можно попасть из любого другого при возникновении
110
ОЗУ 8Мб
ЦП 1 ЦП 2
Контроллер RS-232
Системный таймер
Контроллер
Шина ЦП 1
PCI
ОЗУ
Контроллера
PCI 8Мб
ОЗУОД 8Мб
Почтовые ящики
ПЗУ 64Мб
Внешняя шина МК
начало формального
тестирования
Подготовка и модификация
да
проекта
компиляция тестов и
конфигурации для компиляция тестов и
эмулируемой аппаратной конфигурации для целевой
платформы аппаратной платформы
пакетное выполнение
пакетное выполнение
нет набора тестов на целевой
набора тестов на эмуляторе
аппаратной платформе
да
нет
дополнительный дополнительный
“визуальный” анализ “визуальный” анализ
протоколов тестов протоколов тестов
Тесты Тесты
пройдены пройдены
да
завершение формального
тестирования
Редактирование набора
аппаратных компонентов
эмулируемой платформы Среда эмуляции Системное ПО БСКИ
125
Редактор схемы модуля
Автоматизированная Автоматизированное
Файлы конфигурации (*.с) проверка результатов формирование
документаци
Конфигуратор
Библиотека шаблонов
результатов тестирования
Результаты • Проектное решение
нет совпадают с да • Конструкторская
шаблонами? документация
ITracer IDebugger
Debug Simulator
BreakPoint ISimulator
Device
Terminal ITerminal
9
T, ч
8
0
10 20 30 40 50 60 70 80 90 100
N, шт.
Ручное оформление Автоматизированное формирование
80
Снижение трудоемкости, %
70
60
50
40
30
20
10
0
1 2 3 4 5
4.5 Выводы
ЗАКЛЮЧЕНИЕ
Решение задачи автоматизации процессов, связанных с разработкой,
отладкой и тестированием БСКИ имеет важное народно-хозяйственное
значение для выпуска качественных изделий авионики. В работе предложены
решения, повышающие скорость взаимодействия подсистем, формирующих
индикационные кадры с навигационной информацией, представлены
средства, позволяющие автоматизировать процессы создания компонентов
БСКИ и описан процесс параллельной разработки нескольких компонентов
проекта, позволяющий сократить временные затраты на выпуск качественной
продукции.
Таким образом, основными результатами работы являются:
1. Предложена структура данных, повышающая скорость доступа
пользователя к геоинформационным ресурсам в процессе формирования
индикационных кадров для отображения картографической информации в
процессе полета.
2. Предложен алгоритм автоматизированного формирования
индикационного кадра с учетом параметров, задаваемых пользователем и
условий, в которых осуществляется пилотирование.
3. Предложена схема автоматизированного рабочего места для
создания компонентов БСКИ, включающая программное, математическое,
информационное и технологическое обеспечение САПР.
4. Предложено программное средство для автоматизации процессов,
связанных с разработкой компонентов БСКИ, на основе средств эмуляции
аппаратной платформы БСКИ.
5. Предложен набор средств, автоматизирующих в составе АРМ
процессы настройки взаимодействия платформы инструментальной ЭВМ и
аппаратной платформы БСКИ и его компонентов.
140
СПИСОК ЛИТЕРАТУРЫ
1. Батова С.В., Коновалов П.В., Благонравов С.А., Уткин С.Б. Автоматизация
конфигурирования операционных систем реального времени // Навигация
и управление движением / Материалы XVI конференции молодых ученых,
СПб, ГНЦ РФ ОАО «Концерн «ЦНИИ Электроприбор», 2014, с.384-388.
2. Берлянт А.М. Геоинформационное картографирование. // М.: 1997. – 64 с.
3. Берлянт А.М. Картография. Толкование основных терминов // М.: ГИС-
Ассоциация, 1998. С. 91–104.
4. Благодатских В.А. Стандартизация разработки программных средств / Под
ред. О.С. Разумова. // М.: Финансы и статистика, 2005. – 288с.
5. Богданов А.В., Кирсанова Ю.А., Уткин С.Б., Шек-Иовсепянц Р.А.
Некоторые вопросы создания и использования виртуальных и физических
моделей при разработке аппаратных и программных частей управляющих
цифровых комплексов // Мир авионики, 2001, №1, с.36-39.
6. Борисов Ю.И. Отечественная электронная промышленность и
компонентная база. Перспективы развития. // Электроника: НТБ, 2006, №2.
– с. 6 – 9.
7. Брауде Э. Технология разработки программного обеспечения. // СПб:
Питер, 2004. – 655с.
8. Бурдонов, И.Б., Косачев А.С., Пономаренко В.Н. Операционные системы
реального времени // М.: Институт системного программирования РАН,
2006. - 49 с.
9. Бурков, В.Н., Новиков Д.А. Как управлять проектами: научно-
практическое издание // М.: СИНТЕГ-ГЕО, 1997. - 188 с.
10. Валов А.В. Микропроцессоры и их применение в системах управления.
Учебное пособие // Челябинск, 2012. - 58 с.
11. Варфоломеев И.В., Савельев А.С. Представление и обработка
пространственных данных в ГИС: Методические указания // Красноярск:
КГТУ, 2003 – 34 с.
141
46. Парамонов П.П., Гатчин Ю.А., Жаринов И.О., Жаринов О.О., Дейко М.С.
Принципы построения отраслевой системы автоматизированного
проектирования в авиационном приборостроении // Научно-технический
вестник информационных технологий, механики и оптики, 2012, №6 (82),
с.111–117.
47. Парамонов П.П., Ильченко Ю.А., Жаринов И.О. Теория и практика
статистического анализа картографических изображений в системах
навигации пилотируемых летательных аппаратов // Датчики и системы,
2001, №8, с.15-19.
48. Парамонов П.П., Ильченко Ю.А., Жаринов И.О., Тарасов П.Ю.
Структурный анализ и синтез графических изображений на экранах
современных средств бортовой индикации на плоских
жидкокристаллических панелях // Авиакосмическое приборостроение,
2004, №5, с.50-57.
49. Парамонов П.П., Жаринов И.О. Интегрированные бортовые
вычислительные системы: обзор современного состояния и анализ
перспектив развития в авиационном приборостроении // Научно-
технический вестник информационных технологий, механики и оптики. –
2013, – № 2 (84). – c. 1–17
50. Парамонов П.П., Коновалов П.В., Жаринов И.О., Кирсанова Ю.А., Уткин
С.Б. Реализация структуры данных, используемых при формировании
индикационного кадра в бортовых системах картографической
информации // Научно-Технический Вестник Информационных
технологий, механики и оптики. - Санкт-Петербург, 2013. - Вып. 2(84). - С.
165-167.
51. Парамонов П.П., Коновалов П.В., Жаринов И.О., Кирсанова Ю.А., Уткин
С.Б. Особенности использования метрических данных при формировании
индикационного кадра в бортовых системах картографической
информации // Сборник трудов молодых ученых, аспирантов и студентов
научно-педагогической школы кафедры ПБКС «Информационная
147
56. Петренко А.К, Буздалов Д.В., Зеленов С.В., Корныхин Е.В., Страх А.В.,
Угненко А.А., Хорошилов А.В. Инструментальные средства
проектирования систем интегрированной модульной авионики // Труды
института системного программирования РАН, 2014, Выпуск №1 / том 26,
с.201-230.
57. Прэтт У. Цифровая обработка изображений. // Москва: Изд-во Мир, 1982–
478 c.
58. Розенфельд А. Распознавание и обработка изображений с помощью
вычислительных машин. // Москва: Изд-во Мир, 1972 – 232 c.
59. Самойлова Л.М. Средства разработки программного обеспечения для
встраиваемых 32-разрядных систем // Современная электроника, 2007, №4,
с.66-69.
60. Сарайский Ю.Н. Геоинформационные основы навигации. Учебное
пособие // СПб.: 2010. – 245 с.
61. Синицин, С.В. Управление изменениями в программных проектах
бортовых систем. // Авиакосмическое приборостроение, 2003, №2. – С. 12
– 16.
62. Хопкрофт Д., Мотвани Р., Ульман Д. Введение в теорию автоматов, языков
и вычислений // Издательский дом «Вильямс», 2002г.
63. Черный М.А., Кораблин В.И. Самолетовождение // М. «Транспорт»: 1973.
– 369 с.
64. Уткин С.Б., Батова С.В., Благонравов С.А., Коновалов П.В., Жаринов И.О.
Автоматизация создания таблицы конфигурации программного
обеспечения систем реального времени в авионике // Программирование,
2015, №4, с.40-46.
65. Батова С.В, Благонравов С.А., Уткин С. Б., Коновалов П.В. Опыт
применения технологии эмуляции процессов при разработке компонентов
программного // Программная инженерия, 2015, №8, c.18-25.
149
66. Aitken S., Michel S. Who Contrives the Real in GIS? Geographic Information,
Planning and Critical Theory. // Cartography and geographic information
systems 22(1), 1995, pp. 17-29.
67. Bernstein M.M., Chulsoo K. AOS: an avionics operating system for multi-level
secure real-time environments // 10th Computer Security Applications
Conference. Proceedings, 1994. – pp. 236-245.
68. Bieber P., Boniol F., Boyer M., Noulard E., Pagetty c. New Challenges for
Future Avionic Architectures // AerospaceLab Journal 4, 2012, pp. 1-10.
69. Burrough P.A., Mcdonnell R.A. Principles of Geographical Information
Systems. // New York: oxford university press, 1998. – 219 p.
70. Davis B. GIS: A Visual Approach. // Onward Press, Thomson Learning, Canada,
1996. – 324 p.
71. Eveleens René L.C. Open Systems Integrated Modular Avionics – The Real
Thing // Mission Systems Engineering. – Educational Notes RTO-EN-SCI-176,
2006. – Neuilly-sur-Seine, November, France: RTO. – Paper 2. – P. 2-1 – 2-22.
72. Helfrick A. Principles of Avionics // Avionics Communications Inc., 2004. –
414 p.
73. Kniga E., Shukalov A., Paramonov P. Organization of onboard digital computer
system with reconfiguration // Communications in Computer and Information
Science, Vol.487, 2014, pp.197-204, DOI: 10.1007/978-3-319-13671-4_24.
74. Kniga E.V., Zharinov I.O. Analysis and algorithms of the control in advanced
digital avionics systems // Automation & Control: Proceedings of the
International Conference of Young Scientists «ISCAC-2013» (21-22 November,
2013), Saint Petersburg, National Research University Saint-Petersburg State
Polytechnical University, 2013, рр.28-32.
75. Konovalov P., Batova S., Utkin S., Blagonravov S. Software Complex Used for
Designing, Testing and Maintenance of Computing Products for Avionics //
Proceeding of International Conference on Mechanical Engineering,
Automation and Control Systems (16-18 October, 2014, Tomsk Polytechnic
University), 2014, pp.1-3, DOI: 10.1109/MEACS.2014.6986848.
150
76. Utkin S.B., Batova S.V., Blagonravov S.A., Konovalov P.V., Zharinov I.O.
Automated construction of software configuration tables for real-time systems
in avionics // Programming and Computer Software, 2015, vol.41, №4, pp.219-
223, DOI: 10.1134/S0361768815040076.
77. Kostishin M.O., Zharinov I.O. Precision characteristics of the positioning of
objects in aircraft geoinformation systems // Automation & Control:
Proceedings of the International Conference of Young Scientists «ISCAC-2013»
(21-22 November, 2013), Saint Petersburg, National Research University Saint-
Petersburg State Polytechnical University, 2013, рр.92-96.
78. MacEachren A. M., Taylor D.R.F. Visualization in Modern Cartography. //
Modern Cartography. Pergamon, 1994. – 286 p.
79. Moir I., Jukes M., Seabridge A. Civil avionic systems // Aptara Inc., New Delhi,
India, 2013. – 553 p.
80. Moore J., Spitzer, C.R. Advanced distributed architectures // CRC Press, Boca
Raton, 2001. – pp. 33-1–33-12.
81. Pizzica S. An Integrate Approach to Robust Avionics Systems Design // 21st
Digital Avionics Systems Conference. Proceedings, Volume 1, 2002. – pp.4D1-
1 – 4D1-10.
82. Roark C., Kiczuk B. Open System Avionics Architectures // Aerospace and
Electronic Systems Magazine, IEEE, Volume 10, Issue 9, 1995. – pp. 18-22.
83. Sherry L., Feary M. Task Design and Verification Testing for Certification of
Avionics Equipment // 23rd Digital Avionics Systems Conference. Proceedings,
Volume 2, 2004. – pp.10.A.3 – 101-10.
84. Spitzer C.R. Digital Avionics Systems: Principles and Practice // Blackburn
Press, 2000. – 277 p.