Отправить статью по E-mail 
Визуальный подход к верификации управляющих программ реального времени
- Авторы: Тюгашев А.А.1, Богатов А.Ю.1, Шулындин А.В.1
-
Учреждения:
- Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
- Выпуск: Том 11, № 1 (2012)
- Страницы: 219-225
- Раздел: УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА
- 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
Цитировать
Полный текст
Аннотация
Описывается подход и поддерживающие его инструментальные программы, позволяющие проводить визуальную верификацию корректности синхронизации процессов, выполнение которых координируется на борту космического аппарата с помощью программ комплексного функционирования, реализующих управляющие алгоритмы реального времени. Разработка дополняет и может использоваться совместно с ранее описанной средой проектирования и разработки управляющих алгоритмов ГРАФКОНТ.
Об авторах
А. А. Тюгашев
Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
Автор, ответственный за переписку.
Email: tau797@mail.ru
Доктор технических наук
Профессор кафедры программных систем
РоссияА. Ю. Богатов
Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
Email: artmbogatov@yandex.ru
Аспирант кафедры программных систем
РоссияА. В. Шулындин
Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
Email: sasha2410@mail.ru
Аспирант кафедры программных систем
РоссияСписок литературы
- 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.
Дополнительные файлы
