Марат Зуфарович Салихов, Надежность и диагностика автоматизированных систем

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