Email this article 
Visual approach to verifictaion of real-time control software
- Authors: Tyugashev A.A.1, Bogatov A.Y.1, Shulyndin A.V.1
-
Affiliations:
- Samara State Aerospace University
- Issue: Vol 11, No 1 (2012)
- Pages: 219-225
- Section: CONTROL, COMPUTER SCIENCE AND INFORMATION SCIENCE
- URL: https://journals.ssau.ru/vestnik/article/view/1950
- DOI: https://doi.org/10.18287/2541-7533-2012-0-1(32)-219-225
- ID: 1950
Cite item
Full Text
Abstract
The paper is devoted to the problem of verification of critical real-time control programs, for example, verification of spacecraft onboard software. A special software complex supporting visual verification of correct synchronization between the controlled processes is described in the paper. A semantic model of real-time control algorithm is also provided.
About the authors
A. A. Tyugashev
Samara State Aerospace University
Author for correspondence.
Email: tau797@mail.ru
Doctor of Sciences
Professor of the Program Systems Department
Russian FederationA. Yu. Bogatov
Samara State Aerospace University
Email: artmbogatov@yandex.ru
Post-graduate Student
Russian FederationA. V. Shulyndin
Samara State Aerospace University
Email: sasha2410@mail.ru
Post-graduate Student
Russian FederationReferences
- Parker, D. A. Survey of Visual Programming Tools / D. Parker - Technical Report, University of Alberta, Canada, 2003.
- Boshernitsan, M. Visual Programming Languages: A Survey / M. Boshernitsan, M. S. Downes. - Technical Report No. UCB/CSD-04-1368 Computer Science Division, EECS University of California, 2004.
- Glinert, E. P. Visual Programming Environments: Paradigms and Systems, 1990.
- Авербух, В. Л. Cовременные тенденции в разработке средств визуализации программного обеспечения параллельных вычислений [Текст] / В. Л. Авербух, М. О. Бахтерев, П. А. Васёв и др. // Международный семинар «Супервычисления и математическое моделирование»: тез. докл. – Саров: ФГУП «РФЯЦ ВНИИЭФ», 2011. С. 18-19.
- Jia, Xu. On Inspection and Verification of Software with Timing Requirements / Xu Jia // IEEE transactions on software engineering. Vol. 29, No. 8, august 2003.
- Кларк, Э. Верификация моделей программ: Model checking [Текст] / Э. Кларк. Грумберг, Пелед. - МЦНМО, 2002.
- Управление космическими аппаратами зондирования Земли [Текст]: Компьютерные технологии / Д. И. Козлов, Г. П. Аншаков, Я. А. Мостовой, и др. – М.: Машиностроение, 1998.
- Зюбин, В. Е. Графические и текстовые формы спецификации сложных управляющих алгоритмов: непримиримая оппозиция или кооперация? [Текст] / В. Е. Зюбин // сб. тр. VII Международ. конф. по электрон. публикациям "EL-Pub2002" - Новосибирск, 2003.
- Тюгашев А. А. Интегрированная среда для проектирования управляющих алгоритмов реального времени [Текст] / А. А. Тюгашев // Изв. РАН. Теория и процессы управления. - 2006. - № 2. - С. 128-141.
- Калентьев, А. А. ИПИ/CALS технологии в жизненном цикле комплексных программ управления [Текст] / А. А. Калентьев, А. А. Тюгашев. – Самара: Изд-во Самар. науч. цента РАН. - 2006.
- Тюгашев, А. А. Автоматизация спецификации, верификации и синтеза управляющих программ реального времени с применением логического и алгебраического подходов. [Текст] / А. А. Тюгашев // Мехатроника, автоматизация, управление. - 2007. -№ 7. - С. 46-51.
- Тюгашев, А. А. Графические языки программирования и их применение в системах управления реального времени [Текст] / А. А. Тюгашев; Рос. акад. наук, Самар. науч. центр. - Самара: Изд-во Самар. науч. центра РАН, 2009.
Supplementary files
