Scalable problem-oriented approach for dynamic verification of embedded systems

A model-based problem-oriented approach for the dynamic verification of functional properties of embedded systems is presented. It is a generic and scalable approach, especially useful in systems where embedded devices are tightly coupled to physical processes. A set of modeling guidelines and abstraction layers are proposed that provide a better understanding and visibility of an application's behavior and resource usage, and of the interactions between the different components of an embedded device and the physical process it interacts with. An application example is given for the design and verification of a digital PID controller that integrates Simulink models, SystemC models and an ARM Cortex-M3 processor emulator.