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