Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Real-Time Coordination Pa… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Real-Time Coordination Patterns for Advanced Mechatronic Systems

Paper i proceeding
Författare Stefan Dziwok
Christian Heinzemann
Matthias Tichy
Publicerad i Proceedings of the 14th International Conference on Coordination Languages and Models (COORDINATION 2012)
Volym 7274
Sidor 166-180
ISBN 978-3-642-30828-4
ISSN 0302-9743
Publiceringsår 2012
Publicerad vid Institutionen för data- och informationsteknik (GU)
Sidor 166-180
Språk en
Länkar dx.doi.org/10.1007/978-3-642-30829-...
https://gup.ub.gu.se/file/98400
Ämnesord Advanced Mechatronic Systems, Patterns, Coordination, Communication, Real-Time, MechatronicUML
Ämneskategorier Datalogi, Systemteknik, Programvaruteknik

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?