Email this article 
Constructing the specification for the on-board realtime control algorithm
- Authors: Tyugashev A.A.1, Bogatov A.Y.1
-
Affiliations:
- Samara State Aerospace University
- Issue: Vol 10, No 2 (2011)
- Pages: 269-275
- Section: CONTROL, COMPUTER SCIENCE AND INFORMATION SCIENCE
- URL: https://journals.ssau.ru/vestnik/article/view/1691
- DOI: https://doi.org/10.18287/2541-7533-2011-0-2(26)-269-275
- ID: 1691
Cite item
Full Text
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
Doctor of Technical Sciences
Professor of the Department of Computer Systems
Russian FederationA. Yu. Bogatov
Samara State Aerospace University
Email: artmbogatov@yandex.ru
Assistant of the Department of Computer Systems
Russian FederationReferences
- Мальцев, А. И. Алгебраические системы [Текст] / А. И. Мальцев. – Москва: Наука, 1970. – 400 с.
- Касьянов, В. Н. Графы в програм-мировании: обработка, визуализация и применение [Текст] / В. Н Касьянов, В. А. Евстигнеев. – СПб.: БХВ – Петербург, 2003. – 1104 с.
- Калентьев, А. А. Автоматизиро-ванный синтез алгоритмов асинхронного управления техническими системами с множеством дискретных состояний [Текст] / А. А Калентьев. – Самара: СГАУ, 1998. – 204 с.
- Тюгашев, А. А. Синтез и верифи-кация управляющих алгоритмов реально-го времени для бортовых вычислитель-ных систем космических аппаратов [Текст]: дис. … д-ра техн. наук / А. А. Тюгашев. – Самара: Изд-во СГАУ, 2007. – 312 с.
Supplementary files
