This paper presents an efficient static analysis for programmable logic controller code. For each program line (or each function block call), the analysis calculates an over …
P Herber, T Liebrenz - … on Formal Methods and Models for …, 2020 - ieeexplore.ieee.org
Embedded systems often consist of deeply intertwined hardware and software components. At the same time, they are often used in safety-critical applications, where an error may …
Programmable Logic Controllers (PLCs) are control devices used in industry to control, operate, supervise, and monitor machines, robots, assembly lines, chemical plants, power …
This paper presents an analysis to infer range and value-set information for programs operating on programmable logic controllers. Given a program, the algorithm gathers all …
Z Mian, L Bottaci - IFAC Proceedings Volumes, 2013 - Elsevier
The design of dependable systems must address both cost and dependability (ie safety, reliability, availability and maintainability) concerns. For large systems, the design space of …
This paper introduces a Boolean and a modular abstraction of programs for programmable logic controllers in order to make them amenable for formal verification. In the Boolean …
This dissertation is concerned with abstract interpretation of programs whose semantics is defined over finite machine words. Most notably, the considered class of programs contains …