Abstract
We propose a generic framework for generating scenarios for orchestrating digital twins of distributed manufacturing execution systems (MES). The orchestration is a typical technique for configuring, managing and coordinating the communication in various types of system. We focus on its particular application for testing of distributed systems: e.g., when a new version of MES is about to be released one may create the testing scenario observing the behaviour of the older version already deployed in the production and then use the scenario to orchestrate the digital twin to test the new version. Specifically, we build on communication logs captured from a manufactory with deployed MES and create an abstract model of communication inside the distributed system and abstract models of messages passed in the communication. Based on these models we then generate a scenario which is further used to orchestrate the digital twin. Moreover, our approach can also automatically extrapolate the new testing scenarios from the derived models allowing efficient automated testing.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
MarketsandMarkets Research Pvt. Ltd.: Industrial Control Systems (ICS) Security Market worth \$22.2 billion by 2025. https://www.marketsandmarkets.com/PressReleases/industrial-control-systems-security-ics.asp, Last accessed 11 Nov 2021
Repository of Cryton. https://gitlabdev.ics.muni.cz/beast-public/cryton, Last Accessed 11 Nov 2021
Repository of Tyrant. https://pajda.fit.vutbr.cz/tacr-unis/tyrant, Last Accessed 11 Nov 2021
Christopher Ackermann. Recovering views of inter-system interaction behaviors. In: Working Conference on Reverse Engineering 2009, Lille, France, pp. 53–61, vol. 10 (2009)
Beschastnikh, I., Brun, Y., Ernst, M.D., Krishnamurthy, A.: Inferring models of concurrent systems from logs of their behavior with csight. In: ICSE ’14, Hyderabad, India, pp. 468–479. ACM (2014)
Comparetti, P.M., Wondracek, G., Krügel, C., Kirda, E.: Prospex: Protocol specification extraction. In S &P 2009, Oakland, California, USA, pp. 110–125. IEEE Computer Society (2009)
Hsu, Y., Shu, G., Lee, D.: A model-based approach to security flaw detection of network protocol implementations. In: ICNP 2008, Orlando, Florida, USA, pp. 114–123. IEEE Computer Society (2008)
Leemans, M., van der Aalst, M.P.: Process mining in software systems: Discovering real-life business transactions and process models from distributed systems. In: MODELS, Ottawa, Canada, pp. 44–53. IEEE (2015)
Matousek, P., Havlena, V., Holík, L.: Efficient modelling of ICS communication for anomaly detection using probabilistic automata. In: IM 2021, Bordeaux, France, pp. 81–89. IEEE (2021)
van der Aalst, W.M.P.: Process Mining - Data Science in Action, Second Edition. Springer (2016). https://doi.org/10.1007/978-3-662-49851-4
Acknowledgement
The work was supported by the project No. 20-07487S of the Czech Science Foundation, by the ECSEL JU under grant agreement No 876852., and by the FIT BUT internal project FIT-S-20-6427.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Fiedor, T., Hruška, M., Smrčka, A. (2022). Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2022. EUROCAST 2022. Lecture Notes in Computer Science, vol 13789. Springer, Cham. https://doi.org/10.1007/978-3-031-25312-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-031-25312-6_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-25311-9
Online ISBN: 978-3-031-25312-6
eBook Packages: Computer ScienceComputer Science (R0)