Modelify converts large C code into Simulink models. Instead of a verbatim conversion, Modelify transforms low-level logic from C into higher level constructs in Simulink. This yields models that are maintainable, closely follow the MAAB modeling guidelines, and are more natural to a Simulink user.
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.
The image below describes the Modelify architecture.
This user manual will demonstrate how to use Modelify to convert a demonstration project in the Getting Started section, while the Reference section covers the tool in depth.