Abstract
The advanced functions of mechatronic systems today are essentially realized by software that controls complex processes and enables the communication and coordination of multiple system components. We have developed Mechatronic UML, a comprehensive technique for the model-based development of hybrid real-time component-based systems. Mechatronic UML is based on a well-defined subset of UML diagrams, formal analysis and composition methods. Vital for the successful development with Mechatronic UML, however, is a systematic development process, on which we report in this paper.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho PH, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138:3–34
Alur R (1999) Timed Automata. Theor. Comput. Sci. 126:183–235
Burmester S, Giese H, Oberschelp, O (2006) Hybrid UML components for the design of complex self-optimizing mechatronic systems. In: Informatics in Control, Automation and Robotics I
Chen B, Avrunin GS, Henneman EA, Clarke LA, Osterweil LJ, Henneman PL (2008) Analyzing medical processes. In: Proc. 30th International Conference on Software Engineering
Eckardt T, Henkler S (2010) Component behavior synthesis for critical systems. In: Proceedings of the First International Symposium of Architecting Critical Systems
Gausemeier J, Schäfer W, Greenyer J, Kahl S, Pook S, Rieke J (2009) Management of cross-domain model consistency during the development of advanced mechatronic systems. In: Proceedings of the 17th International Conference on Engineering Design
Giese H, Tichy M, Burmester S, Schäfer W, Flake S (2003) Towards the compositional verification of real-time UML designs. In: Proc. 9th European Software Engineering Conf./11th ACM SIGSOFT International Symp. on Foundations of Software Engineering
Greenyer J (2010) Synthesizing Modal Sequence Diagram specifications with Uppaal-Tiga. Technical Report tr-ri-10-310, University of Paderborn
Harel D, Maoz S (2008) Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling 7(2):237–252
Henke C, Tichy M, Schneider T, Böcker J, Schäfer W (2008) System architecture and risk management for autonomous railway convoys. In: Proc. 2nd Annual IEEE Intl. Systems Conf.
Henkler S, Meyer J, Schäfer W, Nickel U, von Detten M (2010) Legacy component integration by the Fujaba Real-Time Tool Suite. In: Proc. 32nd ACM/IEEE Intl. Conf. on Software Engineering
Kesten Y, Pnueli A (1991) Timed and hybrid statecharts and their textual representation. In: Proc. 2nd Intl. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems
Osterweil LJ (1997) Software processes are software too, revisited: an invited talk on the most influential paper of ICSE 9. In: Proc. 19th Intl. Conf. on Software Engineering (Reprinted as Chapter 18)
VDI, Verein Deutscher Ingenieure (2004) VDI Guideline 2206, Design Methodology for Mechatronic Systems
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Greenyer, J., Rieke, J., Schäfer, W., Sudmann, O. (2011). The Mechatronic UML Development Process. In: Tarr, P., Wolf, A. (eds) Engineering of Software. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19823-6_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-19823-6_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19822-9
Online ISBN: 978-3-642-19823-6
eBook Packages: Computer ScienceComputer Science (R0)