A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

被引:0
作者
Xavier, Midhun [1 ]
Dubinin, Victor [2 ]
Patil, Sandeep [2 ]
Vyatkin, Valeriy [2 ,3 ]
机构
[1] Lulea Univ Technol, dependable Commun & computat Syst, Lulea, Sweden
[2] Lulea Univ Technol, Lulea, Sweden
[3] Aalto Univ, Helsinki 02150, Finland
来源
IEEE OPEN JOURNAL OF THE INDUSTRIAL ELECTRONICS SOCIETY | 2024年 / 5卷
关键词
IEC; 61499; formal verification; plant model generation; process mining; PETRI NETS; CONFORMANCE CHECKING; IEC; 61499;
D O I
10.1109/OJIES.2024.3406059
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
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.
引用
收藏
页码:517 / 534
页数:18
相关论文
共 50 条
[41]   Using logical decision trees to discover the cause of process delays from event logs [J].
Ferreira, Diogo R. ;
Vasilyev, Evgeniy .
COMPUTERS IN INDUSTRY, 2015, 70 :194-207
[42]   Event-Driven Control of Hybrid Systems Using Batches Petri Nets: Application to High Throughput Manufacturing Systems [J].
Liu, Ruotian ;
Ammour, Rabah ;
Brenner, Leonardo ;
Demongodin, Isabel .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2025, 22 :11906-11919
[43]   AUTOMATED GENERATION OF PATIENT POPULATION FOR DISCRETE-EVENT SIMULATION USING PROCESS MINING [J].
Le Lay, Jules ;
Neveu, Julia ;
Dalmas, Benjamin ;
Augusto, Vincent .
PROCEEDINGS OF THE 2022 ANNUAL MODELING AND SIMULATION CONFERENCE (ANNSIM'22), 2022, :42-53
[44]   Automated generation of digital models for manufacturing systems: The event-centric process mining approach [J].
Castiglione, Claudio .
COMPUTERS & INDUSTRIAL ENGINEERING, 2024, 197
[45]   FORMAL VERIFICATION OF RECONFIGURABLE DISCRETE-EVENT SYSTEMS USING ISABELLE/HOL THEOREM PROVER ON CLOUD ENVIRONMENT [J].
Soualah, Sohaib ;
Hafidi, Yousra ;
Mosbahi, Olfa ;
Khalgui, Mohamed ;
Chaoui, Allaoua ;
Kahloul, Laid .
MODELLING AND SIMULATION 2021: 35TH ANNUAL EUROPEAN SIMULATION AND MODELLING CONFERENCE 2021 (ESM 2021), 2021, :138-149
[46]   From Text to Performance Measurement: Automatically Computing Process Performance Using Textual Descriptions and Event Logs [J].
Resinas, Manuel ;
del-Rio-Ortega, Adela ;
van der Aa, Han .
BUSINESS PROCESS MANAGEMENT, BPM 2023, 2023, 14159 :266-283
[47]   Economic dispatch of virtual power plants in an event-driven service-oriented framework using standards-based communications [J].
Sucic, Stjepan ;
Dragicevic, Tomislav ;
Capuder, Tomislav ;
Delimar, Marko .
ELECTRIC POWER SYSTEMS RESEARCH, 2011, 81 (12) :2108-2119
[48]   Generation of STEP AP214 models from discrete event systems for process planning and control [J].
Falkman, Petter ;
Nielsen, Johan ;
Lennartson, Bengt ;
von Euler-Chelpin, Astrid .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 5 (01) :113-126
[49]   A novel set-based discrete differential evolution algorithm for mining process model from event log [J].
Jing, Si-Yuan ;
Yang, Jun .
2019 15TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS 2019), 2019, :161-165
[50]   Using Process Mining and Model-driven Engineering to Enhance Security of Web Information Systems [J].
Bernardi, Simona ;
Piraces Alastuey, Raul ;
Trillo-Lado, Raquel .
2017 2ND IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (EUROS&PW), 2017, :160-166