{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:16:45Z","timestamp":1762521405904},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262862"},{"type":"electronic","value":"9783540316664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499909_20","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T11:56:28Z","timestamp":1292846188000},"page":"248-259","source":"Crossref","is-referenced-by-count":13,"title":["GNAT Pro for On-board Mission-Critical Space Applications"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 F.","family":"Ruiz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 95 Reference Manual. Language and Standard Libraries","year":"1997","unstructured":"Taft, T.S., Duff, R.A. (eds.): Ada 95 Reference Manual. LNCS, vol.\u00a01246. Springer, Heidelberg (1997)"},{"unstructured":"ARG. New pragma and additional restriction identifiers for real-time systems. Technical report, ISO\/IEC\/JTC1\/SC22\/WG9 (2003), Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00305.TXT","key":"20_CR2"},{"unstructured":"ARG Ravenscar profile for high-integrity systems. Technical report, ISO\/IEC\/JTC1\/SC22\/WG9 (2003), Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00249.TXT .","key":"20_CR3"},{"unstructured":"Atmel Corporation. TSC695F SPARC 32-bit Space Processor: User Manual (2003)","key":"20_CR4"},{"unstructured":"Baker, T.P., Pazy, O.: A unified priority-based kernel for Ada. Technical report, ACM SIGAda, Ada Run-Time Environment Working Group (March 1995)","key":"20_CR5"},{"key":"20_CR6","volume-title":"High Integrity Software. The SPARK Approach to Safety and Security","author":"J. Barnes","year":"2003","unstructured":"Barnes, J.: High Integrity Software. The SPARK Approach to Safety and Security. Addison Wesley, Reading (2003)"},{"unstructured":"Burns, A.: The Ravenscar profile. Technical report, University of York (2002), Available at http:\/\/www.cs.york.ac.uk\/~burns\/ravenscar.ps","key":"20_CR7"},{"unstructured":"Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar Profile in high integrity systems. Technical Report YCS-2003-348, University of York (2003), Available at http:\/\/www.cs.york.ac.uk\/ftpdir\/reports\/YCS-2003-348.pdf","key":"20_CR8"},{"doi-asserted-by":"crossref","unstructured":"de la Puente, J.A., Zamorano, J., Ruiz, J.F., Fern\u00e1ndez-Marina, R., Garc\u00eda, R.: The design and implementation of the open ravenscar kernel. Ada Letters\u00a0XXI(1) (March 2001)","key":"20_CR9","DOI":"10.1145\/374369.374387"},{"unstructured":"DEF STAN 00-55: Requirements for Safety Related Software in Defence Equipment (August 1997)","key":"20_CR10"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-48046-3_15","volume-title":"Reliable Software Technologies - Ada-Europe 2002","author":"R. Dewar","year":"2002","unstructured":"Dewar, R., Hainque, O., Craeynest, D., Waroquiers, P.: Exposing uninitialized variables: Strengthening and extending run-time checks in ada. In: Blieberger, J., Strohmeier, A. (eds.) Ada-Europe 2002. LNCS, vol.\u00a02361, p. 193. Springer, Heidelberg (2002)"},{"unstructured":"RTCA\/DO-178B: Software Considerations in Airborne Systems and Equipment Certification (December 1992)","key":"20_CR12"},{"unstructured":"ESA. 32 Bit Microprocessor and Computer System Development, Report 9848\/92\/NL\/FM (1992)","key":"20_CR13"},{"doi-asserted-by":"crossref","unstructured":"Giering, E.W., Mueller, F., Baker, T.P.: Implementing ada 9X features using POSIX threads: Design issues. In: Proceedings of TRI-Ada 1993, pp. 214\u2013228 (1993)","key":"20_CR14","DOI":"10.1145\/170657.170736"},{"unstructured":"IEC. IEC 61508: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems (1998)","key":"20_CR15"},{"key":"20_CR16","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)"},{"unstructured":"ISO\/IEC\/JTC1\/SC22\/WG9. Guidance for the use of the Ada Programming Language in High Integrity Systems, ISO\/IEC TR 15942:2000 (2000)","key":"20_CR17"},{"doi-asserted-by":"crossref","unstructured":"Ru\u00edz, J.F., de la Puente, J.A., Zamorano, J., Fern\u00e1ndez-Marina, R.: Exception support for the Ravenscar profile. In: Workshop on Exception Handling for a 21st Century Programming Language, ACM SIGAda, September 2001, vol.\u00a0XXI, pp. 76\u201379 (2001)","key":"20_CR18","DOI":"10.1145\/568671.568686"},{"issue":"2","key":"20_CR19","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/334725.334746","volume":"XIX","author":"H. Shen","year":"1999","unstructured":"Shen, H., Baker, T.P.: A Linux kernel module implementation of restricted Ada tasking. Ada Letters\u00a0XIX(2), 96\u2013103 (1999); Proceedings of the 9th International Real-Time Ada Workshop","journal-title":"Ada Letters"},{"issue":"1","key":"20_CR20","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0141-9331(95)93086-X","volume":"19","author":"J.S. Snyder","year":"1995","unstructured":"Snyder, J.S., Whalley, D.B., Baker, T.P.: Fast context switches: Compiler and architectural support for preemptive scheduling. Microprocessors and Microsystems\u00a019(1), 35\u201342 (1995)","journal-title":"Microprocessors and Microsystems"},{"unstructured":"Sun Microsystems Corporation. The SPARC Architecture Manual, Version 7 (1987)","key":"20_CR21"},{"unstructured":"UPM. Open Ravenscar Kernel \u2014 Software Design Document, 1.7 edition (July 2000)","key":"20_CR22"},{"issue":"3","key":"20_CR23","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.: A software process for the construction of predictable on-board embedded real-time systems. Software Practice and Experience\u00a029(3), 1\u201332 (1999)","journal-title":"Software Practice and Experience"},{"key":"20_CR24","volume-title":"11th International Workshop on Real-Time Ada Issues","author":"J. Zamorano","year":"2002","unstructured":"Zamorano, J., de la Puente, J.A.: Precise response time analysis for ravenscar kernels. In: 11th International Workshop on Real-Time Ada Issues. ACM Press, New York (2002)"},{"key":"20_CR25","volume-title":"15th IFAC World Congress","author":"J. Zamorano","year":"2002","unstructured":"Zamorano, J., Ruiz, J.F.: GNAT\/ORK: An open cross-development environment for embedded Ravenscar-Ada software. In: Camacho, E.F., Basa\u00f1ez, L., de la Puente, J.A. (eds.) 15th IFAC World Congress. Elsevier Press, Amsterdam (2002)"},{"key":"20_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-45136-6_25","volume-title":"Reliable Software Technologies \u2013 Ada Europe 2001","author":"J. Zamorano","year":"2001","unstructured":"Zamorano, J., Ruiz, J.F., de la Puente, J.A.: Implementing ada.Real_Time.Clock and absolute delays in real-time kernels. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol.\u00a02043, p. 317. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technology \u2013 Ada-Europe 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499909_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:02:02Z","timestamp":1605625322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499909_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262862","9783540316664"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11499909_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}