Целью данного курса является ознакомление студентов специальности КСМ с основами Технической диагностики компьютерных систем и сетей. В ходе изложения даны основные определения технической диагностики, показана связь технической диагностики с автоматизированным проектированием, изложены основные этапы построения диагностического обеспечения :

- построение тестов детерминированным способом ;

- исправное и неисправное моделирование цифровых устройств ;

- построение функциональных и структурных алгоритмов поиска дефектов ;

На примере поиска константных дефектов в комбинационных схемах показана методика проведения диагностических экспериментов.

В результате изучения данного курса студенты должны знать:

- основы логического моделирования цифровых устройств (методы синхронного и асинхронного исправного двоичного моделирования, а также методы многозначного моделирования, методы одиночного, дедуктивного и кубического моделирования неисправностей и оценки полноты тестов)

- основы построения тестов цифровых устройств (методы детерминированного построения тестов на основе активизации путей, а также методы псевдослучайного построения тестов с использованием систем моделирования неисправностей);

- основные методы построения условных и безусловных алгоритмов поиска дефектов (условные и безусловные деревья поиска дефктов, а также структурные алгоритмы поиска дефектов);

- основные подходы к диагностированию компьютерных сетей;

В результате изучения данного курса студенты должны уметь:

- строить тесты для цифровых устройств различными методами вручную и с применением компьютерных программ автоматизированного построения тестов;

- выполнять исправное моделирование цифровых устройств и вычислять эталонные реакции в заданных точках схем;

- выполнять анализ состязаний в цифровых схемах;

- выполнять моделирование неисправностей в схемах и анализировать полноту тестов;

- получать и минимизировать диагностическую информацию;

- строить условные и безусловные, структурные и функциональные алгоритмы поиска дефектов;

- проводить диагностические эксперименты и находить физические дефекты в цифровых схемах и сетях.