В этом примере показано, как смоделировать систему домашней сигнализации, которая имеет несколько датчиков обнаружения вторжения. Когда система обнаруживает вторжение, это дает вам короткое время, чтобы отключить аварийный сигнал. Если вы не отключите аварийный сигнал в течение отведенного времени, система вызывает полицию.
Эта модель показывает, как использовать:
Локальные трансляции событий для координации между параллельными состояниями.
Выход событий для управления внешними блоками.
Входные события для моделирования периодического запуска системы.
График моделирует логику системы безопасности. Он состоит из четырех параллельных состояний: по одному для каждого типа датчика защиты от вторжения (окно, дверь и детектор движения) и четвертого состояния, которое управляет сигнализацией. На каждом временном шаге параллельные состояния оцениваются последовательно, как обозначено числами в верхних правых углах состояний.
Входы в систему включают сигнал, который управляет тем, включен ли аварийный сигнал, и, для каждого датчика, управление включением/выключением и сигнал вторжения. График выводит сигналы, чтобы услышать предупреждение и вызвать полицию.
Дополнительные детали реализации см. в аннотациях графика.