Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Blieberger, B. Burgstaller, B. Scholz:
"Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs";
Vortrag: Reliable Software Technologies - Ada-Europe,
Potsdam, Germany;
26.06.2000
- 30.06.2000; in: "Lecture Notes in Computer Science - Ada-Europe Conf.",
Springer-Verlag,
1845
(2000),
ISBN: 3-540-67669-4;
S. 225
- 237.
Kurzfassung englisch:
It is well accepted that designing and analyzing concurrent
software-components are tedious tasks. Assuring the quality
of such software requires formal methods, which can statically
detect deadlocks.
This paper presents a symbolic data flow analysis framework for
detecting deadlocks in Ada programs with tasks. The symbolic
data flow framework is based on symbolic evaluation - an advanced
technique to statically determine properties of programs.
The framework can guarantee the
deadlock-freeness for an arbitrary hardware environment.
Our approach differs from existing work in that tasks can be dynamically
created and completed in the program. Examples are used to illustrate our approach.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/10722060_21
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.