1. По учету задержек: синхронные и асинхронные

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

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

2. По виду кодирования сигналов: двоичные и многозначные

Суть метода заключается в том, что сигнал кодируется 2 или более значениями, что позволяет отследить риски сбоев и неопределенности на выходах элементов.

3. По очередности моделирования: сквозные и событийные.

В системах асм время моделирования изменяется не постепенно с заранее заданным шагом dt, а в моменты возникновения событий. Под событием в АСМ понимается изменение состояния какого-либо элемента схемы и связанных с ним цепей.

В системах АСМ важную роль играют два массива: массив состояния цепей (МСЦ - хранит информацию о текущем состоянии всех цепей) и очередь будущих событий (ОБС).