Scalable methods of discrete plant model generation for closed-loop model checking
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)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Date
2017-12-18
Major/Subject
Mcode
Degree programme
Language
en
Pages
6
5483-5488
5483-5488
Series
Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Proceedings of the Annual Conference of the IEEE Industrial Electronics Society
Abstract
To facilitate correctness and safety of mission-critical automation systems, formal methods should be applied in addition to simulation and testing. One of such formal methods is model checking, which is capable of verifying complex requirements for the system's model. If both the controller and the controlled plant are formally modeled, then the variant of this technique called closed-loop model checking can be applied. Recently, a technique of automatic plant model generation has been proposed which is applicable in this scenario. This paper continues the work in this direction by presenting two plant model construction approaches which are much more scalable with respect to the previous one, and puts this work into a more practical context. The approaches are evaluated on a case study from the nuclear automation domain.Description
Keywords
model checking, solid modeling, automation, computational modeling, context modeling, data models, tools
Other note
Citation
Buzhinskii, I, Pakonen, A & Vyatkin, V 2017, Scalable methods of discrete plant model generation for closed-loop model checking . in Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society . Proceedings of the Annual Conference of the IEEE Industrial Electronics Society, IEEE, pp. 5483-5488, Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, 29/10/2017 . https://doi.org/10.1109/IECON.2017.8216949