Verificación de los campos de protección 2

Vista previa del material en texto

A. Verificación de los campos de protección
Sistemas de circuito cerrado de televisión
Los sistemas de CCTV, por la flexibilidad que brindan, pueden ir desde sistemas sencillos (los cuales pueden ser desde un sistema cámara-monitor) hasta sistemas complejos (sistemas de 100 o más cámaras, con múltiples monitores, videograbadoras, multiplexores y controladores).
Sistemas de control de acceso
El arreglo recomendado permitirá grabar y ver en un lapso la totalidad de las cámaras. adicionalmente, se considera el software para subir las imágenes de todas y cada una de las cámaras a la PC
B. Ajuste de la programación del equipo instalado.
Verificación de la programación
La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. 
El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación
y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado
Verificación del enlace
En esta aplicación el circuito estará compuesto, aparte de las cámaras y monitores, de un dispositivo de almacenamiento de video (DVR Digital Video Recorder, NVR Network Video Recorder) dependiendo la estructura del circuito ya sea analógico o basado en redes IP
Verificación de la zonificación