Está en la página 1de 14

Diseño de

Automata final
Contenido

Diseño de Automata final .................................................................................................................................................. 1

Sistema de control de acceso......................................................................................................................................... 3

Marco teórico................................................................................................................................................................ 3

Glosario ........................................................................................................................................................................ 4

ASPECTOS DEL DISEÑO .................................................................................................................................................... 6

Descripción funcional del AUTÓMATA ............................................................................................................................. 6

Diagrama en bloques del AUTÓMATA ............................................................................................................................. 7

Limitaciones del AUTÓMATA .......................................................................................................................................... 8

Identificación de las variables a manejar por el AUTÓMATA ............................................................................................. 9

Identificación de los elementos del AUTÓMATA .............................................................................................................. 9

Representación en tabla .............................................................................................................................................. 10

Diagramas de Petri ..................................................................................................................................................... 11

Pantallas capturadas de la simulación en la herramienta “VISUAL AUTOMATA SIMULATOR” ............................................ 12

Ejemplos de palabras aceptadas .................................................................................................................................. 12

Ejemplos de palabras no aceptadas.............................................................................................................................. 12

Mejoras futuras........................................................................................................................................................... 13

Otras soluciones encontradas ...................................................................................................................................... 13

Fuentes ...................................................................................................................................................................... 13

2
Sistema de control de acceso

Este autómata funciona integrado con un sistema de seguridad, específicamente el módulo de control
de acceso. Los sistemas de control de acceso son una de las tecnologías en el ámbito de la seguridad
con más demanda en el mercado actual. La migración de sistemas mecánicos y con personal
especializado, a tener procesos de control de entrada y salida completamente automatizados con
diferentes tipos de tecnologías y dispositivos se ha convertido en una necesidad de las empresas
modernas. Para esto es importante realizar un estudio adecuado, segmentando las zonas, los grupos de
acceso, los horarios permitidos, el nivel de acceso de cada usuario, medir la cantidad de personas o
carros que transitan por cada zona y establecer claramente los objetivos de cada control de acceso que
luego serán manejados por el sistema autómata.

Es importante el estudio y diseño previo a cualquier instalación y puesta en marcha de un proyecto de


seguridad y control de acceso. Una adecuada integración de los dispositivos electrónicos con los
dispositivos electromecánicos permitirá incluso reducir drásticamente los costos de personal y totales del
proyecto, haciendo incluso que un sistema de control de accesos se pueda pagar literalmente solo en un
tiempo muy corto.

Marco teórico
La definición más generalizada de un sistema de control de acceso hace referencia al mecanismo que
en función de la identificación ya autenticada permite acceder a datos o recursos. Básicamente
encontramos sistemas de controles de acceso en múltiples formas y para diversas aplicaciones. Por
ejemplo, encontramos sistemas de controles de acceso por software cuando digitamos nuestra
contraseña para abrir el correo, otro ejemplo es cuando debemos colocar nuestra huella en un lector
para encender el PC. Estos casos, son ejemplos que permiten el acceso a datos. Sin embargo, nuestro
enfoque en la seguridad electrónica está relacionado al acceso de recursos, en nuestro caso, apertura
de una puerta, un torniquete o una talanquera por ejemplo.

3
Glosario
Término Definición

Verificación uno-a-uno. Método de validación biométrica que compara la plantilla capturada de


una huella digital, venas dactilares o rostro de un usuario con la plantilla del mismo usuario
1:1 guardada en la memoria de un dispositivo de asistencia o control de acceso, siendo necesario
que el usuario presente un identificador único como un número de ID o tarjeta previo a la
comparación.

Método o conjunto de operaciones organizadas de manera lógica y ordenada para obtener un


resultado o resolver un problema. En los dispositivos de ZKTeco, se utiliza para indicar la versión
Algoritmo
del método de captura, análisis y procesamiento de tecnología biométrica aplicada a la
identificación de huellas digitales, venas dactilares o reconocimiento de rostros.

También conocido como coacción o amenaza. Situación en la cual un usuario de un sistema de


