Safety violations in programmable logic controllers (PLCs), caused either by faults or
attacks, have recently garnered significant attention. However, prior efforts at PLC code …

Abstract Programmable Logic Controllers (PLCs) are widely used in the industry for various
industrial automation tasks. Besides non-safety applications, the usage of PLCs became …

Durch zunehmende Agilität im Entwicklungsprozess, kürzere Lebenszyklen und sich
ändernde Kunden-und Gesetzgeberanforderungen müssen Produktionssysteme …

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

Automated machines and plants are operated for some decades and undergo an
everlasting evolution during this time. In this paper, we present three related open evolution …

Despite the increasing effectiveness of model checking tools, automatically re-verifying a
program whenever a new revision of it is created is often not feasible using existing tools …

Cyber-physical systems (CPS) incorporate the complex and large-scale engineered systems
behind critical infrastructure operations, such as water distribution networks, energy delivery …

We investigate the formal verification of the control software of critical systems, ie, the
verification of the compliance of the designed system with the requirements. The most …

Nowadays programmable logic controllers (PLCs) are suffering increasing cyberattacks.
Attackers could reprogram PLCs to inject malware that would cause physical damages and …

With recent trends in manufacturing automation, such as Industry 4.0, control software in
automated production systems becomes more and more complex and volatile, complicating …