Language, Process and Tooling for Software of Networked Mechatronic Systems
MechatronicUML offers...
- a model-driven requirements engineering and design method,
- formal analyses of the requirements and the design,
- an integration of software- and control engineering,
- support for reconfiguration at runtime, and
- a C code generation.
Advantages at a glance
Correctness per Construction
Model-driven software development and well-established verification techniques guarantee
a high degree of software quality in early phases of the development process. This
saves the heavy cost for tests and maintenance and avoids expensive product recalls.
Seamless Tool Support
With MechatronicUML you get graphical and textual editors for all relevent aspects of your software. Moreover, our tools provide a basis for traceability and comprehensibility at the modeling level.
Integrated Analysis
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®.
Extensibility
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.
Platform-independent Development
MechatronicUML enables platform-independent design specifications. Thus, your design is not bound to a specific
platform, but can be used to derive models or generate code for the target platform.
Faster Development
MechatronicUML reduces your development time through its model-driven and platform-independent approach. The process and tooling ease
the specification of requirements and design models and enables early analyses that reduce time-intensive development iterations.