Programmable logic controllers (PLCs) are embedded computers widely used in industrial
control systems. Ensuring that a PLC software complies with its specification is a challenging …

Industrial automation systems (IAS) need to be highly dependable; they should not merely
function as expected but also do so in a reliable, safe, and secure manner. Formal methods …

Side-channel attacks such as Spectre rely on properties of modern CPUs that permit
discovery of microarchitectural state via timing of various operations. The Weird Machine …

This paper addresses the verification of non-blockingness for modular discrete-event
systems, ie, discrete-event systems that are composed from component models. For such …

Programmable logic controllers (PLCs) are special embedded computers that are widely
used in industrial control systems. To ensure the safety of industrial control systems, it is …

Programmable Logic Controllers (PLCs) are responsible for automating process control in
many industrial systems (eg in manufacturing and public infrastructure), and thus it is critical …

Programmable logic controllers (PLC) are widely used in industries ranging from assembly
lines, power plants, chemical processes to mining and rail automation. Such systems usually …

In order to maximize cost and quality gains, industrial automation systems need to
incorporate the best practices of software engineering in their application development …

Engineering and computer science have come up with a variety of techniques to increase
the confidence in systems, increase reliability, facilitate certification, improve reuse and …

Programmable Logic Controllers (PLC) and its programming standard IEC 61131-3 are
widely used in embedded systems for the industrial automation domain. We propose a …