Design Automation Tools

ABSTRACT

Cyber-physical systems (CPS) are a new generation of intelligent systems engineered with a tight synergy of computational and physical elements that interact with, and expand the capabilities of the physical world through computation, communication and control.

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