LTL-Specification, Verification and Construction of PLC Programs

Ryabukhin, D. A.; Kuzmin, E. V.

doi:10.15514/syrcose-2014-8-3

Cited by 1 publication

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The application of formal methods in ICS security is still in continuous development. Existing work is mainly to perform model checking on PLC programs, most of which analyzes and models the control logic statically, such as [52][53][54][55]. It is worth mentioning that Janicke et al [56] proposed a runtimemonitoring technology to ensure the normal operation of ICS.…”

Section: Related Workmentioning

confidence: 99%

HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic Controller

Liu¹,

Wang

Wei³

et al. 2021

J. Comput. Sci. Technol.

View full text Add to dashboard Cite

Programmable logic controllers (PLCs) play a critical role in many industrial control systems, yet face increasingly serious cyber threats. In this paper, we propose a novel PLC-compatible software-based defense mechanism, called Heterogeneous Redundant Proactive Defense Framework (HRPDF). We propose a heterogeneous PLC architecture in HRPDF, including multiple heterogeneous, equivalent, and synchronous runtimes, which can thwart multiple types of attacks against PLC without the need of external devices. To ensure the availability of PLC, we also design an inter-process communication algorithm that minimizes the overhead of HRPDF. We implement a prototype system of HRPDF and test it in a real-world PLC and an OpenPLC-based device, respectively. The results show that HRPDF can defend against multiple types of attacks with 10.22% additional CPU and 5.56% additional memory overhead, and about 0.6 ms additional time overhead.

show abstract