Constructing the specification for the on-board realtime control algorithm

Abstract


An approach to solving the problem of the on-board algorithm specification is proposed. This approach is founded on the calculus of a realtime control algorithm. The possibility of the automation of syntax reduction for the specification is also considered.


About the authors

A. A. Tyugashev

Samara State Aerospace University

Author for correspondence.
Email: tau797@mail.ru

Russian Federation

Doctor of Technical Sciences

Professor of the Department of Computer Systems

A. Yu. Bogatov

Samara State Aerospace University

Email: artmbogatov@yandex.ru

Russian Federation

Assistant of the Department of Computer Systems

References

  1. Мальцев, А. И. Алгебраические системы [Текст] / А. И. Мальцев. – Москва: Наука, 1970. – 400 с.
  2. Касьянов, В. Н. Графы в програм-мировании: обработка, визуализация и применение [Текст] / В. Н Касьянов, В. А. Евстигнеев. – СПб.: БХВ – Петербург, 2003. – 1104 с.
  3. Калентьев, А. А. Автоматизиро-ванный синтез алгоритмов асинхронного управления техническими системами с множеством дискретных состояний [Текст] / А. А Калентьев. – Самара: СГАУ, 1998. – 204 с.
  4. Тюгашев, А. А. Синтез и верифи-кация управляющих алгоритмов реально-го времени для бортовых вычислитель-ных систем космических аппаратов [Текст]: дис. … д-ра техн. наук / А. А. Тюгашев. – Самара: Изд-во СГАУ, 2007. – 312 с.

Statistics

Views

Abstract - 43

PDF (Russian) - 13

Article Metrics

Metrics Loading ...

PlumX

Dimensions

Refbacks

  • There are currently no refbacks.

Copyright (c) 2015 VESTNIK of the Samara State Aerospace University

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies