{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:22:09Z","timestamp":1725499329280},"publisher-location":"London","reference-count":29,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846283338"},{"type":"electronic","value":"9781846284472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-84628-447-3_10","type":"book-chapter","created":{"date-parts":[[2007,12,27]],"date-time":"2007-12-27T17:28:05Z","timestamp":1198776485000},"page":"187-198","source":"Crossref","is-referenced-by-count":0,"title":["Ada 2005 for High-Integrity Systems"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 F.","family":"Ruiz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"ACAA (2005), Ada Conformity Assessment Test Suite (ACATS), ACAA. Available at http:\/\/www.ada-auth.org\/acats.html."},{"key":"10_CR2","unstructured":"ARG (2005a), Execution-time clocks, Technical report, ISO\/IEC\/JTC1\/SC22\/WG9. Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/I-00307.TXT."},{"key":"10_CR3","unstructured":"ARG (2005b), Group execution-time budgets, Technical report, ISO\/IEC\/JTC1\/SC22\/WG9. Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00354.TXT."},{"key":"10_CR4","unstructured":"ARG (2005c), Non-preemptive dispatching, Technical report, ISO\/IEC\/JTC1\/SC22\/WG9. Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00298.TXT."},{"key":"10_CR5","unstructured":"ARG (2005d), Partition elaboration policy for high-integrity systems, Technical report, ISO\/IEC\/JTC1\/SC22\/WG9. Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00265.TXT."},{"key":"10_CR6","unstructured":"ARG (2005e), Priority specific dispatching including round robin, Technical report, ISO\/IEC\/JTC1\/SC22\/WG9. Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00355.TXT."},{"key":"10_CR7","unstructured":"ARG (2005f), Ravenscar profile for high-integrity systems, Technical report, ISO\/IEC\/JTC1\/SC22\/WG9. Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00249.TXT."},{"key":"10_CR8","unstructured":"ARG (2005g), Support for deadlines and earliest deadline first scheduling, Technical report, ISO\/IEC\/JTC1\/SC22\/WG9. Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00357.TXT."},{"key":"10_CR9","unstructured":"ARG (2005h), Timing events, Technical report, ISO\/IEC\/JTC1\/SC22\/WG9. Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00297.TXT."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Baker, T. & Shaw, A. (1989), The cyclic executive model and Ada\u2019, Real-Time Systems.","DOI":"10.1007\/BF02341919"},{"key":"10_CR11","unstructured":"Barnes, J. (2003), High Integrity Software. The SPARK Approach to Safety and Security, Addison Wesley."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Burns, A. (2001), Defining new non-preemptive dispatching and locking policies for Ada, in D. Craeynest & A. Strohmeier, eds, \u2018Reliable Software Technologies \u2014 Ada-Europe 2001\u2019, number 2043 in \u2018Lecture Notes in Computer Science\u2019, Springer-Verlag, pp. 328\u2013336.","DOI":"10.1007\/3-540-45136-6_26"},{"key":"10_CR13","volume-title":"HRT-HOOD(TM): A Structured Design Method for Hard Real-Time Ada Systems","author":"A. Burns","year":"1995","unstructured":"Burns, A. & Wellings, A. (1995), HRT-HOOD(TM): A Structured Design Method for Hard Real-Time Ada Systems, North-Holland, Amsterdam."},{"key":"10_CR14","unstructured":"Burns, A., Dobbing, B. & Vardanega, T. (2003), Guide for the use of the Ada Raven-scar Profile in high integrity systems, Technical Report YCS-2003-348, University of York. Available at http:\/\/www.cs.york.ac.uk\/ftpdir\/reports\/YCS-2003-348.pdf."},{"key":"10_CR15","unstructured":"FAA (2004), Handbook for Object-Oriented Technology in Aviation (OOTiA). Available at http:\/\/www.faa.gov\/certification\/aircraft\/av-info\/software\/OOT.htm."},{"issue":"1","key":"10_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF01094172","volume":"9","author":"T. M. Ghazalie","year":"1995","unstructured":"Ghazalie, T. M. & Baker, T. P. (1995), \u2018Aperiodic servers in a deadline scheduling environment\u2019, Real-Time Systems\n                9(1), 31\u201367.","journal-title":"Real-Time Systems"},{"key":"10_CR17","unstructured":"IEEE (2003), 1003.13-2003 IEEE Standard for Information Technology-Standardization Application Environment Profile-POSIX Realtime and Embedded Application Support (AEP)."},{"key":"10_CR18","unstructured":"ISO (1983), Reference Manual for the Ada Programming Language. ANSI\/MIL-STD-1815A-1983; ISO\/8652-1987."},{"key":"10_CR19","unstructured":"ISO (1995), Ada 95 Reference Manual: Language and Standard Libraries. International Standard ANSI\/ISO\/IEC-8652:1995. Available from Springer-Verlag, LNCS no. 1246."},{"key":"10_CR20","unstructured":"ISO (1999), Ada: Conformity assessment of a language processor. ISO\/IEC 18009:1999."},{"key":"10_CR21","unstructured":"ISO (2000), Guidance for the use of the Ada Programming Language in High Integrity Systems. ISO\/IEC TR 15942:2000."},{"issue":"5","key":"10_CR22","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M. Joseph","year":"1986","unstructured":"Joseph, M. & Pandya, P. (1986), \u2018Finding response times in real-time systems\u2019, BCS Computer Journal\n                29(5), 390\u2013395.","journal-title":"BCS Computer Journal"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Liu, C. & Layland, J. (1973), \u2018Scheduling algorithms for multiprogramming in a hard-real-time environment\u2019, Journal of the ACM.","DOI":"10.1145\/321738.321743"},{"issue":"5","key":"10_CR24","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/2.76287","volume":"24","author":"J. W. Liu","year":"1991","unstructured":"Liu, J. W., Lin, K. J., Shih, W. K., Chuang-Shi, A., Chung, J. Y. & Zhao, W. (1991), \u2018Algorithms for Scheduling Imprecise Computations\u2019, IEEE Computer\n                24(5), 58\u201368.","journal-title":"IEEE Computer"},{"key":"10_CR25","unstructured":"Motet, G., Marpinard, A. & Geffroy, J. (1996), Design of Dependable Ada Software, Prentice Hall."},{"key":"10_CR26","unstructured":"RTCA (1992), RTCA\/DO-178B: Software Considerations in Airborne Systems and Equipment Certification, RTCA."},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Sprunt, B., Sha, L. & Lehoczky, J. (1989), \u2018Aperiodic task scheduling for hard realtime systems\u2019, Real-Time Systems.","DOI":"10.1007\/BF02341920"},{"key":"10_CR28","unstructured":"Vardanega, T. (1998), Development of On-Board Embedded Real-Time Systems: An Engineering Approach, PhD thesis, TU Delft. Also available as ESA STR-260."},{"issue":"3","key":"10_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/(SICI)1097-024X(199903)29:3<235::AID-SPE231>3.0.CO;2-7","volume":"29","author":"T. Vardanega","year":"1999","unstructured":"Vardanega, T. & van Katwijk, J. (1999), \u2018A software process for the construction of predictable on-board embedded real-time systems\u2019, Software Practice and Experience\n                29(3), 1\u201332.","journal-title":"Software Practice and Experience"}],"container-title":["Developments in Risk-based Approaches to Safety"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-84628-447-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:25:28Z","timestamp":1619555128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-84628-447-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781846283338","9781846284472"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/1-84628-447-3_10","relation":{},"subject":[]}}