An overview of model checking practices on verification of PLC software
Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …
because of their high capacity of simultaneous input/output processing capabilities …
Formal methods in PLC programming
G Frey, L Litz - Smc 2000 conference proceedings. 2000 ieee …, 2000 - ieeexplore.ieee.org
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 …
used for surveying different formal approaches in the context of PLC programming. The …
[PDF][PDF] CLIK on PLCs! Attacking control logic with decompilation and virtual PLC
This paper presents CLIK, a new remote attack on the control logic of a programmable logic
controller (PLC) in industrial control systems. The control logic defines how a PLC controls a …
controller (PLC) in industrial control systems. The control logic defines how a PLC controls a …
[PDF][PDF] A Trusted Safety Verifier for Process Controller Code.
Attackers can leverage security vulnerabilities in control systems to make physical
processes behave unsafely. Currently, the safe behavior of a control system relies on a …
processes behave unsafely. Currently, the safe behavior of a control system relies on a …
Testing cyber-physical production system: Test methods categorization and dataset
Developing High-confidence Cyber-Physical Production System (CPPS) is essential to
ensure system efficacy and safety. Engineering requirements for CPPS is quite tricky …
ensure system efficacy and safety. Engineering requirements for CPPS is quite tricky …
Security of programmable logic controllers and related systems: today and tomorrow
W Alsabbagh, P Langendörfer - IEEE Open Journal of the …, 2023 - ieeexplore.ieee.org
Programmable logic controllers (PLCs) are indispensable in critical infrastructures and
industrial control systems. The increasing demand for enhanced cost-effectiveness and …
industrial control systems. The increasing demand for enhanced cost-effectiveness and …
Towards automated safety vetting of plc code in real-world plants
Safety violations in programmable logic controllers (PLCs), caused either by faults or
attacks, have recently garnered significant attention. However, prior efforts at PLC code …
attacks, have recently garnered significant attention. However, prior efforts at PLC code …
Applying model checking to industrial-sized PLC programs
BF Adiego, D Darvas, EB Viñuela… - IEEE Transactions …, 2015 - ieeexplore.ieee.org
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 …
control systems. Ensuring that a PLC software complies with its specification is a challenging …
{ICSFuzz}: Manipulating {I/Os} and repurposing binary code to enable instrumented fuzzing in {ICS} control applications
Industrial Control Systems (ICS) have seen a rapid proliferation in the last decade amplified
by the advent of the 4th Industrial Revolution. At the same time, several notable …
by the advent of the 4th Industrial Revolution. At the same time, several notable …
Arcade. PLC: A verification platform for programmable logic controllers
S Biallas, J Brauer, S Kowalewski - Proceedings of the 27th IEEE/ACM …, 2012 - dl.acm.org
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 …
controllers (PLCs). The tool supports static analysis as well as ACTL and past-time LTL …