Exemplul 3: Automat pentru accesul ntr-o cladire

Automatul care permite accesul ntr-o cldire funcioneaz pe baza urmtoarelor semnale:
CORECT/FALS (C), semnal care indic dac codul de acces este corect (C=1) sau greit
(C=0).
DECIZIE (D), semnal care permite luarea n considerare a codului de acces introdus, astfel:
-dac C=1, se permite accesul n cladire prin deschiderea uii, L=1
-dac C=0, se ateapt a 2-a ncercare de introducere a codului
-la a 2-a ncercare, dac C=1, se permite accesul, L=1,
dac C=0, se declaneaz alarma, A=1.
OPRIRE ALARMA (O_A) semnal care permite oprirea alarmei; se execut de un reprezentant
al pazei.
Conform acestor cerine, se realizeaz un sistem cu 4 stri
-ateptare, sistemul asteapt emiterea semnalului care permite luarea n considerare a codului
introdus
-atenie, starea n care sistemul intr ca urmare a unui cod greit
-alarma, starea n care sistemul intr dac au fost introduse 2 coduri greite consecutive
-desc_usa, starea n care sistemul intr ca urmare a codului corect; din aceast stare sistemul
revine pentru un timp n starea ateptare.
n plus, sistemului i se acociaz urmtoarele evenimente i date, n funcie de
semnalele care i definesc funcionarea.
Evenimente:
D, intrarea 1, pe ambele fronturi
O_A, intrarea 2, pe ambele fronturi
Event, intrarea 3, pe ambele fronturi; acest eveniment permite tranzitia din starea desc_usa in
starea asteptare dupa un interval de timp, este un eveniment periodic.
Date:
C, de intrare
L, A, de iesire
Modelul Simulink i diagrama Stateflow sunt prezentate n figurile de mai jos:

Figura .Reprezentarea automatului pentru accesul intr-o cladire in Simulink

Figura.Modelarea sistemului in Stateflow