IEEE - Institute of Electrical and Electronics Engineers, Inc. - A tasking deadlock detector for Ada programs

Author(s): Cheng, J. ; Kasahara, Y. ; Ushijima, K.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1991
Conference Location: Tokyo, Japan
Conference Date: 11 September 1991
Page(s): 56 - 63
ISBN (Paper): 0-8186-2152-4
DOI: 10.1109/CMPSAC.1991.170152
Regular:

A tasking deadlock detector for Ada programs is presented. The software tool works by monitoring the tasking behavior of a target program and operating a task-wait-for graph for the program. It... View More

Advertisement