{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:44Z","timestamp":1725664904078},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631149"},{"type":"electronic","value":"9783540691501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63114-3_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:05:56Z","timestamp":1330297556000},"page":"244-253","source":"Crossref","is-referenced-by-count":1,"title":["T-SMART-task-safe, minimal Ada realtime toolset"],"prefix":"10.1007","author":[{"given":"Brian","family":"Dobbing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Richard-Foy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"22_CR1","unstructured":"Reference Manual for the Ada Programming Language, ANSI\/MILSTD 1815 A, January 1983."},{"key":"22_CR2","unstructured":"Ada95 Reference Manual, International Standard ANSI\/ISO\/IEC-8652:1995, January 1995."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Audsley N.C., Burns A., Richardson M.F., Tindell K., Wellings A.J., Hard Real-Time Scheduling: The Deadline Monotonic Approach, Proceedings of the 8th IEEE Workshop on Real-Time Operating Systems and Software, Pergamon, May 1991.","DOI":"10.1016\/S1474-6670(17)51283-5"},{"key":"22_CR4","unstructured":"BCAG Digital Avionics Ada Standard, Boeing Commercial Airplane Group, Doc: D6-53339 Rev A, 1991."},{"key":"22_CR5","unstructured":"Safety Critical Sotware Handbook, Aonix, Burlington, 1996."},{"key":"22_CR6","unstructured":"DO-178B Software Considerations in Airborne Systems and Equipment Certification, RTCA Inc, Washington D.C 1992 [Also European Joint Standard EUROCAE ED-12B, December 1992]"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Goodenough J.B., Sha L. The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High Priority Ada Tasks, Proceedings of the 2nd International Workshop on Real-Time Ada Issues, and in Ada Letters 8,7, Autumn 1988.","DOI":"10.1145\/58612.59371"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Klein M.H., Ralya T., Pollak W., Obenza R., Gonzalez-Harbour M. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonie Analysis for Real-Time Systems, Kluwer Academic Publishers, 1993","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Lehoczky J.P. Fixed Priority Scheduling of Period Task Sets with Arbitrary Deadlines Proceedings of the IEEE Real-Time Systems Symposium, IEEE Computer Society Press, 1990.","DOI":"10.1109\/REAL.1990.128748"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Liu C.L. Layland J.W. Scheduling Algorithms for Multi-Programming in a Hard real-Time Environment, Journal of the ACM 20, 1 January 1973","DOI":"10.1145\/321738.321743"},{"key":"22_CR11","unstructured":"ESA Software Engineering Standards Issue 2, PSS-05-0, European Space Agency, February 1991"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Sha L., Rajkumar R., Lehoczky J.P., Priority Inheritance Protocols: An Approach to Real-Time Synchronization IEEE Transacions on Computers 39, 9, September 1990","DOI":"10.1109\/12.57058"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Sprunt B., Lehoczky J.P., Sha L. Scheduling Sporadic and Aperiodic Events in a Hard Real-Time System, CMU\/SEI-89-TR-11, Software Engineering Institute, Carnegie Mellon University, 1989","DOI":"10.21236\/ADA211344"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Tindell K.W., Burns A., Wellings A.J. Mode Changes in Priority Pre-Emptively Scheduled Systems, Proceedings of the IEEE Real-Time Systems Symposium, IEEE Computer Society Press, 1992","DOI":"10.1109\/REAL.1992.242672"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe '97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63114-3_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:36Z","timestamp":1605647736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63114-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631149","9783540691501"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-63114-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}