Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods …
D Evtyushkin, T Benjamin, J Elwell, JA Eitel… - Proceedings of the 26th …, 2021 - dl.acm.org
Side-channel attacks such as Spectre rely on properties of modern CPUs that permit discovery of microarchitectural state via timing of various operations. The Weird Machine …
Y Tang, T Moor - Discrete Event Dynamic Systems, 2024 - Springer
This paper addresses the verification of non-blockingness for modular discrete-event systems, ie, discrete-event systems that are composed from component models. For such …
J Xiong, G Zhu, Y Huang, J Shi - Electronics, 2020 - mdpi.com
Programmable logic controllers (PLCs) are special embedded computers that are widely used in industrial control systems. To ensure the safety of industrial control systems, it is …
K Wang, J Wang, CM Poskitt, X Chen… - IEEE Transactions …, 2023 - ieeexplore.ieee.org
Programmable Logic Controllers (PLCs) are responsible for automating process control in many industrial systems (eg in manufacturing and public infrastructure), and thus it is critical …
T Lange, MR Neuhäußer, T Noll - … , HVC 2013, Haifa, Israel, November 5-7 …, 2013 - Springer
Programmable logic controllers (PLC) are widely used in industries ranging from assembly lines, power plants, chemical processes to mining and rail automation. Such systems usually …
In order to maximize cost and quality gains, industrial automation systems need to incorporate the best practices of software engineering in their application development …
H Zhao, H Zhu, F Sheng, J He, J Bowen - Formal Aspects of Computing, 2024 - dl.acm.org
Verilog is a hardware description language (HDL) that has become an industry-standard HDL of IEEE. Multithreaded discrete event simulation language (MDESL) is a Verilog-like …
Engineering and computer science have come up with a variety of techniques to increase the confidence in systems, increase reliability, facilitate certification, improve reuse and …