Методика позволяет обеспечить соответствие разрабатываемых алгоритмов и программ требованиям стандартов регламентирующих надежность программного обеспечения, использующегося в системах управления производст-венными объектами.
конечные автоматы, система логического управления, подъёмная установка