To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Real-Time Coordination Pa… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Real-Time Coordination Patterns for Advanced Mechatronic Systems

Conference paper
Authors Stefan Dziwok
Christian Heinzemann
Matthias Tichy
Published in Proceedings of the 14th International Conference on Coordination Languages and Models (COORDINATION 2012)
Volume 7274
Pages 166-180
ISBN 978-3-642-30828-4
ISSN 0302-9743
Publication year 2012
Published at Department of Computer Science and Engineering (GU)
Pages 166-180
Language en
Links dx.doi.org/10.1007/978-3-642-30829-...
https://gup.ub.gu.se/file/98400
Keywords Advanced Mechatronic Systems, Patterns, Coordination, Communication, Real-Time, MechatronicUML
Subject categories Computer science, Systems engineering, Software Engineering

Abstract

Innovation in today's mechanical systems is often only possible due to the embedded software. Particularly, the software enables the connection of previously isolated systems resulting in, so-called, advanced mechatronic systems. Mechatronic systems are often employed in a safety-critical context. Thus, hazards that are caused by faults in the software have to be prevented. Preferably, this is achieved by already avoiding these faults during development. One major source of faults is the complex coordination between the connected mechatronic systems. In this paper, we present Real-Time Coordination Patterns for advanced mechatronic systems. These patterns formalize proven communication protocols for the coordination between mechatronic systems as reusable entities. Furthermore, the proposed pattern formalism supports the scalable formal verification for fault avoidance by utilizing the protocols that are based on patterns to decompose the system. We illustrate the patterns with examples from different case studies.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?