Автоматизированная спецификация, верификация и синтез управляющих программ на основе логического и алгебраического подходов

А. А. Тюгашев

Аннотация


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

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

PDF

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

Логика и компьютер. Моделирование рассуждений и проверка правильности программ / А. М. Анисов, П. И. Быстров, В. А. Смирнов и др. – М.: Наука, 1990.

Хоор Ч. А. З. Непротиворечивые взаимодополняющие теории семантики языков программирования // В сб.: Семантика языков программирования. - М.: Мир, 1980.

Ben-Ari M., Manna, Z., Pnueli A.: The Temporal Logic of Branching Time. Proc. 8th Annual Symposium on Principles of Programming Languages, 1981, ACM Press, Williamsburg, p. 164-176. Springer-Verlag, 1992.

Baeten J.C. M., Bergstra J.A.: Real time ProcessAlgebra. FormalAspects of Computing, 3, p.142-188, 1991.

Управление космическими аппаратами зондирования Земли: Компьютерные технологии / Д. И. Козлов, Г. П. Аншаков, Я. А. Мостовой, А. В. Соллогуб. - М.: Машиностроение, 1998.

Ю. М. Урличич, А. С. Селиванов, В. М. Вишняков, Ю. М. Тучин. Предварительные результаты летных испытаний технологического наноспутника ТНС-0 // Тезисы докладов 10-й международной конференции «Системный анализ, управление и навигация». – М.: Изд-во МАИ. - 2005. - С.24-25.

А. А. Калентьев. Автоматизированный синтез алгоритмов асинхронного управления технологическими системами с множеством дискретных состояний / Самар. аэрокосм.ун-т. – Самара. - 1998.

Ссылки

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


 

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

 

ISSN: 2541-7533