Title :
The design of DARTS: a dynamic debugger for multiprocessor real-time applications
Author :
Gielen, F.J.A. ; Timmerman, M.
Author_Institution :
Dept. of Comput. & Inf. Sci., R. Mil. Acad., Brussels, Belgium
Abstract :
The correctness of execution of a real-time application depends upon the timing properties of the system. The DARTS (debug add on for real-time systems) functions implement a set of debugging functions which have a minimum and predictable influence on the temporal logic of the application. They provide the programmer with crucial information on the temporal logic of the system (direct control flow), they perform watch functions on variables and control the invariant relations which may exist between application and system level objects (indirect dataflow). The workstation is a host target cross development system. Both host and target are single board computers on a VME-bus. The host system runs Unix System V while the targets run MTOS-UX, a multiprocessor real-time operating system
Keywords :
development systems; multiprocessing programs; multiprocessing systems; parallel programming; program debugging; real-time systems; temporal logic; DARTS; MTOS-UX; Unix System V; VME-bus; debugging functions; direct control flow; dynamic debugger; host target cross development system; indirect dataflow; invariant relations; multiprocessor real-time applications; multiprocessor real-time operating system; temporal logic; timing properties; watch functions; Application software; Control systems; Debugging; Logic; Operating systems; Programming profession; Real time systems; Timing; Watches; Workstations;
Conference_Titel :
Real Time Systems, 1991. Proceedings., Euromicro '91 Workshop on
Conference_Location :
Paris-Orsay
Print_ISBN :
0-8186-2210-5
DOI :
10.1109/EMWRT.1991.144098
