Visual approach to verifictaion of real-time control software

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

Russian Federation

Doctor of Sciences

Professor of the Program Systems Department

A. Yu. Bogatov

Samara State Aerospace University

Email: artmbogatov@yandex.ru

Russian Federation

Post-graduate Student

A. V. Shulyndin

Samara State Aerospace University

Email: sasha2410@mail.ru

Russian Federation

Post-graduate Student

References

  1. Parker, D. A. Survey of Visual Programming Tools / D. Parker - Technical Report, University of Alberta, Canada, 2003.
  2. 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.
  3. Glinert, E. P. Visual Programming Environments: Paradigms and Systems, 1990.
  4. Авербух, В. Л. Cовременные тенденции в разработке средств визуализации программного обеспечения параллельных вычислений [Текст] / В. Л. Авербух, М. О. Бахтерев, П. А. Васёв и др. // Международный семинар «Супервычисления и математическое моделирование»: тез. докл. – Саров: ФГУП «РФЯЦ ВНИИЭФ», 2011. С. 18-19.
  5. Jia, Xu. On Inspection and Verification of Software with Timing Requirements / Xu Jia // IEEE transactions on software engineering. Vol. 29, No. 8, august 2003.
  6. Кларк, Э. Верификация моделей программ: Model checking [Текст] / Э. Кларк. Грумберг, Пелед. - МЦНМО, 2002.
  7. Управление космическими аппаратами зондирования Земли [Текст]: Компьютерные технологии / Д. И. Козлов, Г. П. Аншаков, Я. А. Мостовой, и др. – М.: Машиностроение, 1998.
  8. Зюбин, В. Е. Графические и текстовые формы спецификации сложных управляющих алгоритмов: непримиримая оппозиция или кооперация? [Текст] / В. Е. Зюбин // сб. тр. VII Международ. конф. по электрон. публикациям "EL-Pub2002" - Новосибирск, 2003.
  9. Тюгашев А. А. Интегрированная среда для проектирования управляющих алгоритмов реального времени [Текст] / А. А. Тюгашев // Изв. РАН. Теория и процессы управления. - 2006. - № 2. - С. 128-141.
  10. Калентьев, А. А. ИПИ/CALS технологии в жизненном цикле комплексных программ управления [Текст] / А. А. Калентьев, А. А. Тюгашев. – Самара: Изд-во Самар. науч. цента РАН. - 2006.
  11. Тюгашев, А. А. Автоматизация спецификации, верификации и синтеза управляющих программ реального времени с применением логического и алгебраического подходов. [Текст] / А. А. Тюгашев // Мехатроника, автоматизация, управление. - 2007. -№ 7. - С. 46-51.
  12. Тюгашев, А. А. Графические языки программирования и их применение в системах управления реального времени [Текст] / А. А. Тюгашев; Рос. акад. наук, Самар. науч. центр. - Самара: Изд-во Самар. науч. центра РАН, 2009.

Statistics

Views

Abstract - 49

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