Использование графических языков в жизненном цикле бортового программного обеспечения космических аппаратов

А. А. Калентьев, А. А. Тюгашев

Аннотация


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


Ключ. слова


Графический язык программирования; бортовое программное обеспечение; управляющий алгоритм; космический аппарат

Полный текст:

PDF

Список литературы

Соллогуб А.В., Аншаков Г.П., Данилов В.В. Космические аппараты систем зондирования поверхности Земли. Под ред. Д.И. Козлова.-М.:Машиностроение,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

Ссылки

  • Ссылки не определены.


 

Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 International License.

 

ISSN: 2541-7533