A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems
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...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2024-01-01
|
| Series: | IEEE Open Journal of the Industrial Electronics Society |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10550182/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841526347369807872 |
|---|---|
| author | Midhun Xavier Victor Dubinin Sandeep Patil Valeriy Vyatkin |
| author_facet | Midhun Xavier Victor Dubinin Sandeep Patil Valeriy Vyatkin |
| author_sort | Midhun Xavier |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-62f1e312290f49c49f03959cfa39a654 |
| institution | Kabale University |
| issn | 2644-1284 |
| language | English |
| publishDate | 2024-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Open Journal of the Industrial Electronics Society |
| spelling | doaj-art-62f1e312290f49c49f03959cfa39a6542025-01-17T00:01:00ZengIEEEIEEE Open Journal of the Industrial Electronics Society2644-12842024-01-01551753410.1109/OJIES.2024.340605910550182A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven SystemsMidhun Xavier0https://orcid.org/0000-0003-3371-6075Victor Dubinin1https://orcid.org/0000-0002-5761-2249Sandeep Patil2https://orcid.org/0000-0003-2936-4185Valeriy Vyatkin3https://orcid.org/0000-0002-9315-9920Luleå University of Technology, Luleå, SwedenIndependent researcher, Russian Federation, Penza, RussiaLuleå University of Technology, Luleå, SwedenLuleå University of Technology, Luleå, SwedenThis 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.https://ieeexplore.ieee.org/document/10550182/IEC 61499formal verificationplant model generationprocess mining |
| spellingShingle | Midhun Xavier Victor Dubinin Sandeep Patil Valeriy Vyatkin 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 IEC 61499 formal verification plant model generation process mining |
| title | A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems |
| title_full | A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems |
| title_fullStr | A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems |
| title_full_unstemmed | A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems |
| title_short | A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems |
| title_sort | framework for the generation of monitor and plant model from event logs using process mining for formal verification of event driven systems |
| topic | IEC 61499 formal verification plant model generation process mining |
| url | https://ieeexplore.ieee.org/document/10550182/ |
| work_keys_str_mv | AT midhunxavier aframeworkforthegenerationofmonitorandplantmodelfromeventlogsusingprocessminingforformalverificationofeventdrivensystems AT victordubinin aframeworkforthegenerationofmonitorandplantmodelfromeventlogsusingprocessminingforformalverificationofeventdrivensystems AT sandeeppatil aframeworkforthegenerationofmonitorandplantmodelfromeventlogsusingprocessminingforformalverificationofeventdrivensystems AT valeriyvyatkin aframeworkforthegenerationofmonitorandplantmodelfromeventlogsusingprocessminingforformalverificationofeventdrivensystems AT midhunxavier frameworkforthegenerationofmonitorandplantmodelfromeventlogsusingprocessminingforformalverificationofeventdrivensystems AT victordubinin frameworkforthegenerationofmonitorandplantmodelfromeventlogsusingprocessminingforformalverificationofeventdrivensystems AT sandeeppatil frameworkforthegenerationofmonitorandplantmodelfromeventlogsusingprocessminingforformalverificationofeventdrivensystems AT valeriyvyatkin frameworkforthegenerationofmonitorandplantmodelfromeventlogsusingprocessminingforformalverificationofeventdrivensystems |