Run-time detection of tasking deadlocks in real-time systems with the ada 95 annex of real-time systems

  • Authors:

  • Jingde Cheng

  • Affiliations:

  • Department of Information and Computer Sciences, Saitama University, Saitama, Japan

  • Venue:
  • Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Any existing detection method or tool for Ada 95 programs cannot detect all types of tasking deadlocks in an Ada program with the Ada 95's annex of real-time systems. This paper investigates synchronization waiting relations in Ada 95 programs with the annex of real-time systems, extends the representation of Task-Wait-For Graph to deal with synchronization waiting relations defined in the annex of real-time systems, shows the necessary and sufficient conditions for tasking deadlock occurrences, and present a run-time tasking deadlock detector we implemented for real-time systems with the Ada 95's annex of real-time systems.