Denzler, P. H., Blieberger, J., & Kastner, W. (2022). Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed Systems. In Institute of Electrical and Electronics Engineers (Ed.), Proceedings. 2022 IEEE 25th International Symposium On Real-Time Distributed Computing (ISORC). Institute of Electrical and Electronic Engineers, Inc. https://doi.org/10.34726/2581
Current industrial trends require flexible and reconfigurable manufacturing systems, with Cyber-Physical Production Systems (CPPS) playing a crucial role. However, the increased flexibility and decentralisation increase the risk of unexpected or emerging system behaviour. Message sequence charts (MSCs) have proven helpful in the early stages of system design to capture intended scenarios. This paper introduces a process that utilises MSCs to identify unexpected system behaviour. After synthesising the MSCs into finite state machines, the process suggests applying Kronecker algebra to verify intended and identify unintended scenarios. The process is illustrated by an example depicting an auto-lock mechanism. The paper concludes by outlining further research focusing on implementing the process and identifying emergence at runtime.
Fog Computing for Robotics and Industrial Automation: 764785 (European Commission)
Computer Engineering and Software-Intensive Systems: 30% Computer Science Foundations: 20% Automation and Robotics: 50%