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

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

Аннотация


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

Ключ. слова


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

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

PDF

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

1. Тюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Текст] / А. А. Тюгашев. - Диссерт. докт. техн. наук. – Самара: СГАУ, 2007. – 315 с.

2. Тюгашев, А. А. Интегрированная среда для проектирования управляющих алгоритмов реального времени [Текст] / А. А. Тюгашев // Известия РАН. Теория и системы управления. 2006. - №2. – С. 128-141.

Ссылки

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


 

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

 

ISSN: 2541-7533