Computer-aided specification, verification and synshesis of control programmes on the basis of logical and algebraic approaches

Cover Page

Cite item

Full Text

Abstract

The paper deals with a complex of problems associated with real-time control program specification, verification and synthesis, carried out aboard a space vehicle. Approaches to solving these tasks on the basis of temporal logic and extended algebra of control processes are analysed. The structure of an instrumental programme complex of control programmes for space vehicles based on the approach proposed is described.

About the authors

A. A. Tugashev

Samara State Aerospace University

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

References

Supplementary files

Supplementary Files
Action
1. JATS XML

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