Big Data domain is one of the most promising ICT sectors with substantial expectations both
on the side of market growing and design shift in the area of data storage managment and …

Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …

A detailed generic model of the control design process is introduced and discussed. It is
used for surveying different formal approaches in the context of PLC programming. The …

The implementation of a monitoring and control system for the induction motor based on
programmable logic controller (PLC) technology is described. Also, the implementation of …

Programmable logic controllers (PLCs) are indispensable in critical infrastructures and
industrial control systems. The increasing demand for enhanced cost-effectiveness and …

This paper introduces Arcade. PLC, a verification platform for programmable logic
controllers (PLCs). The tool supports static analysis as well as ACTL and past-time LTL …

Programmable Logic Controllers (PLCs) play a critical role in the industrial control systems.
Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to …

In the past years there is an increasing interest in analysing PLC applications with formal
methods. The first step to this end is to get formal models of PLC applications. Meanwhile …

Cyber-physical control systems, such as industrial control systems (ICS), are increasingly
targeted by cyberattacks. Such attacks can potentially cause tremendous damage, affect …

El presente trabajo es una monografía orientada hacia la utilización del formalismo de las
Redes de Petri, propuesto por Carl Petri en la descripción de Sistemas Dinámicos de …