К вопросу о построении спецификации для бортовых управляющих алгоритмов реального времени

А. А. Тюгашёв, А. Ю. Богатов

Аннотация


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


Ключ. слова


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

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

PDF

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

1. Мальцев, А. И. Алгебраические системы [Текст] / А. И. Мальцев. – Москва: Наука, 1970. – 400 с.

2. Касьянов, В. Н. Графы в програм-мировании: обработка, визуализация и применение [Текст] / В. Н Касьянов, В. А. Евстигнеев. – СПб.: БХВ – Петербург, 2003. – 1104 с.

3. Калентьев, А. А. Автоматизиро-ванный синтез алгоритмов асинхронного управления техническими системами с множеством дискретных состояний [Текст] / А. А Калентьев. – Самара: СГАУ, 1998. – 204 с.

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

Ссылки

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


 

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

 

ISSN: 2541-7533