Abstract: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 critical infrastructure. In order to meet increasing demands on cost-effectiveness while improving production efficiency, commercial-off-the-shelf software and hardware, and external networks such as the Internet, are integrated into the PLC-based control systems. However, it also provides opportunities for adversaries to launch malicious, targeted, and sophisticated cyberattacks. To that end, there is an urgent need to summarize ongoing work in PLC-based control systems on vulnerabilities, attacks, and security detection schemes for researchers and practitioners. Although surveys on similar topics exist, they are less involved in three key aspects, as follows: First and foremost, previous work focused more on system-level vulnerability analysis than PLC itself. Subsequently, it was not clear whether their work applied to the current systems or future ones, especially for security detection schemes. Finally, the prior surveys lacked a digital forensic research review of PLC-based control systems, which was significant for security analysis at different stages. As a result, we highlight vulnerability analysis at both a core component level and a system level, as well as attack models against availability, integrity, and confidentiality. Meanwhile, reviews of security detection schemes and digital forensic research for the current PLC-based systems are provided. Finally, we discuss future work for the next-generation systems.

Testing and Validation of Programmable Logic Controller Programs

Synthesis of logical controllers and discrete-event systems supervisory control theory

Verifying Programmable Logic Controllers with Abstraction

Application of PLC in safety performance test of compressor

A Refinement-Based Validation Method for Programmable Logic Controllers

Automatic test of PLC program based on OPC

New Strategies for Reliability Analysis of Programmable Logic Controllers

Design and Implementation of Automatic Verification for PLC Systems

Modeling and Validation of PLC-Controlled Systems: A Case Study.

A Component-Based Modeling and Validation Method for PLC Systems

Industrial Sustainable Development: The Development Trend of Programmable Logic Controller Technology

Study on Integrated System of Intelligent Embedded Programmable Logic Controller

Symbolic Analysis of Programmable Logic Controllers

The Testing Approach Of Embedded Real-Time Automatic Control Software Based On Control Objects

Formal Modeling and Synthesis of Programmable Logic Controllers

Combinational Testing of PLC Programs Based on the Denotational Semantics of Instructions

PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller

Toward Reliable Programmable Logic Controller Function Block Diagrams

A Binary Level Verification Framework for Real-Time Performance of PLC Program in Backhaul/Fronthaul Networks

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

Formal Specification and Code Generation of Programable Logic Controllers