Sciweavers

Share
KBSE
2003
IEEE

Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models

9 years 7 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to specify simulation models with the help of equation-based languages. Due to the highclarative abstraction of these languages program errors are extremely hard to find. This paper presents an algorithmic semi-automated debugging framework for equation-based modeling languages. We show how program slicing and dicing performed at the intermediate code level combined with assertion checking techniques can automate, to a large extent, the error finding process and behavior verification for physical system simulation models.
Peter Bunus, Peter Fritzson
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where KBSE
Authors Peter Bunus, Peter Fritzson
Comments (0)
books