Аннотация:Разработка качественных сложных аппаратно-программных комплексов – длительный, трудоемкий процесс. Считается, что около половины времени уходит на отладку. Переход на многоядерные процессорные архитектуры сделал использование сильносвязанных систем нормой. Это делает отладку таких систем еще более важной и, одновременно, более сложной.
В данной статье рассматривается предложенная авторами концепция контролируемого выполнения и ее применение к отладке сильносвязанных многопроцессорных комплексов.