Usage of the graphical languages in lifecycle of embedded software for spacecrafts

Abstract


The paper contains review  of the usage of graphical programming languages (ʻvisual programmingʼ) during specification, design, development and verification of embedded software. The main reason for usage of visual programming is obviousness of the graphical materials for human that allows reaching better understanding  in collective work of developers and creating more reliable software with the high quality.


About the authors

1 1

Samara State Aerospace University

Author for correspondence.
Email: sadohina@ssau.ru

Russian Federation

1 1

Samara State Aerospace University

Email: sadohina@ssau.ru

Russian Federation

References

  1. Соллогуб А.В., Аншаков Г.П., Данилов В.В. Космические аппараты систем зондирования поверхности Земли. Под ред. Д.И. Козлова.-М.:Машиностроение,1993.
  2. Управление космическими аппаратами зондирования Земли:Компьютерные технологии / Д.И.Козлов, Г.П. Аншаков, Я.А. Мостовой, А.В. Соллогуб.-М.:Машиностроение,1998.
  3. Теоретические основы проектирования информационно-управляющих систем космических аппаратов / В.В. Кульба, Е.А. Микрин, Б.В. Павлов, В.Н. Платонов; под ред. Е.А. Микрина; Ин-т проблем упр. Им. В.А. Трапезникова РАН.-М.:Наука, 2006.
  4. Авиастроение. Том 6 (Итоги науки и техники, ВИНИТИ АН СССР). М., 1978.
  5. Брукс Ф. Мистический человеко-месяц или как создаются программные системы: Пер. с англ.-СПб.:Символ-Плюс, 1999.
  6. Тьюринг А. Может ли машина мыслить? –М.: Физматгиз, 1950.
  7. Terry Winograd, Carlos F. Flores. Understanding Computers and Cognition: A New Foundation for Design. Ablex Pub. Corp., Norwood, NJ, 1986.
  8. Калянов Г.Н. CASE. Структурный системный анализ (автоматизация и применение).-М.:Лори, 1996.
  9. Вендров А.М. CASE-технологии. Современные методы и средства проектирования информационных систем.-М.:Финансы и статистика,1998
  10. Калентьев А.А., Тюгашев А.А. ИПИ/CALS технологии в жизненном цикле комплексных программ управления. – Самара:Изд-во Самарского научного цента РАН, 2006.
  11. Зюбин В.Е. Графические и текстовые формы спецификации сложных управляющих алгоритмов: непримиримая оппозиция или кооперация? – Сб.трудов VII Международной конференции по электронным публикациям "EL-Pub2002", Новосибирск, 2003.
  12. МЭК 65B/373/CD, Committee Draft - МЭК 61131-3. Programmable controllers. Part 3: Programming languages, 2nd Ed. // International Electrotechnic Commission. 1998.
  13. Билкун С.Н., Маслюк Г.Ф. О структурном программировании // Программирование. 1976. No 5.
  14. Рамбо Дж., Блаха М. UML 2.0. Объектно-ориентированное моделирование и разработка, 2-е изд. - СПб: Питер, 2007.
  15. Коварцев А.Н. Автоматизация разработки и тестирования программных средств. - Самар. гос. аэрокосм. ун-т., Самара, 1999.
  16. Зубинский А. Визуальное программирование/ Компьютерное обозрение, 2005, №14(483), с.58-60.
  17. Мартынюк В.В. Выделение цепей в схемах алгоритмов // ЖВМ и МФ.-1961.-Т.1,№1.-C.151-162.
  18. Янов Ю.И. О логических схемах алгоритмов // Проблемы кибернетики.-М.:Физматгиз,1958.Вып.1. С.75-127.
  19. Лавров С.С. Об экономии памяти в замкнутых операторных схемах // Журнал вычисл.математики и мат.физики.-1961.-Т.1.,№4.-С.687-701.
  20. Котов В.Е. Введение в теорию схем программ.-Новосибирск:Наука, 1978.
  21. Котов В.Е. Сети Петри.-М.:Наука, 1984.
  22. ГОСТ 19.003-80. Схемы алгоритмов и программ. Обозначения условные графические
  23. ГОСТ 19.701-90 (ИСО 5807-85). Схемы алгоритмов, программ, данных и систем. Обозначения условные и правила выполнения.
  24. Вельбицкий И.В., Ковалев А.Л., Лизенко С.Л. Графический интерфейс представления алгоритмов и программ // УСиМ. 1988. №4, С.42-47.
  25. Паронджанов В.Д. Как улучшить работу ума. Алгоритмы без программистов. –М.:Дело, 2001.
  26. J. A. Robinson : E ditor's Introduction. Journal of Logic Programming Vol.1 1984.
  27. 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

Statistics

Views

Abstract - 57

PDF (Russian) - 22

Article Metrics

Metrics Loading ...

PlumX

Dimensions

Refbacks

  • There are currently no refbacks.

Copyright (c) 2015 VESTNIK of the Samara State Aerospace University

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies