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

Last years experienced the growth of new technologies able to remotely monitor health state
of persons. This includes both (even complex) Medical devices and all kind of wearable …

Nowadays, it is a matter of fact that Cloud is a “must” for all complex services requiring great
amount of resources. Big-Data Services are a striking example: they actually perform many …

Programmable logic controllers (PLCs) are specialized computers for automating a wide
range of cyber-physical systems. Since these systems are often safety-critical, software …

This paper analyzes the end-to-end delay of EtherCAT-based control processes that use the
events of message frames and global clock for synchronized operation. With the end-to-end …

This paper proposes a software architecture based on LabVIEW for controlling discrete
event systems. The proposed architecture is an adaptation of the producer–consumer …

In this paper we propose an approach to verify PLC programs, a common platform to control
systems in the industry. Programs written in the languages of the IEC 61131-3 standard are …

The application of formal methods (especially, model checking and static analysis
techniques) for the verification of safety critical embedded systems has produced very good …

Abstract Multi Agent Systems (MAS) methodologies are emerging as a new approach for
modeling and developing complex distributed systems. When complex constraints have to …

Abstract The software of Programmable Logic Controllers (PLC) for Safety Instrumented
Systems in the oil and gas industry is designed based on safety specifications that must be …