Static detection of livelocks in ada multitasking programs

Johann Blieberger, Bernd Burgstaller, Robert Mittermayr

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms' worst-case execution time is exponential, they can be expected to run in polynomial time. Since the problem is strongly connected to finding infinite loops, which is undecidable in general, our algorithms compute only an approximation to the real solution of the problem. As a consequence our algorithms may compute false positives.

Original languageEnglish
Title of host publicationReliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
Pages69-83
Number of pages15
Publication statusPublished - 2007 Dec 1
Event12th Ada-Europe International Conference on Reliable Software Technologies - Geneva, Switzerland
Duration: 2007 Jun 252007 Jun 29

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4498 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other12th Ada-Europe International Conference on Reliable Software Technologies
CountrySwitzerland
CityGeneva
Period07/6/2507/6/29

Fingerprint

Ada (programming language)
Multitasking
False Positive
Execution Time
Polynomial time
Polynomials
Approximation

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Blieberger, J., Burgstaller, B., & Mittermayr, R. (2007). Static detection of livelocks in ada multitasking programs. In Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, Proceedings (pp. 69-83). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4498 LNCS).
Blieberger, Johann ; Burgstaller, Bernd ; Mittermayr, Robert. / Static detection of livelocks in ada multitasking programs. Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. 2007. pp. 69-83 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{332edfb8db714caf98efa8ec10b77c0e,
title = "Static detection of livelocks in ada multitasking programs",
abstract = "In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms' worst-case execution time is exponential, they can be expected to run in polynomial time. Since the problem is strongly connected to finding infinite loops, which is undecidable in general, our algorithms compute only an approximation to the real solution of the problem. As a consequence our algorithms may compute false positives.",
author = "Johann Blieberger and Bernd Burgstaller and Robert Mittermayr",
year = "2007",
month = "12",
day = "1",
language = "English",
isbn = "9783540732297",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "69--83",
booktitle = "Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, Proceedings",

}

Blieberger, J, Burgstaller, B & Mittermayr, R 2007, Static detection of livelocks in ada multitasking programs. in Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4498 LNCS, pp. 69-83, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, 07/6/25.

Static detection of livelocks in ada multitasking programs. / Blieberger, Johann; Burgstaller, Bernd; Mittermayr, Robert.

Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. 2007. p. 69-83 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4498 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Static detection of livelocks in ada multitasking programs

AU - Blieberger, Johann

AU - Burgstaller, Bernd

AU - Mittermayr, Robert

PY - 2007/12/1

Y1 - 2007/12/1

N2 - In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms' worst-case execution time is exponential, they can be expected to run in polynomial time. Since the problem is strongly connected to finding infinite loops, which is undecidable in general, our algorithms compute only an approximation to the real solution of the problem. As a consequence our algorithms may compute false positives.

AB - In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms' worst-case execution time is exponential, they can be expected to run in polynomial time. Since the problem is strongly connected to finding infinite loops, which is undecidable in general, our algorithms compute only an approximation to the real solution of the problem. As a consequence our algorithms may compute false positives.

UR - http://www.scopus.com/inward/record.url?scp=37849032748&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=37849032748&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:37849032748

SN - 9783540732297

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 69

EP - 83

BT - Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, Proceedings

ER -

Blieberger J, Burgstaller B, Mittermayr R. Static detection of livelocks in ada multitasking programs. In Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. 2007. p. 69-83. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).