Данная работа является обзором, в который включены основные результаты теории надежности и контроля. Надежность и контроль — одно из интенсивно развивающихся направлений теории управляющих систем, которая в свою очередь является важнейшим разделом математической кибернетики. Теория управляющих систем имеет дело с определенными классами дискретных моделей, называемых управляющими системами (УС). В обзоре рассматриваются четыре класса УС: контактные схемы, схемы из функциональных элементов, автоматы, программы. В работе рассматриваются вопросы построения надежных схем из ненадежных элементов в классе схем из функциональных элементов, а также в классе контактных схем. Разобраны вопросы построения самокорректирующихся схем в классах контактных схем, схем из функциональных элементов, программ. Приведен краткий обзор важнейших принципов построения надежных схем. Рассмотрены вопросы контроля управляющих систем, в рамках которого разобраны табличный подход к тестированию, использование тестов с учетом структуры, а также алгоритмы контроля.

управляющие системы, контактные схемы, схемы из функциональных элементов, самокорректирующиеся схемы, алгоритмы контроля, автоматы, программы, теория управляющих систем

Математические вопросы и теория численных методов