Modular plant model synthesis from behavior traces and temporal properties

No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Conference article in proceedings
Date
2018-01-04
Major/Subject
Mcode
Degree programme
Language
en
Pages
7
Series
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Volume Part F134116, Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Abstract
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 proposes two techniques which extend an earlier proposed method of monolithic plant model construction to the modular case.
Description
Keywords
Other note
Citation
Buzhinsky , I & Vyatkin , V 2018 , Modular plant model synthesis from behavior traces and temporal properties . in Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017 . vol. Part F134116 , Proceedings IEEE International Conference on Emerging Technologies and Factory Automation , IEEE , IEEE International Conference on Emerging Technologies and Factory Automation , Limassol , Cyprus , 12/09/2017 . https://doi.org/10.1109/ETFA.2017.8247578