Подробное описание документа

Васильев Р. Р., Салихов М. З.
Надежность и диагностика автоматизированных систем : курс лекций / Васильев Р. Р., Салихов М. З. ; ред. Салихов З. Г. - Издательский Дом МИСиС, 2005.
Курс охватывает основы теории надежности и диагностирования технических систем. Отдельная глава посвящена методике построения имитационных моделей для решения задач надежности сложных резервируемых и восстанавливаемых систем. Рассмотрены возможности создания надежного программного обеспечения с точки зрения поиска ошибок в программе и оценки количества необнаруженных ошибок. Рассчитан на студентов специальности 210200. Может быть использован студентами других специальностей, знакомых с основами теории вероятностей, булевой алгебры и работой электронных логических схем.