Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Reliable Software Technologies Ada-Europe 2000 - 5th Ada-Europe International Conference, Proceedings |
| Editors | Hubert B. Keller, Erhard Plodereder |
| Publisher | Springer Verlag |
| Pages | 225-237 |
| Number of pages | 13 |
| ISBN (Print) | 3540676694, 9783540676690 |
| Publication status | Published - 2000 Jan 1 |
| Event | 5th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2000 - Potsdam, Germany Duration: 2000 Jun 26 → 2000 Jun 30 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1845 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Other
| Other | 5th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2000 |
|---|---|
| Country | Germany |
| City | Potsdam |
| Period | 00/6/26 → 00/6/30 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)
Cite this
}
Symbolic data flow analysis for detecting dead locks in ada tasking programs. / Blieberger, Johann; Burgstaller, Bernd; Scholz, Bernhard.
Reliable Software Technologies Ada-Europe 2000 - 5th Ada-Europe International Conference, Proceedings. ed. / Hubert B. Keller; Erhard Plodereder. Springer Verlag, 2000. p. 225-237 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1845).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - Symbolic data flow analysis for detecting dead locks in ada tasking programs
AU - Blieberger, Johann
AU - Burgstaller, Bernd
AU - Scholz, Bernhard
PY - 2000/1/1
Y1 - 2000/1/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84956993041&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84956993041&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84956993041
SN - 3540676694
SN - 9783540676690
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 225
EP - 237
BT - Reliable Software Technologies Ada-Europe 2000 - 5th Ada-Europe International Conference, Proceedings
A2 - Keller, Hubert B.
A2 - Plodereder, Erhard
PB - Springer Verlag
ER -