Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Coordination Languages and Models

COORDINATION 2012: Coordination Models and Languages pp 166–180Cite as

  1. Home
  2. Coordination Models and Languages
  3. Conference paper
Real-Time Coordination Patterns for Advanced Mechatronic Systems

Real-Time Coordination Patterns for Advanced Mechatronic Systems

  • Stefan Dziwok17,
  • Christian Heinzemann17 &
  • Matthias Tichy18 
  • Conference paper
  • 635 Accesses

  • 4 Citations

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7274)

Abstract

Innovation in today’s mechanical systems is often only possible due to the embedded software. Particularly, the software connects previously isolated systems resulting in, so-called, advanced mechatronic systems. Mechatronic systems are often employed in a safety-critical context, where hazards that are caused by faults in the software have to be prevented. Preferably, this is achieved by already avoiding these faults during development. A 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, our approach exploits the patterns in the decomposition of the system to enable a scalable formal verification for the detection of faults. We illustrate the patterns with examples from different case studies.

Keywords

  • Advanced Mechatronic Systems
  • Patterns
  • Coordination
  • Communication
  • Real-Time
  • MechatronicUML

Download conference paper PDF

References

  1. Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Information and Computation 104, 2–34 (1993)

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. Bauer, B., Müller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 91–103. Springer, Heidelberg (2001)

    CrossRef  Google Scholar 

  3. Becker, S., Brenner, C., Dziwok, S., Gewering, T., Heinzemann, C., Pohlmann, U., Priesterjahn, C., Schäfer, W., Suck, J., Sudmann, O., Tichy, M.: The MechatronicUML method – process, syntax, and semantics. Tech. Rep. tr-ri-12-318, Software Engineering Group, University of Paderborn (February 2012)

    Google Scholar 

  4. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)

    CrossRef  Google Scholar 

  5. Bengtsson, J.E., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004)

    CrossRef  Google Scholar 

  6. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. A System of Patterns, vol. 1. Wiley (1996)

    Google Scholar 

  7. Douglass, B.P.: Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns. Addison-Wesley, Boston (1999)

    Google Scholar 

  8. Douglass, B.P.: Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley, Boston (2002)

    Google Scholar 

  9. Dziwok, S., Bröker, K., Heinzemann, C., Tichy, M.: A catalog for Real-Time Coordination Patterns of advanced mechatronic systems. Tech. Rep. tr-ri-12-319, University of Paderborn (February 2012)

    Google Scholar 

  10. Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (1995)

    Google Scholar 

  11. Giese, H., Burmester, S.: Real-time statechart semantics. Tech. Rep. tr-ri-03-239, Software Engineering Group, University of Paderborn (June 2003)

    Google Scholar 

  12. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the compositional verification of real-time UML designs. In: Proceedings of the 9th European Software Engineering Conference held Jointly with the 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE 2003, pp. 38–47. ACM Press (September 2003)

    Google Scholar 

  13. Heinzemann, C., Henkler, S.: Reusing dynamic communication protocols in self-adaptive embedded component architectures. In: Proceedings of the 14th International Symposium on Component Based Software Engineering, CBSE 2011, pp. 109–118. ACM (June 2011)

    Google Scholar 

  14. Henninger, S., Corrêa, V.: Software pattern communities: Current practices and challenges. In: Proceedings of the 14th Conference on Pattern Languages of Programs, PLoP 2007, Monticello, Illinois, USA, September 5-8 (2007)

    Google Scholar 

  15. National Science Foundation: A report by NSF-IRIS review panel for research on coordination theory and technology. Tech. rep., NSSF Forms and Publication Unit, National Science Foundation, Washington, D.C (1989)

    Google Scholar 

  16. Schäfer, W., Wehrheim, H.: The Challenges of Building Advanced Mechatronic Systems. In: FOSE 2007: 2007 Future of Software Engineering, pp. 72–84. IEEE Computer Society (2007)

    Google Scholar 

  17. Scharnhorst, T., Heinecke, H., Schnelle, K.P., Bortolazzi, J., Lundh, L., Heitkämper, P., Leflour, J., Maté, J.L., Nishikawa, K.: Autosar - challenges and achievements 2005. In: 12th International VDI Congress Electronic Systems for Vehicles 2005, Baden-Baden. VDI Berichte, vol. 1907. VDI (2005)

    Google Scholar 

  18. Taibi, T. (ed.): Design Patterns Formalization Techniques. IGI Publishing, Hershey (2007)

    Google Scholar 

  19. Tripakis, S., Yovine, S.: Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Design 18(1), 25–68 (2001)

    CrossRef  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Germany

    Stefan Dziwok & Christian Heinzemann

  2. Software Engineering Division, Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg, Sweden

    Matthias Tichy

Authors
  1. Stefan Dziwok
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian Heinzemann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Matthias Tichy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Science, Reykjavik University, Menntavegur 1, 101, Reykjavik, Iceland

    Marjan Sirjani

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 IFIP International Federation for Information Processing

About this paper

Cite this paper

Dziwok, S., Heinzemann, C., Tichy, M. (2012). Real-Time Coordination Patterns for Advanced Mechatronic Systems. In: Sirjani, M. (eds) Coordination Models and Languages. COORDINATION 2012. Lecture Notes in Computer Science, vol 7274. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30829-1_12

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-30829-1_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30828-4

  • Online ISBN: 978-3-642-30829-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature