Modular plant model synthesis from behavior traces and temporal properties
No Thumbnail Available
Access rights
openAccess
URL
Journal Title
Journal ISSN
Volume Title
A4 Artikkeli konferenssijulkaisussa
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
Authors
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