ENSOFT Research · Model-Based Systems

Model-Based Systems: Simulink & C

ENSOFT’s model-based systems research covers Simulink 3-way merge and configuration management, interactive Git DevOps workflows with SimDiff, and semi-automatic C-to-Simulink model conversion with Modelify.

3-way model diff/merge · C → Simulink subsystem
SimDiff · ModelifySimulink & C Workflows

Simulink DevOps, Version Control & C-to-Model Conversion

SAE Technical Paper 2026-01-0080 · 2026SimDiff · Git Workflows

Simulink DevOps Evolution: Bridging Interactive Platforms for Accelerated Model-Based Workflows

Synthesizes industry interviews across passenger automotive, motorsports, commercial vehicles, aviation, rocketry, and industrial automation to prototype interactive Git-based DevOps workflows and pull-request review tools for Simulink teams.

Jon Mathews, Sergio Ferrero, Ahmed Tamrawi, Jeremías Sauceda10.4271/2026-01-0080

Interactive MBD DevOpsBridges interactive Git pull-request review and CI/CD automation with Simulink model-based workflows across automotive and aerospace teams.
SAE Technical Paper 2025-01-8077 · 2025Git + CI/CD for Simulink

Modern Simulink DevOps Integration

Demonstrates how integrating modern Git version control with collaborative review practices and automated CI/CD quality enforcement streamlines workflows and model consistency for large engineering teams using Simulink.

Jon Mathews, Ahmed Tamrawi, Sergio Ferrero, Jeremías Sauceda10.4271/2025-01-8077

embedded world Conference · 2015Atlas for C · Reverse Engineering

Modeling Embedded Control Systems from C Source

Describes how Atlas indexes C source code into an XCSG relation map and powers an Eclipse plug-in that queries control and data flow to synthesize equivalent Simulink models and subsystems.

Jeremías Sauceda, Eric Woestman, Theodore MurdockRead the paper →

ACM/IEEE MODELS (EduSymp) · 2013DARPA APAC · Simulink & Atlas

Multi-faceted Practical Modeling Education for Software Engineering

Introduces a problem-driven modeling curriculum combining domain-specific graphical modeling in Simulink and SimDiff with program-graph query modeling in Atlas—applying two-event graph models to operating-system memory leaks, Linux kernel lock pairing, and DARPA APAC Android malware detection.

Suresh Kothari, Jeremías SaucedaRead the paper →