control de acceso es forzado para realizar la apertura de una puerta encontrándose en riesgo su
integridad física. Algunos modelos standalone y paneles de acceso ZKTeco cuentan con una
Amago función para registrar una huella digital o contraseña específica para indicar al sistema que el
usuario está siendo amagado o amenazado permitiendo abrir la puerta normalmente. Al recibir
ésta señal, es posible activar salidas de alarma o auxiliares para ser conectadas a paneles de
alarma en zona silenciosa y avisar del evento a una central de monitoreo de alarma.

También conocido como Standalone. Dispositivo electrónico que puede operar de manera
Autónomo
independiente sin la necesidad de una PC u otro dispositivo.

Dispositivo para solicitar la apertura de una puerta que es controlada por una terminal o panel
Botón de de acceso. El término sin contacto se refiere a que no es necesario tocar el botón, ya que
Salida sin funciona mediante un sensor térmico. Para utilizarlo, se pasa la mano por encima del sensor a
Contacto una distancia máxima de 10cm activando el interruptor que a su vez realizará la solicitud de
apertura.

Nivel de Privilegio de acceso que se asigna a los usuarios de un sistema de control de acceso mediante
Acceso la combinación de horarios y puertas específicas.

Dispositivo electrónico inteligente que permite controlar y restringir el acceso de usuarios a


Panel de
puertas específicas, establecer privilegios y registrar eventos de entradas y salidas mediante
Control de
dispositivos periféricos (lectores). ZKTeco cuenta con dos series de paneles de control de acceso
Acceso
llamadas InBIO y C3.

PIN (Personal Identification Number). Número de Identificación Personal.

4
Término Definición

También conocido como sensor magnético. Dispositivo compuesto de dos imanes que permite
Sensor de conocer el estado de una puerta, ya sea abierta o cerrada, siendo monitoreada por una terminal
Puerta o panel de acceso. Conociendo el estado de una puerta es posible realizar vínculos tales como
activar una sirena en caso de puerta forzada, puerta mantenida abierta, entre otras.

Autónomo. Dispositivo electrónico que puede operar de manera independiente sin la necesidad
Standalone
de una PC u otro dispositivo.

(Transmission Control Protocol/Internet Protocol). Protocolo para la transmisión de datos en una


red local LAN o internet WAN. La dirección IP por default de los dispositivos ZKTeco es
TCP/IP
192.168.1.201 para terminales standalone y paneles de control de acceso y 192.168.1.88 para
cámaras IP.

Autómata, del latín automăta y este del griego αὐτόματος autómatos, ‘espontáneo’ o ‘con
movimiento propio’. Según la RAE, «máquina que imita la figura y los movimientos de un ser
Automata
animado», es un equivalente tecnológico en la actualidad; serían los robots autónomos. Si el
robot es antropomorfo se conoce como androide/

Los Autómatas Finitos son máquinas teóricas que van cambiando de estado dependiendo de la
Automa de
entrada que reciban. La salida de estos Autómatas está limitada a dos valores: aceptado y no
esta finito
aceptado, que pueden indicar si la cadena que se ha recibido como entrada es o no válida.

5
ASPECTOS DEL
DISEÑO

Descripción funcional del AUTÓMATA


El autómata busca brindar acceso a Través de Varias puertas de entrada/salida con limitaciones

6
El sistema describe funcionalmente un control de acceso a través de varias puertas. pudiendo
retornar y salir por la misma puerta de entrada. El autómata no finalizará hasta que el usuario
salga por una de las dos puertas A o E. Lo cual hace que S0 también sea un estado de
finalización.

Para tener acceso se requiere la inserción de 4 dígitos decimales los cuales ya fueron
determinados. El autómata no aceptara la entrada si uno de los cuatro dígitos no cumple con
los requerimientos para abrir la siguiente puerta.
El usuario o autómata permitirá volver siempre atrás con el dígito 0 una vez alcanza un estado
siguiente después de 4 dígitos decimales correctos. Es decir.

Que la entrada 1223.2334.3445.7777 sin él (.) puede escribirse como


