SoK: Attacks on industrial control logic and formal verification-based defenses
Programmable Logic Controllers (PLCs) play a critical role in the industrial control systems.
Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to …
Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to …
Extended Hierarchical Fuzzy Interpreted Petri Net
M Markiewicz, L Gniewek, D Warchoł - Sensors, 2021 - mdpi.com
Petri nets (PNs) have many advantages such as graphical representation, formal
description, and the possibility of sequential and concurrent control. An important aspect of …
description, and the possibility of sequential and concurrent control. An important aspect of …
Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes
S Cha - 2021 - mediatum.ub.tum.de
Automated Production Systems (aPS), including manufacturing machines and logistics, are
required to cope with various and varying production requirements over their long lifecycles …
required to cope with various and varying production requirements over their long lifecycles …
Table‐based formal specification approaches for control engineers—empirical studies of usability
The dependability characteristic of the control software of manufacturing systems is
highlighted more than before, going through repeated changes to cope with various and …
highlighted more than before, going through repeated changes to cope with various and …
Synthesis of Diagnostic Tests Based on Timed Automata
CT Chang, HY Lee, VSK Adi - Process Plant Operating Procedures …, 2021 - Springer
A large number ofhighvalue-added chemicalproducts, such as the specialty chemicals,
foods, semiconductors, and pharmaceuticals, etc., are often manufactured in complexbut …
foods, semiconductors, and pharmaceuticals, etc., are often manufactured in complexbut …
[PDF][PDF] Symbolic methods for formal verification of industrial control software
D Bohlender - 2021 - publications.rwth-aachen.de
Many of the systems that we rely on, and interact with on a daily basis, are driven by
software. Unfortunately, design and implementation of such systems is naturally prone to …
software. Unfortunately, design and implementation of such systems is naturally prone to …