Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Automata final
Contenido
Marco teórico................................................................................................................................................................ 3
Glosario ........................................................................................................................................................................ 4
Mejoras futuras........................................................................................................................................................... 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.
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
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.
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.
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
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.
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}
Los autómatas finitos se pueden representar mediante grafos particulares, también llamados diagramas
de estados finitos, de la siguiente manera:
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”
1223233434457777
1223012232334023343445034457777
12232334344503445034457777
1223233434450001223233434457777
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.
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