Reliability of industrial automation software, which is usually ensured with testing and simulation, can be improved using formal analysis and, in particular, the technique of model checking. In model checking, considering the closed-loop composition of the plant model and the controller model allows checking a larger class of properties than in the more traditional open-loop case, where the model of the controller is verified alone. Constructing the formal model of the plant automatically may significantly reduce human workload and mitigate the human factor issue. Commonly, complex industrial plants and controllers have modular structure, and thus the problem of automatic construction of a modular plant model is important. This paper propo...
The use of analysis techniques for industrial controller’s analysis, such as Simulation and Formal ...
This paper presents a new approach in plant modeling for the formal verification of real time system...
The design of safe industrial controllers is one of the most important domains related to Automation...
Reliability of industrial automation software, which is usually ensured with testing and simulation,...
To facilitate correctness and safety of mission-critical automation systems, formal methods should b...
Closed-loop model checking, a formal verification technique for industrial automation systems, incre...
The development of dependable software for mechatronic systems can be a very complex and hard task. ...
The use of a plant model for formal verification of Industrial Automation systems controllers must ...
The use of a plant model for formal verification of Industrial Automation systems controllers must b...
This paper reports on a method of automatic generation of a formal model of plant from the behaviou...
The use of a plant model for formal verification of Industrial Automation systems controllers must ...
We present a case study on automatic synthesis of control software from formal specifications for an...
This doctoral thesis was conducted under a convention for the joint supervision of thesis at Aalto U...
The benefit of modular concepts in plant automation is seen ambivalent. On one hand it offers advant...
Our objective is to develop a general and versatile approach for building structured formal models o...
The use of analysis techniques for industrial controller’s analysis, such as Simulation and Formal ...
This paper presents a new approach in plant modeling for the formal verification of real time system...
The design of safe industrial controllers is one of the most important domains related to Automation...
Reliability of industrial automation software, which is usually ensured with testing and simulation,...
To facilitate correctness and safety of mission-critical automation systems, formal methods should b...
Closed-loop model checking, a formal verification technique for industrial automation systems, incre...
The development of dependable software for mechatronic systems can be a very complex and hard task. ...
The use of a plant model for formal verification of Industrial Automation systems controllers must ...
The use of a plant model for formal verification of Industrial Automation systems controllers must b...
This paper reports on a method of automatic generation of a formal model of plant from the behaviou...
The use of a plant model for formal verification of Industrial Automation systems controllers must ...
We present a case study on automatic synthesis of control software from formal specifications for an...
This doctoral thesis was conducted under a convention for the joint supervision of thesis at Aalto U...
The benefit of modular concepts in plant automation is seen ambivalent. On one hand it offers advant...
Our objective is to develop a general and versatile approach for building structured formal models o...
The use of analysis techniques for industrial controller’s analysis, such as Simulation and Formal ...
This paper presents a new approach in plant modeling for the formal verification of real time system...
The design of safe industrial controllers is one of the most important domains related to Automation...