24.07.2014 Views

Полная версия - Самарский государственный аэрокосмический ...

Полная версия - Самарский государственный аэрокосмический ...

Полная версия - Самарский государственный аэрокосмический ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Вестник Самарского государственного аэрокосмического университета, № 1, 2007<br />

COMPUTER-AIDED SPECIFICATION, VERIFICATION AND SYNSHESIS<br />

OF CONTROL PROGRAMMES ON THE BASIS OF LOGICAL<br />

AND ALGEBRAIC APPROACHES<br />

© 2007 A. A. Tugashev<br />

Samara State Aerospace University<br />

The paper deals with a complex of problems associated with real-time control program specification, verification<br />

and synthesis, carried out aboard a space vehicle. Approaches to solving these tasks on the basis of temporal logic and<br />

extended algebra of control processes are analysed. The structure of an instrumental programme complex of control<br />

programmes for space vehicles based on the approach proposed is described.<br />

252

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!