Skip to main content
SpringerLink
Log in

Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

  • Conference paper
Reliable Software Technologies – Ada-Europe 2006 (Ada-Europe 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4006))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barnes, J. (ed.): Ada 95 Rationale. LNCS, vol. 1247. Springer, Heidelberg (1997)

    Google Scholar 

  2. Barnes, J.: Programming in Ada 95, 2nd edn. Addison-Wesley, Reading (1998)

    Google Scholar 

  3. Blieberger, J., Burgstaller, B., Scholz, B.: Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. In: Keller, H.B., Plödereder, E. (eds.) Ada-Europe 2000. LNCS, vol. 1845, pp. 225–237. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  4. Burns, A., Wellings, A.: Concurrency in Ada, 2nd edn. Cambridge University Press, Cambridge (1998)

    Google Scholar 

  5. Cheng, J.: A Classification of Tasking Deadlocks. ACM Ada Letters 10(5), 110–127 (1990)

    Article  Google Scholar 

  6. Cheng, J.: Task-Wait-For Graphs and their Application to Handling Tasking Deadlocks. In: Proc. 3rd ACM Annual TRI-Ada Conference, pp. 376–390 (1990)

    Google Scholar 

  7. Cheng, J.: A Survey of Tasking Deadlock Detection Methods. ACM Ada Letters 11(1), 82–91 (1991)

    Article  Google Scholar 

  8. Cheng, J.: The Self-Measurement Principle: A Design Principle for Large-scale, Long-lived, and Highly Reliable Concurrent Systems. In: Proc. 1998 IEEE-SMC Annual International Conference on Systems, Man, and Cybernetics, vol. 4, pp. 4010–4015 (1998)

    Google Scholar 

  9. Cheng, J., Kasahara, Y., Ushijima, K.: A Tasking Deadlock Detector for Ada Programs. In: Proc. 15th IEEE-CS Annual International Computer Software & Applications Conference, pp. 56–63 (1991)

    Google Scholar 

  10. Cheng, J., Ushijima, K.: Partial Order Transparency as a Tool to Reduce Interference in Monitoring Concurrent Systems. In: Ohno, Y. (ed.) Distributed Environments, pp. 156–171. Springer, Tokyo (1991)

    Google Scholar 

  11. Cheng, J., Ushijima, K.: Tasking Deadlocks in Ada 95 Programs and their Detection. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol. 1088, pp. 135–146. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  12. Conn, R.: Software Version Description (SVD) and Software User’s Manual (SUM) Source Code Analysis Tool Construction Domain-Specific Kit (SCATC DSK). Public Ada Library (1998)

    Google Scholar 

  13. International Organization for Standardization: Information Technology: Programming Language – Ada. ISO/IEC 8652:1995(E) (1995)

    Google Scholar 

  14. Nonaka, Y., Cheng, J., Ushijima, K.: A Tasking Deadlock Detector for Ada 95 Programs. Ada User Journal 20(1), 79–92 (1999)

    Google Scholar 

  15. Nonaka, Y., Cheng, J., Ushijima, K.: A Supporting Tool for Development of Self-measurement Ada Programs. In: Keller, H.B., Plödereder, E. (eds.) Ada-Europe 2000. LNCS, vol. 1845, pp. 69–81. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  16. Self, J.: Aflex - An Ada Lexical Analyzer Generator Version 1.1. UCI-90-18 (1990)

    Google Scholar 

  17. Taback, D., Tolani, D., Schmalz, R.J., Chen, Y.: Ayacc User’s Manual Version 1.1. Arcadia Document UCI-94-01 (1994)

    Google Scholar 

  18. Tojo, Y., Nara, S., Goto, Y., Cheng, J.: Tasking Deadlocks in Programs with the Full Ada 95. ACM Ada Letters 25(1), 48–56 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computer Sciences, Saitama University, Saitama, 338-8570, Japan

    Jingde Cheng

Authors
  1. Jingde Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Polytechnic Institute of Porto, Porto, Portugal

    Luís Miguel Pinho

  2. Departamento de Electrónica y Computadores, Universidad de Cantabria, 39005, Santander, SPAIN

    Michael González Harbour

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cheng, J. (2006). Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. In: Pinho, L.M., González Harbour, M. (eds) Reliable Software Technologies – Ada-Europe 2006. Ada-Europe 2006. Lecture Notes in Computer Science, vol 4006. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767077_14

Download citation

  • DOI: https://doi.org/10.1007/11767077_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-34663-0

  • Online ISBN: 978-3-540-34664-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation