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

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