Visible to the public Functional Debugging of Equation-based Languages

State-of-the-art debugging techniques for equation-based languages follow a low-level approach to interface users
with the complex interactions between equations and algorithms that describe cyber-physical processes. Although
these techniques are useful for understanding the low-level behaviors, they do not provide the means for creating a
system-level understanding that is often necessary during the early concept product design phase. In this paper, we
present a novel debugging technique for equation-based languages based on a high-level approach to facilitate