Abstract

Today, industrial systems are large, complex, and increasingly vulnerable. Specifically, due to the current digital transformation, the industry 4.0 creates crucial cyber-risks and cyber-security challenges. In this context, risk modelling and impact analysis has become a crucial research topic. Based on the formal modelling and performance analysis power of Petri Nets (PN), this paper represents a summary of our methodological approach for “risk” modelling and “impact” analysis of cyber vulnerabilities and / or other critical events. The applicability of the developed approach is demonstrated on a real-life industrial system.

Highlights

  • Today, industrial systems are large, complex, and increasingly vulnerable

  • Based on the formal modelling and performance analysis power of Petri Nets [7] for complex discrete event systems, including manufacturing systems, supply chains and logistic systems, this work demonstrates their potential for modelling, impact analysis, and risk mitigation of their critical events including cyberattack vulnerabilities

  • Based on the formal modeling and performance analysis power of Petri nets for complex discrete event systems, including industrial systems, supply chain and logistic systems, we develop a “Nominal” and “perturbed” Petri Net approach for “risk” modeling, “impact” analysis and risk mitigation of cyber vulnerabilities and / or other critical disruption events in such dynamical systems

Read more

Summary

General introduction

The current fourth industrial revolution affecting manufacturing systems (Industry 4.0), supply chains and logistic systems (Logistics 4.0) creates crucial cyber risks and cyber-security challenges [8]. It is a complex discipline that needs to combine between traditional cyber security and industrial management fields It is concerned with mitigating risks both to products, services, information, process, and technology related to systems. Except for the technological aspects of the problem, industrial managers need methods and tools for control, analysis, and risk mitigation of their cyber vulnerabilities Motivated by this crucial context and problem, this paper suggests a promising modelling and analysis methodology for cyber risk and security purposes. Based on the formal modelling and performance analysis power of Petri Nets [7] for complex discrete event systems, including manufacturing systems, supply chains and logistic systems, this work demonstrates their potential for modelling, impact analysis, and risk mitigation of their critical events including cyberattack vulnerabilities. The developed technique based on the “Nominal” and “Perturbed” Petri net models is presented in a summary way (section 3) and an industrial manufacturing and packaging of pharmaceutical products is used to demonstrate the methodology (section 4)

DES and Petri Nets
Presentation of the industrial system
Nominal Petri Net model of the system
Performance evaluation of the Nominal PN model
Modelling and Performance evaluation of the Perturbed PN model
Conclusion
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call