Today, mechanical engineering products can largely be classified as
, i.e. systems integrating electrical and mechanical components with
. Mechatronic systems are often employed in safety-critical areas, for instance in the automotive or railway domain.
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