DocumentCode
909546
Title
Detection of Ada static deadlocks using Petri net invariants
Author
Murata, Tadao ; Shenker, Boris ; Shatz, Sol M.
Author_Institution
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Volume
15
Issue
3
fYear
1989
fDate
3/1/1989 12:00:00 AM
Firstpage
314
Lastpage
326
Abstract
A method is presented for detecting deadlocks in Ada tasking programs using structural; and dynamic analysis of Petri nets. Algorithmic translation of the Ada programs into Petri nets which preserve control-flow and message-flow properties is described. Properties of these Petri nets are discussed, and algorithms are given to analyze the nets to obtain information about static deadlocks that can occur in the original programs. Petri net invariants are used by the algorithms to reduce the time and space complexities associated with dynamic Petri net analysis (i.e. reachability graph generation)
Keywords
Ada; Petri nets; computational complexity; concurrency control; program testing; system recovery; Ada static deadlocks; Ada tasking programs; Petri net invariants; complexities; control-flow; message-flow; Algorithm design and analysis; Computer science; Dynamic scheduling; Information analysis; Monitoring; Petri nets; Programming profession; System recovery; Terminology;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.21759
Filename
21759
Link To Document