Использование графических языков в жизненном цикле бортового программного обеспечения космических аппаратов
- Авторы: Калентьев А.1, Тюгашев А.А.1
-
Учреждения:
- Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
- Выпуск: Том 9, № 2 (2010): Специальный выпуск
- Страницы: 248-259
- Раздел: УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА
- URL: https://journals.ssau.ru/vestnik/article/view/919
- DOI: https://doi.org/10.18287/2541-7533-2010-0-2(22)-248-259
- ID: 919
Цитировать
Полный текст
Аннотация
Статья посвящена вопросам использования графических языков программирования в жизненном цикле бортового программного обеспечения космических аппаратов. Проведен обзор вариантов применения визуального программирования с использованием графических языков, на стадиях спецификации, проектирования, написания и отладки программ. Подчеркнуто, что главной причиной использования графических средств при создании бортового программного обеспечения космических аппаратов является возможность достижения лучшего взаимопонимания в коллективе специалистов по бортовым системам, алгоритмистов, программистов, что позволяет создавать более надежные и качественные программные системы.
Об авторах
А. А. Калентьев
Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
Автор, ответственный за переписку.
Email: sadohina@ssau.ru
Россия
А. А. Тюгашев
Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
Email: sadohina@ssau.ru
Россия
Список литературы
- Соллогуб А.В., Аншаков Г.П., Данилов В.В. Космические аппараты систем зондирования поверхности Земли. Под ред. Д.И. Козлова.-М.:Машиностроение,1993.
- Управление космическими аппаратами зондирования Земли:Компьютерные технологии / Д.И.Козлов, Г.П. Аншаков, Я.А. Мостовой, А.В. Соллогуб.-М.:Машиностроение,1998.
- Теоретические основы проектирования информационно-управляющих систем космических аппаратов / В.В. Кульба, Е.А. Микрин, Б.В. Павлов, В.Н. Платонов; под ред. Е.А. Микрина; Ин-т проблем упр. Им. В.А. Трапезникова РАН.-М.:Наука, 2006.
- Авиастроение. Том 6 (Итоги науки и техники, ВИНИТИ АН СССР). М., 1978.
- Брукс Ф. Мистический человеко-месяц или как создаются программные системы: Пер. с англ.-СПб.:Символ-Плюс, 1999.
- Тьюринг А. Может ли машина мыслить? –М.: Физматгиз, 1950.
- Terry Winograd, Carlos F. Flores. Understanding Computers and Cognition: A New Foundation for Design. Ablex Pub. Corp., Norwood, NJ, 1986.
- Калянов Г.Н. CASE. Структурный системный анализ (автоматизация и применение).-М.:Лори, 1996.
- Вендров А.М. CASE-технологии. Современные методы и средства проектирования информационных систем.-М.:Финансы и статистика,1998
- Калентьев А.А., Тюгашев А.А. ИПИ/CALS технологии в жизненном цикле комплексных программ управления. – Самара:Изд-во Самарского научного цента РАН, 2006.
- Зюбин В.Е. Графические и текстовые формы спецификации сложных управляющих алгоритмов: непримиримая оппозиция или кооперация? – Сб.трудов VII Международной конференции по электронным публикациям "EL-Pub2002", Новосибирск, 2003.
- МЭК 65B/373/CD, Committee Draft - МЭК 61131-3. Programmable controllers. Part 3: Programming languages, 2nd Ed. // International Electrotechnic Commission. 1998.
- Билкун С.Н., Маслюк Г.Ф. О структурном программировании // Программирование. 1976. No 5.
- Рамбо Дж., Блаха М. UML 2.0. Объектно-ориентированное моделирование и разработка, 2-е изд. - СПб: Питер, 2007.
- Коварцев А.Н. Автоматизация разработки и тестирования программных средств. - Самар. гос. аэрокосм. ун-т., Самара, 1999.
- Зубинский А. Визуальное программирование/ Компьютерное обозрение, 2005, №14(483), с.58-60.
- Мартынюк В.В. Выделение цепей в схемах алгоритмов // ЖВМ и МФ.-1961.-Т.1,№1.-C.151-162.
- Янов Ю.И. О логических схемах алгоритмов // Проблемы кибернетики.-М.:Физматгиз,1958.Вып.1. С.75-127.
- Лавров С.С. Об экономии памяти в замкнутых операторных схемах // Журнал вычисл.математики и мат.физики.-1961.-Т.1.,№4.-С.687-701.
- Котов В.Е. Введение в теорию схем программ.-Новосибирск:Наука, 1978.
- Котов В.Е. Сети Петри.-М.:Наука, 1984.
- ГОСТ 19.003-80. Схемы алгоритмов и программ. Обозначения условные графические
- ГОСТ 19.701-90 (ИСО 5807-85). Схемы алгоритмов, программ, данных и систем. Обозначения условные и правила выполнения.
- Вельбицкий И.В., Ковалев А.Л., Лизенко С.Л. Графический интерфейс представления алгоритмов и программ // УСиМ. 1988. №4, С.42-47.
- Паронджанов В.Д. Как улучшить работу ума. Алгоритмы без программистов. –М.:Дело, 2001.
- J. A. Robinson : E ditor's Introduction. Journal of Logic Programming Vol.1 1984.
- Kay, Alan. "The Early History of Smalltalk", in Bergin, Jr., T.J., and R.G. Gibson. History of Programming Languages - II, ACM Press, New York NY, and Addison-Wesley Publ. Co., Reading MA 1996, pp. 511-578
Дополнительные файлы
![](/img/style/loading.gif)