{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T03:10:33Z","timestamp":1736392233102,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346630"},{"type":"electronic","value":"9783540346647"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767077_14","type":"book-chapter","created":{"date-parts":[[2006,5,29]],"date-time":"2006-05-29T09:29:34Z","timestamp":1148894974000},"page":"167-178","source":"Crossref","is-referenced-by-count":4,"title":["Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Jingde","family":"Cheng","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 95 Rationale","year":"1997","unstructured":"Barnes, J. (ed.): Ada 95 Rationale. LNCS, vol.\u00a01247. Springer, Heidelberg (1997)"},{"key":"14_CR2","volume-title":"Programming in Ada 95","author":"J. Barnes","year":"1998","unstructured":"Barnes, J.: Programming in Ada 95, 2nd edn. Addison-Wesley, Reading (1998)","edition":"2"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/10722060_21","volume-title":"Reliable Software Technologies Ada-Europe 2000","author":"J. Blieberger","year":"2000","unstructured":"Blieberger, J., Burgstaller, B., Scholz, B.: Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. In: Keller, H.B., Pl\u00f6dereder, E. (eds.) Ada-Europe 2000. LNCS, vol.\u00a01845, pp. 225\u2013237. Springer, Heidelberg (2000)"},{"key":"14_CR4","volume-title":"Concurrency in Ada","author":"A. Burns","year":"1998","unstructured":"Burns, A., Wellings, A.: Concurrency in Ada, 2nd edn. Cambridge University Press, Cambridge (1998)","edition":"2"},{"issue":"5","key":"14_CR5","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/381837.381846","volume":"10","author":"J. Cheng","year":"1990","unstructured":"Cheng, J.: A Classification of Tasking Deadlocks. ACM Ada Letters\u00a010(5), 110\u2013127 (1990)","journal-title":"ACM Ada Letters"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Cheng, J.: Task-Wait-For Graphs and their Application to Handling Tasking Deadlocks. In: Proc. 3rd ACM Annual TRI-Ada Conference, pp. 376\u2013390 (1990)","DOI":"10.1145\/255471.255562"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/122037.122040","volume":"11","author":"J. Cheng","year":"1991","unstructured":"Cheng, J.: A Survey of Tasking Deadlock Detection Methods. ACM Ada Letters\u00a011(1), 82\u201391 (1991)","journal-title":"ACM Ada Letters"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"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.\u00a04, pp. 4010\u20134015 (1998)","DOI":"10.1109\/ICSMC.1998.726716"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"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\u201363 (1991)","DOI":"10.1109\/CMPSAC.1991.170152"},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/978-4-431-68144-1_11","volume-title":"Distributed Environments","author":"J. Cheng","year":"1991","unstructured":"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\u2013171. Springer, Tokyo (1991)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BFb0013484","volume-title":"Reliable Software Technologies - Ada Europe 96","author":"J. Cheng","year":"1996","unstructured":"Cheng, J., Ushijima, K.: Tasking Deadlocks in Ada 95 Programs and their Detection. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol.\u00a01088, pp. 135\u2013146. Springer, Heidelberg (1996)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Conn, R.: Software Version Description (SVD) and Software User\u2019s Manual (SUM) Source Code Analysis Tool Construction Domain-Specific Kit (SCATC DSK). Public Ada Library (1998)","DOI":"10.1145\/269629.269645"},{"key":"14_CR13","unstructured":"International Organization for Standardization: Information Technology: Programming Language \u2013 Ada. ISO\/IEC 8652:1995(E) (1995)"},{"issue":"1","key":"14_CR14","first-page":"79","volume":"20","author":"Y. Nonaka","year":"1999","unstructured":"Nonaka, Y., Cheng, J., Ushijima, K.: A Tasking Deadlock Detector for Ada 95 Programs. Ada User Journal\u00a020(1), 79\u201392 (1999)","journal-title":"Ada User Journal"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/10722060_9","volume-title":"Reliable Software Technologies Ada-Europe 2000","author":"Y. Nonaka","year":"2000","unstructured":"Nonaka, Y., Cheng, J., Ushijima, K.: A Supporting Tool for Development of Self-measurement Ada Programs. In: Keller, H.B., Pl\u00f6dereder, E. (eds.) Ada-Europe 2000. LNCS, vol.\u00a01845, pp. 69\u201381. Springer, Heidelberg (2000)"},{"key":"14_CR16","unstructured":"Self, J.: Aflex - An Ada Lexical Analyzer Generator Version 1.1. UCI-90-18 (1990)"},{"key":"14_CR17","unstructured":"Taback, D., Tolani, D., Schmalz, R.J., Chen, Y.: Ayacc User\u2019s Manual Version 1.1. Arcadia Document UCI-94-01 (1994)"},{"issue":"1","key":"14_CR18","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/1064303.1064305","volume":"25","author":"Y. Tojo","year":"2005","unstructured":"Tojo, Y., Nara, S., Goto, Y., Cheng, J.: Tasking Deadlocks in Programs with the Full Ada 95. ACM Ada Letters\u00a025(1), 48\u201356 (2005)","journal-title":"ACM Ada Letters"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767077_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T02:44:22Z","timestamp":1736390662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767077_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346630","9783540346647"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11767077_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}