Verification of embedded control systems by simulation and program execution control

This paper describes features and applications of a simulation framework for software-in-the-loop testing of realtime embedded control applications. The Vali...