Визуальный подход к верификации управляющих программ реального времени

А. А. Тюгашев, А. Ю. Богатов, А. В. Шулындин

Аннотация


Описывается подход и поддерживающие его инструментальные программы, позволяющие проводить визуальную верификацию корректности синхронизации процессов, выполнение которых координируется на борту космического аппарата с помощью программ комплексного функционирования, реализующих управляющие алгоритмы реального времени. Разработка дополняет и может использоваться совместно с ранее описанной средой проектирования и разработки управляющих алгоритмов ГРАФКОНТ.


Ключ. слова


Управляющий алгоритм реального времени; бортовое программное обеспечение; космический аппарат; верификация; визуализация

Полный текст:

PDF

Список литературы

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.

Ссылки

  • Ссылки не определены.


 

Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 International License.

 

ISSN: 2541-7533