Email this article 
Real-time control algorithms requirements verification mathematical model implementation in visual design computer-aided system
- Authors: Shulyndin A.V.1, Tjugashev A.A.1
-
Affiliations:
- Samara State Aerospace University
- Issue: Vol 11, No 7 (2012)
- Pages: 59-66
- Section: ISSUE WITHOUT SECTION
- URL: https://journals.ssau.ru/vestnik/article/view/2394
- DOI: https://doi.org/10.18287/2541-7533-2012-0-7(38)-59-66
- ID: 2394
Cite item
Full Text
Abstract
This document describes problems of the spacecraft’s control algorithms correct creating. It contains real-time control algorithms math model, verification math model, it explains requirement’s verification problems of the real-time control algorithms and it describes the visual design computer-aided system functioning, that implementing the verification model.
About the authors
A. V. Shulyndin
Samara State Aerospace University
Author for correspondence.
Email: sasha2410@mail.ru
Post-graduate Student
Russian FederationA. A. Tjugashev
Samara State Aerospace University
Email: tau7@ssau.ru
Doctor of Technical Sciences
Professor of the Program Systems Department
Russian FederationReferences
- Тюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Текст] / А. А. Тюгашев. - Диссерт. докт. техн. наук. – Самара: СГАУ, 2007. – 315 с.
- Тюгашев, А. А. Интегрированная среда для проектирования управляющих алгоритмов реального времени [Текст] / А. А. Тюгашев // Известия РАН. Теория и системы управления. 2006. - №2. – С. 128-141.
Supplementary files
