MechatronicUML enables you to simulate and formally verify your requirements and your design. We realize this by exports of your models into well-established
tools, e.g., UPPAAL, MATLAB® Simulink® / Stateflow® and Dymola® / Modelica®.
MechatronicUML provides an open metamodel and uses well-established open-source
technologies, like Eclipse and the Eclipse Modeling Framework (EMF). This enables
you to easily integrate MechatronicUML into existing toolchains.