The Design of D.A.R.T.S.: A dynamic debugger for multiprocessor real-time applications

The authors propose a dynamic debugging technique, which presents the possibility of trapping errors specific to real-time applications. The DARTS (Debug Add on for Real-Time System) monitors, which use the dynamic assertion method, can be used as activity monitors. In that case the DARTS gives the user crucial information on the temporal logic of the system (direct control flow). DARTS monitors can also perform watch functions on variables and control the invariant relations which may exist between application and system level objects (indirect data flow). >