Бельхадри Н. . Методы и средства анализа контролепригодности аппаратных компонент СВТ

Объект исследования: Аппаратные компоненты средств вычислительной техники. Цель исследования: Повышение надежности характеристик. Методы исследования и аппаратура: Математические модели на основе теории алгоритмов, графов, вероятности, численные эксперименты. Теоретические результаты и новизна: Разработана модель программных компонент СВТ, методы анализа их контролепригодности и методы синтеза тестов. Практические результаты и новизна: Програмные средства САПР анализа контролепригодности и синтеза тестов для програмируемых компонент СВТ. Предмет и степень внедрения: Програмные средства САПР, лабораторный практикум в рамках учебного процесса. Эффективность внедрения: Не определена. Сфера (область) использования: Контроль и диагностика аппаратных ЭВМ.