Abstract
Today, mechanical engineering products can largely be classified as mechatronic systems, i.e. systems integrating electrical and mechanical components with software. Mechatronic systems are often employed in safety-critical areas, for instance in the automotive or railway domain. Mechatronic UML is a UML profile specifically tailored towards the modelling of mechatronic systems. It aims at bringing model-based design and formal analysis to the mechatronic area, which has originally been dominated by engineering techniques. In this paper we give a survey of the modelling as well as verification techniques supported by Mechatronic UML. © 2010 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Schäfer, W., & Wehrheim, H. (2010). Model-driven development with mechatronic UML. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5765 LNCS, pp. 533–554). https://doi.org/10.1007/978-3-642-17322-6_23
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
