Main Content

Modelizar un sistema de seguridad

Este ejemplo muestra cómo modelizar un sistema de alarma doméstico con múltiples sensores de detección de intrusos. Cuando se detecta una intrusión, el sistema proporciona un tiempo breve para deshabilitar la alarma. Si no se deshabilita la alarma dentro del tiempo asignado, el sistema llama a la policía.

Este ejemplo muestra cómo utilizar:

  • Emisiones de eventos locales para coordinar entre estados paralelos.

  • Eventos de salida para impulsar bloques externos.

  • Eventos de entrada para simular la activación periódica de un sistema.

El gráfico modeliza la lógica del sistema de seguridad. Consiste en cuatro estados paralelos, uno para cada tipo de sensor antiintrusos (sensor de ventana, de puerta y de movimiento), y un cuarto estado que controla la alarma. En cada unidad de tiempo, los estados paralelos se evalúan de forma secuencial, según indican los números de las esquinas superiores derechas de los estados.

Entre las entradas del sistema se incluyen una señal que controla si está habilitada la alarma y un control activado/desactivado y una señal de intrusión por cada sensor. El gráfico emite señales para hacer sonar una alerta y llamar a la policía.

Para obtener más detalles sobre la implementación, consulte las anotaciones del gráfico.

Temas relacionados