{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:50:52Z","timestamp":1725562252252},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219743"},{"type":"electronic","value":"9783540246862"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24686-2_36","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:10:00Z","timestamp":1280761800000},"page":"578-594","source":"Crossref","is-referenced-by-count":3,"title":["Testing of Multi-Tasking Real-Time Systems with Critical Sections"],"prefix":"10.1007","author":[{"given":"Anders","family":"Pettersson","sequence":"first","affiliation":[]},{"given":"Henrik","family":"Thane","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"Audsley, N.C., Burns, A., Davis, R.I., Tindell, K.W.: Fixed Priority Pre-emptive Scheduling: A Historical Perspective. Real-Time Systems journal\u00a08(2\/3) (March\/May 1995)","DOI":"10.1007\/BF01094342"},{"issue":"1","key":"36_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF00365393","volume":"3","author":"T. Baker","year":"1991","unstructured":"Baker, T.: Stack-based scheduling of real-time processes. Real-Time Systems Journal\u00a03(1), 67\u201399 (1991)","journal-title":"Real-Time Systems Journal"},{"key":"36_CR3","unstructured":"Beizer, B.: Software testing techniques. Van Nostrand Reinhold (1990)"},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Cardell-Oliver, R., Glover, T.: A Practical and Complete Algorithm for Testing Real- Time Systems. In: 5th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, September 1998, pp. 251\u2013261 (1998)","DOI":"10.1007\/BFb0055352"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"El Shobaki, M.: A Hardware and Software Monitor for High-Level System-on-Chip Verification. In: Proc. IEEE International Symposium on Quality Electronic Design, San Jose, USA (March 2001)","DOI":"10.1109\/ISQED.2001.915206"},{"issue":"3","key":"36_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/spe.4380160304","volume":"16","author":"J. Gait","year":"1986","unstructured":"Gait, J.: A Probe Effect in Concurrent Programs. Software \u2013 Practice and Experience\u00a016(3), 225\u2013233 (1986)","journal-title":"Software \u2013 Practice and Experience"},{"key":"36_CR7","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0020-0190(87)90088-3","volume":"25","author":"R.G. Hamlet","year":"1987","unstructured":"Hamlet, R.G.: Probable Correctness Theory. Information processing letters\u00a025, 17\u201325 (1987)","journal-title":"Information processing letters"},{"issue":"4","key":"36_CR8","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1142\/S0218194095000241","volume":"5","author":"G.H. Hwang","year":"1995","unstructured":"Hwang, G.H., Tai, K.C., Huang, T.L.: Reachability Testing: An Approach to Testing Concurrent Software. Int. Journal of Software Engineering and Knowledge Engineering\u00a05(4), 493\u2013510 (1995)","journal-title":"Int. Journal of Software Engineering and Knowledge Engineering"},{"key":"36_CR9","unstructured":"ISO\/IEC. ISO\/IEC 8652L 1995 (E): Information Technology \u2013 Programming Languages \u2013 Ada (February 1995)"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Iversen, T.K., Kristoffersen, K.J., Larsen, G.K., Laursen, M., Madsen, R.G., Mortensen, S.K., Pettersson, P., Thomasen, C.B.: Model-Checking of Real-Time Control Programs. In: Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), Stockholm, Sweden, June 19-21, pp. 147\u2013255 (2000)","DOI":"10.1109\/EMRTS.2000.854002"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Khoumsi, A.: A new method for testing real time systems. In: Proceedings of the 7th International Conference on Real-Time Computing Systems and Applications, December 2000, pp. 441\u2013450 (2000)","DOI":"10.1109\/RTCSA.2000.896424"},{"key":"36_CR12","volume-title":"Dependable Computing and Fault-Tolerant Systems","author":"J.C. Laprie","year":"1992","unstructured":"Laprie, J.C.: Dependability: Basic Concepts and Associated Terminology. In: Dependable Computing and Fault-Tolerant Systems, vol.\u00a05. Springer, Heidelberg (1992)"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Lui, C.L., Layland, J.W.: Scheduling Algorithms for multiprogramming in a hard realtime environment. Journal of the ACM\u00a020(1) (1973)","DOI":"10.1145\/321738.321743"},{"issue":"4","key":"36_CR14","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"C.E. McDowell","year":"1989","unstructured":"McDowell, C.E., Hembold, D.P.: Debugging concurrent programs. ACM Computing Surveys\u00a021(4), 593\u2013622 (1989)","journal-title":"ACM Computing Surveys"},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"Mueller, F.: Priority inheritance and ceilings for distributed mutual exclusion. In: Proc. 20th IEEE Real-Time Systems Symposium, Phoenix, Arizona, December 1999, pp. 340\u2013349 (1999)","DOI":"10.1109\/REAL.1999.818861"},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"Nielsen, B., Skou, A.: Test Generation for Time Critical Systems: Tools and Case Study. In: 13th Euromicro Conference on Real-Time Systems, June 2001, pp. 155\u2013162 (2001)","DOI":"10.1109\/EMRTS.2001.934021"},{"key":"36_CR17","volume-title":"Advances in Ultra-Dependable Distributed Systems","author":"J. Rushby","year":"1995","unstructured":"Rushby, J.: Formal Specification and Verification for Critical systems: Tools, Achievements, and prospects. In: Advances in Ultra-Dependable Distributed Systems. IEEE Computer Society Press, Los Alamitos (1995); ISBN 0-8186-6287-5"},{"key":"36_CR18","unstructured":"Technical Committee on Operating Systems and Application Environments of the IEEE. Portable Operating System Interface (POSIX) \u2013 Part 1: System Application Program Interface (API), ANSI\/IEEE Std 1003.1, Edition, including 1003.1c:Amedment 2: Threads Extension C Language (1996)"},{"key":"36_CR19","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1016\/S0141-9331(00)00099-5","volume":"24","author":"H. Thane","year":"2001","unstructured":"Thane, H., Hansson, H.: Testing distributed real-time systems. Journal of Microprocessors and Microsystems\u00a0(24), 463\u2013478 (2001)","journal-title":"Journal of Microprocessors and Microsystems"},{"key":"36_CR20","doi-asserted-by":"crossref","unstructured":"Thane, H., Hansson, H.: Towards Systematic Testing of Distributed Real-Time Systems. In: Proc. 20th IEEE Real-Time Systems Symposium, Phoenix, Arizona (December 1999)","DOI":"10.1109\/REAL.1999.818863"},{"key":"36_CR21","doi-asserted-by":"crossref","unstructured":"Thane, H., Hansson, H.: Using Deterministic Replay for Debugging of Distributed Real- Time Systems. In: Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), Stockholm (June 2000)","DOI":"10.1109\/EMRTS.2000.854015"},{"issue":"3","key":"36_CR22","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1109\/32.48943","volume":"16","author":"J. Xu","year":"1990","unstructured":"Xu, J., Parnas, D.: Scheduling processes with release times, deadlines, precedence, and exclusion, relations. IEEE Trans. on Software Eng.\u00a016(3), 360\u2013369 (1990)","journal-title":"IEEE Trans. on Software Eng."},{"issue":"1","key":"36_CR23","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0950-5849(92)90093-5","volume":"34","author":"R.-D. Yang","year":"1992","unstructured":"Yang, R.-D., Chung, C.-G.: Path analysis testing of concurrent programs. Information and software technology\u00a034(1), 425\u2013432 (1992)","journal-title":"Information and software technology"}],"container-title":["Lecture Notes in Computer Science","Real-Time and Embedded Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24686-2_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T03:24:57Z","timestamp":1559359497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24686-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219743","9783540246862"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24686-2_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}