Первые три из них применяются, в основном, в процессе проектирования системы, моделирование на уровне электронных схем рассматривает изменение состоянии элементов так непрерывный процесс и не является имитационным.

В модели на уровне логических элементов вое множество реальных компонентов схемы и протекающие в них переходные процессы могут быть упрощенно представлены бистабильными элементами, состояния которых изменяются мгновенно в дискретные интервалы времени. Подобно этому, логические вентили в модели на уровне регистровых передач могут быть объединены в более крупные элементы, состояния которых изменяются в периоды времени, кратные основному такту отклика базового элемента. Поведение логических элементов описывается двумя значениями принимаемых состояние, либо еще некоторыми дополнительными элементами, такими как неизвестное или переходное состояние.

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

Моделирование на уровне регистровых передач позволяет исследовать следующие вопросы:

Моделирование на уровне системы позволяет определить характеристики производительности и надежности ВС. На системном уровне ВС рассматривается как система массового обслуживания (СМО). Это связано с тем, что анализ ВС не может выполняться на примере какой-то одной задачи; необходим учет всей совокупности обрабатываемых задач и данных. Такое обобщение достигается при использовании статистических закономерностей поступления и обработки информации в ВС, а анализ ВС становится статистическим.

СМО состоит из элементов, являющихся статистическими объектами, которые отображают ресурсы ВС. По ним перемещаются объекты динамического типа, называемые заявками или транзактами. отображающие запросы на ресурсы ВС. На входе ресурсов, занятых обслуживанием заявки, могут образовываться очереди. Правило, согласно которому заявки поступают из очередей на обслуживание, называется дисциплиной обслуживания.

Если все заявки имеют равные приоритеты, то дисциплина обслуживания бесприоритетна. Среди бесприоритетных дисциплин наиболее часто используется обслуживание в порядке поступления (СПП),

обозначаемая также FIFO : first input , first output и обслуживание в обратном порядке (ООП), LIFO : last input , first output .

Среди заявок, имеющих различные приоритеты, первыми обслуживаются те, которые имеют наиболее высокий приоритет. Заявки, имеющие одинаковые приоритеты, обслуживаются в порядке поступления в своем классе.