VESTNIK of Samara University. Aerospace and Mechanical EngineeringVESTNIK of Samara University. Aerospace and Mechanical Engineering2542-04532541-7533Samara National Research University50310.18287/2541-7533-2007-0-1(12)-247-252UnknownComputer-aided specification, verification and synshesis of control programmes on the basis of logical and algebraic approachesTugashevA. A.sadohina@ssau.ruSamara State Aerospace University180320076124725229052014Copyright © 2015, VESTNIK of the Samara State Aerospace University2015<p>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.</p>