Email this article 
Usage of the graphical languages in lifecycle of embedded software for spacecrafts
- Authors: 1 11, 1 11
-
Affiliations:
- Samara State Aerospace University
- Issue: Vol 9, No 2 (2010): Special Issue
- Pages: 248-259
- Section: CONTROL, COMPUTER SCIENCE AND INFORMATION SCIENCE
- 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
Cite item
Full Text
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
- Соллогуб А.В., Аншаков Г.П., Данилов В.В. Космические аппараты систем зондирования поверхности Земли. Под ред. Д.И. Козлова.-М.:Машиностроение,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
Supplementary files
