A Survey on Programmable Logic Controller Vulnerabilities, Attacks, Detections, and Forensics

Z Wang, Y Zhang, Y Chen, H Liu, B Wang, C Wang - Processes, 2023 - mdpi.com
Programmable Logic Controllers (PLCs), as specialized task-oriented embedded field
devices, play a vital role in current industrial control systems (ICSs), which are composed of …

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 …

Static code analysis of IEC 61131-3 programs: Comprehensive tool support and experiences from large-scale industrial application

H Prähofer, F Angerer, R Ramler… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
Static code analysis techniques examine programs without actually executing them. The
main benefits lie in improving software quality by detecting problematic code constructs and …

ShadowPLCs: A Novel Scheme for Remote Detection of Industrial Process Control Attacks

J Liu, X Lin, X Chen, H Wen, H Li, Y Hu… - … on Dependable and …, 2020 - ieeexplore.ieee.org
Industrial Control System (ICS) security has become increasingly important as attacks
targeting ICSs are more prominent. Although many off-the-shelf industrial network intrusion …

A malware detection method using satisfiability modulo theory model checking for the programmable logic controller system

Y Xie, R Chang, L Jiang - Concurrency and Computation …, 2022 - Wiley Online Library
Nowadays programmable logic controllers (PLCs) are suffering increasing cyberattacks.
Attackers could reprogram PLCs to inject malware that would cause physical damages and …

A generic static analysis framework for domain-specific languages

A Mandal, D Mohan, R Jetley, S Nair… - 2018 IEEE 23rd …, 2018 - ieeexplore.ieee.org
Software used to monitor and control operations within an automation system is defined
using domain-specific languages. Latent errors in the control code, if left undetected, can …

Complexity of Structured Text in IEC 61499 Function Blocks: A Survey.

L Sonnleithner, B Wiesmayr… - 2023 IEEE 28th …, 2023 - ieeexplore.ieee.org
The rising complexity of modern production systems raises the need for evaluating the code
quality also in control software engineering. Complexity metrics can help identifying code …

Scalable cloud based semantic code analysis to support continuous integration of industrial PLC code

S Bougouffa, S Diehm, M Schwarz… - 2017 IEEE 15th …, 2017 - ieeexplore.ieee.org
During the lifecycle of automated production systems (aPS) additional functionalities and
evolutions are realized. As a consequence, control software of aPS becomes highly complex …

[PDF][PDF] Verification of programmable logic controller code using model checking and static analysis

S Biallas - 2016 - publications.rwth-aachen.de
Programmable Logic Controllers (PLCs) are control devices used in industry to control,
operate, supervise, and monitor machines, robots, assembly lines, chemical plants, power …

Analyzing the restart behavior of industrial control applications

S Hauck-Stattelmann, S Biallas, B Schlich… - FM 2015: Formal …, 2015 - Springer
Critical infrastructure such as chemical plants, manufacturing facilities or tidal barrages are
usually operated using specialized control devices. These devices are programmed using …