Modelify is built on top of Atlas, which converts C code into an XCSG, a rich, semantically-precise graph representation which includes control flow, data flow, and call structure. Modelify relies on this information not only for translating logic, but also for organizing the models into subsystems and libraries.

Engineers can also use Atlas to explore their C code and plan how to best convert it.  

Reductions

Modelify uses reductions to convert groups of low-level blocks into higher level constructs, merge redundant blocks, and other transformations (typically resulting in fewer blocks and more natural Simulink models). Modelify comes with a standard set of reductions that target the MAAB modeling guidelines. However, these reductions can be enabled or disabled to better match your own modeling guidelines.

Example Reduction: Joining vector selectors and assignments into Demux and Mux blocks

Before Reduction