Надежность и диагностика автоматизированных систем

Курс охватывает основы теории надежности и диагностирования технических систем. Отдельная глава посвящена методике построения имитационных моделей для решения задач надежности сложных резервируемых и восстанавливаемых систем. Рассмотрены возможности создания надежного программного обеспечения с точки зрения поиска ошибок в программе и оценки количества необнаруженных ошибок. Рассчитан на студентов специальности 210200. Может быть использован студентами др.угих специальностей, знакомых с основами теории вероятностей, булевой алгебры и работой электронных логических схем