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

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

Statistics

Views

Abstract: 3494

PDF (Russian): 1881

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