An overview of model checking practices on verification of PLC software
Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …
because of their high capacity of simultaneous input/output processing capabilities …
Transformation of function block diagrams to Uppaal timed automata for the verification of safety applications
Verification of IEC 61131-3 based safety applications is a challenge in the industrial
automation domain. In this paper, the transformation of FBD diagrams to UPPAAL formal …
automation domain. In this paper, the transformation of FBD diagrams to UPPAAL formal …
[PDF][PDF] Review of model-based testing approaches in production automation and adjacent domains-current challenges and research gaps
As systems have been and are becoming more and more complex, the task of quality
assurance is increasingly challenging. Model-based testing is a research field addressing …
assurance is increasingly challenging. Model-based testing is a research field addressing …
Regression verification for programmable logic controller software
Automated production systems are usually driven by Programmable Logic Controllers
(PLCs). These systems are long-living–yet have to adapt to changing requirements over …
(PLCs). These systems are long-living–yet have to adapt to changing requirements over …
Automated PLC software testing using adapted UML sequence diagrams
B Kormann, D Tikhonov, B Vogel-Heuser - IFAC Proceedings Volumes, 2012 - Elsevier
Current production plants are highly customizable and flexible in their processes. This
flexibility is mainly realized by software. It causes an increasing complexity of control …
flexibility is mainly realized by software. It causes an increasing complexity of control …
Generalized test tables: A powerful and intuitive specification language for reactive systems
With recent trends in manufacturing automation, such as Industry 4.0, control software in
automated production systems becomes more and more complex and volatile, complicating …
automated production systems becomes more and more complex and volatile, complicating …
Function block diagram to UPPAAL timed automata transformation based on formal models
Verification of IEC61131-3 based safety applications is a challenge in the development
process of industrial systems. In this paper, we formally describe the set of transformation …
process of industrial systems. In this paper, we formally describe the set of transformation …
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU
With recent trends in manufacturing automation, control software in automated production
systems becomes more complex and has more variability to keep pace with customer and …
systems becomes more complex and has more variability to keep pace with customer and …
A verification-supported evolution approach to assist software application engineers in industrial factory automation
Automated production systems (aPS) are complex systems with high reliability standards
which can-besides through traditional testing-be ensured by verification using formal …
which can-besides through traditional testing-be ensured by verification using formal …
Proving equivalence between control software variants for Programmable Logic Controllers
Automated production systems are usually driven by Programmable Logic Controllers
(PLCs). These systems are long-living and have high requirements for software quality to …
(PLCs). These systems are long-living and have high requirements for software quality to …