Formal model of technological processes's description of complex technical systems's tests

Abstract

Theoretical aspects of application of the problem-oriented language for description the tests of the technological processes of complex technical systems are considered. The formal grammar of language and features of use in practice for specification (declaration) of technological processes the tests of satellite power supply system (PSS) is given.

Розглянуто теоретичні аспекти застосування проблемно-орієнтованої мови для опису випробувань технологічних процесів складних технічних систем. Наведено формальну граматику мови та особливості використання на практиці для специфікації (декларування) технологічних процесів випробувань супутникової системи електропостачання.

Рассмотрены теоретические аспекты применения проблемно-ориентированного языка для описания испытаний технологических процессов сложных технических систем. Дана формальная грамматика языка и особенности использования на практике для спецификации (декларации) технологических процессов испытаний спутниковой системы электроснабжения.