A Framework for the Generation of Monitor and Plant Model from Event Logs Using Process Mining for Formal Verification of Event-Driven Systems
Loading...
Access rights
openAccess
Journal Title
Journal ISSN
Volume Title
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä
This publication is imported from Aalto University research portal.
View publication in the Research portal
View/Open full text file from the Research portal
Other link related to publication
View publication in the Research portal
View/Open full text file from the Research portal
Other link related to publication
Date
2024-06-21
Major/Subject
Mcode
Degree programme
Language
en
Pages
18
Series
IEEE Open Journal of the Industrial Electronics Society, Volume 5, pp. 517-534
Abstract
This article proposes a method for the automatic generation of a plant model and monitoring using process mining algorithms based on recorded event logs. The behavioral traces of the system are captured by recording event logs during plant operation in either manual control mode or with an automatic controller. Process discovery algorithms are then applied to extract the logic of the process behavior properties from the recorded event logs. The result is represented as a Petri net, which is used to construct the state machine of the plant model and monitor and is in accordance with the IEC 61499 Standard. The monitor is implemented as a function block and can be deployed in real time to trigger an error signal whenever there is a deviation from the actual process scenario. The plant model and controller are connected in a closed loop and are used for the formal verification of the system with the help of the 'fb2smv' converter and symbolic model checking tool NuSMV.Description
Publisher Copyright: © 2020 IEEE.
Keywords
formal verification, IEC 61499, plant model generation, process mining
Other note
Citation
Xavier, M, Dubinin, V, Patil, S & Vyatkin, V 2024, ' A Framework for the Generation of Monitor and Plant Model from Event Logs Using Process Mining for Formal Verification of Event-Driven Systems ', IEEE Open Journal of the Industrial Electronics Society, vol. 5, pp. 517-534 . https://doi.org/10.1109/OJIES.2024.3406059
