MLDesigner is an integrated modeling and simulation tool for the design and analysis of complex embedded and networked systems.

These hierarchically structured block diagrams are stored in MML (Model Markup Language), a dialect of XML.

Executable models (systems) are composed of modules and primitives, which are connected via typed in- and out-put ports and/or attributes (parameters, resources, memories, events).

The behaviour of primitives is either coded in ANSI C/C++ or modeled using Finite State Machines (FSM) and/or may exchange information with other simulators, internet based systems or hardware.

Simulations in MLDesigner are based on specific, matter depending models of computation (MOC), called domains.

The MLDesigner kernel automatically synchronizes model elements created in different domains within a single system.

It is used to model time discrete systems, as for example digital signal processing, general or special purpose processors.

"Statically scheduled" means that the firing order of the primitives is determined once during the start up phase on the basis of fixed generating and consuming rates of the data elements.

Features like special events or resources, which represents the use of quantities and processor computation times, make modeling intuitive.

The MLDesigner FSM domain includes a graphical editor and an action language for defining and managing states, transitions and interface elements.

It expands the concept of data flow oriented domains by the possibility to activate or deactivate parts of the model according to combinatorial logic.

MLDesigner can be used to design missions, systems, integrated circuits, reconfigurable electronics and miscellaneous other products.