<div class="csl-bib-body">
<div class="csl-entry">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.), <i>Proceedings. 2022 IEEE 25th International Symposium On Real-Time Distributed Computing (ISORC)</i>. Institute of Electrical and Electronic Engineers, Inc. https://doi.org/10.34726/2581</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/78072
-
dc.identifier.uri
https://doi.org/10.34726/2581
-
dc.description.abstract
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.
en
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.relation.ispartofseries
IEEE ... International Symposium on Real-Time Distributed Computing
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Distributed Systems
en
dc.subject
Emergence
en
dc.subject
Kronecker Algebra
en
dc.subject
Unexpected Behaviour
en
dc.title
Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed Systems