Method of designing reliable real-time control algorithms for spacecraft

Abstract

The problem of designing reliable real-time control algorithms mounted aboard spacecraft is under consideration. The method of designing control algorithms based on the algorithm semantics model is described which guarantees higher reliability. Data on a computer-aided design system that support the technology mentioned are given.

About the authors

1 1

Samara State Aerospace University

Author for correspondence.
Email: sadohina@ssau.ru
Russian Federation

References

  1. “Авиастроение”. Том 6 (Итоги науки и техники, ВИНИТИ АН СССР). М., 1978.
  2. Логика и компьютер. Моделирование рассуждений и проверка правильности программ / А. М. Анисов, П. И. Быстров, В. А. Смирнов и др. М.: Наука, 1990.
  3. Тюгашев А. А. Проблема неоднозначности при порождении логико-временной структуры управляющего алгоритма по многовходовой модели реального времени. // Сб. трудов Третьей международной молодежной школы-семинара БИКАМП-01, СПб, 2001.
  4. Управление космическими аппаратами зондирования Земли: Компьютерные технологии / Д. И. Козлов, Г. П. Аншаков, Я. А. Мостовой, А. В. Соллогуб. М.: Машиностроение, 1998.
  5. Калентьев А. А., Тюгашев А. А. Разработка подсистемы синтеза управляющих алгоритмов на базе исчисления УА // Всероссийская научная шклола “Компьютерная алгебра, логика и интеллектное управление. Проблемы анализа стратегической стабильности”: Сб. трудов, Иркутск, ИрВЦ СО РАН, 1994.
  6. Калентьев А.А. Автоматизированный синтез алгоритмов асинхронного управления технологическими системами с множеством дискретных состояний. Самара: Самар.аэрокосм.ун-т., 1998.

Statistics

Views

Abstract: 2630

PDF (Russian): 1545

Dimensions

PlumX

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