The design of DARTS: a dynamic debugger for multiprocessor real-time applications

Author

Timmerman, M., Jr. ; Gielen, F. J A, Jr.

Author_Institution

Dept. of Comput. & Inf. Sci., R. Mil. Acad., Brussels, Belgium

Volume

39

Issue

2

fYear

1992

fDate

4/1/1992 12:00:00 AM

Firstpage

121

Lastpage

129

Abstract

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)

Keywords

multiprocessing programs; physics computing; program debugging; real-time systems; DARTS; Debug Add on for Real-Time System; activity monitors; direct control flow; dynamic assertion method; dynamic debugger; indirect data flow; invariant relations; multiprocessor real-time applications; system level objects; temporal logic; Application software; Control systems; Debugging; Hardware; Kernel; Logic programming; Military computing; Operating systems; Real time systems; Transport protocols;

fLanguage

English

Journal_Title

Nuclear Science, IEEE Transactions on

Publisher

ieee

ISSN

0018-9499

Type

jour

DOI

10.1109/23.277471

Filename

277471