Un enfoque de verificación fácil de usar para programas de PLC IEC 61131-3
Autores: Xiong, Jiawen; Zhu, Gang; Huang, Yanhong; Shi, Jianqi
Idioma: Inglés
Editor: MDPI
Año: 2020
Acceso abierto
Artículo científico
2020
Un enfoque de verificación fácil de usar para programas de PLC IEC 61131-3
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Controladores lógicos programables
Sistemas de control industrial
Verificación formal
Programas de PLC
Extracción de especificaciones
Verificación de seguridad
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 25
Citaciones: Sin citaciones
Los controladores lógicos programables (PLCs) son computadoras integradas especiales que se utilizan ampliamente en sistemas de control industrial.
Descripción
Los controladores lógicos programables (PLCs) son computadoras integradas especiales que se utilizan ampliamente en sistemas de control industrial.