1223012232334023343445034457777 y seria aceptada. Esto porque cada 4 dígitos, que
representan el código de usuario, se inserta un cero para retornar, al volver ingresar el dígito
volveremos al estado del que regresamos. El 0 representa comodín o PUSH BOTTON para salir
sin necesidad de ingresar todos los dígitos.

El autómata no finalizará hasta que el usuario salga del sistema.

Diagrama en bloques del AUTÓMATA

7
Limitaciones del AUTÓMATA

El autómata es limitado a brindar acceso solamente por código de 4 dígitos decimales. En caso de requerir
la posibilidad de insertar más código o tener varios códigos para acceso a diferentes puertas la cantidad
de estados hará el sistema complejo de manejar. A través de este esquema.

8
Identificación de las variables a manejar por el
AUTÓMATA
Como toda gramática se definen mediante una cuadrupla G = (N, T, P, S), siendo
- N es un conjunto finito de símbolos no terminales
- T es un conjunto finito de símbolos terminales
- P es un conjunto finito de producciones
- S es el símbolo distinguido o axioma
G = (N, T, P, S)
N = {S1, S2, S3, S4, S5, S6, S7, S8, S9, S10, S11, S12, S13, S14, S15, S16, S17, S18, S19, S20,
S21, S22, S23, S24, S25, S27, S28, S29, S30, S31}
T = {S0, S26}
S = {S0}
P = {0,1,2,3,4,5,6,7,8,9}

Identificación de los elementos del AUTÓMATA

Los autómatas finitos se pueden representar mediante grafos particulares, también llamados diagramas
de estados finitos, de la siguiente manera:

 Los estados se representan como vértices, etiquetados con su nombre en el interior.


 Una transición desde un estado a otro, dependiente de un símbolo del alfabeto, se representa
mediante una arista dirigida que une a estos vértices, y que está etiquetada con dicho símbolo.
 El estado inicial se caracteriza por tener una arista que llega a él, proveniente de ningún otro
vértice.
 El o los estados finales se representan mediante vértices que están encerrados a su vez por
otra circunferencia.

9
Representación en tabla
ENTRADAS
Descripcion ESTADO 1 2 3 4 5 6 7 8 9 0
Afuera S0 S1 S0 S0 S0 S0 S0
S1 S0 S2
S2 S3
S3 S4
Salon A S4 S5
S5 S6
S6 S7
S7 S8
Salon B S8 S9 S3 S4
S9 S10
S10 S11
S11 S12
S12 S23 S17 S8
S13 S15
Salon D S14 S27 S20 S8
S15 S16
S16 S14
S17 S18
S18 S19
S19 S14
S20 S21
S21 S22
S22 S12
S23 S24
S24 S25
S25 S26
Salida E S26
S27 S28
S28 S31
S29
S30
S31 S26

10
Diagramas de Petri

11
Pantallas capturadas de la simulación en la
herramienta “VISUAL AUTOMATA SIMULATOR”

Ejemplos de palabras aceptadas


Muestra de palabras aceptadas

 1223233434457777
 1223012232334023343445034457777
 12232334344503445034457777
 1223233434450001223233434457777

Ejemplos de palabras no aceptadas


 22232334344503445034457777
 22232334344503445034457777
 3223233433357777
 33333233433357777
 Cualquier secuencia que no empiecen con 1223
 Cualquier secuencia que no concluye con 7777

12
Mejoras futuras

Es posible crear un autómata que pueda volver a entrar al sistema y solo finalice si el usuario marca un
código de salida que finalice o que use la puerta de salida E.

Otras soluciones encontradas


Este autómata también permite el ingreso limitado a las puertas pero sin secuencia numérica. Solo con
una letra.

Fuentes
Primarias
Libro: Compiladores: principios, técnicas y herramientas. Pagina 116. Sistemas Autómatas Finitos
https://books.google.com.do/books?id=yG6qJBAnE9UC&pg
Tesis: Universidad Simón Bolívar - Sistema de Control de Acceso
http://159.90.80.55/tesis/000132745.pdf
Secundarias

13
PLC Access Control: Security Analysis
https://ieeexplore.ieee.org/document/7882935/

14

También podría gustarte