{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:50:00Z","timestamp":1725515400137},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686217"},{"type":"electronic","value":"9783540686248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68624-8_1","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T05:52:09Z","timestamp":1213077129000},"page":"1-14","source":"Crossref","is-referenced-by-count":1,"title":["A New Approach to Memory Partitioning in On-Board Spacecraft Software"],"prefix":"10.1007","author":[{"given":"Santiago","family":"Urue\u00f1a","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 A.","family":"Pulido","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"L\u00f3pez","sequence":"additional","affiliation":[]},{"given":"Juan","family":"Zamorano","sequence":"additional","affiliation":[]},{"given":"Juan A.","family":"de la Puente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"ECSS: ECSS-Q-80B Space Product Assurance \u2014 Software Product Assurance. Available from ESA (2003)"},{"key":"1_CR2","unstructured":"Rushby, J.: Partitioning for safety and security: Requirements, mechanisms, and assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center (June 1999) Also to be issued by the FAA"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 2005 Reference Manual. Language and Standard Libraries","author":"S. Tucker Taft","year":"2006","unstructured":"Tucker Taft, S., Duff, R.A., Brukardt, R.L., Pl\u00f6dereder, E., Leroy, P.: Ada 2005 Reference Manual. LNCS, vol.\u00a04348. Springer, Heidelberg (2006)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-73230-3_2","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"J.A. Pulido","year":"2007","unstructured":"Pulido, J.A., Urue\u00f1a, S., Zamorano, J., de la Puente, J.A.: Handling Temporal Faults in Ada\u00a02005. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 15\u201328. Springer, Heidelberg (2007)"},{"key":"1_CR5","unstructured":"Zamorano, J., de la Puente, J.A., Hugues, J., Vardanega, T.: Run-time mechanisms for property preservation in high-integrity real-time systems. In: OSPERT 2007 \u2014 Workshop on Operating System Platforms for Embedded Real-Time Applications, Pisa. Italy (July 2007)"},{"key":"#cr-split#-1_CR6.1","unstructured":"RTC: RTCA SC167\/DO-178B ??? Software Considerations in Airborne Systems and Equipment Certification (1992);"},{"key":"#cr-split#-1_CR6.2","unstructured":"Also available as EUROCAE document ED-12B"},{"key":"1_CR7","unstructured":"ARINC: Avionics Application Software Standard Interface \u2014 ARINC Specification 653-1 (October 2003)"},{"key":"1_CR8","unstructured":"Gaisler Research: LEON2 Processor User\u2019s Manual (2005)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/11499909_12","volume-title":"Reliable Software Technology \u2013 Ada-Europe 2005","author":"P. Amey","year":"2005","unstructured":"Amey, P., Chapman, R., White, N.: Smart Certification of Mixed Criticality Systems. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol.\u00a03555, pp. 144\u2013155. Springer, Heidelberg (2005)"},{"issue":"5","key":"1_CR10","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/173668.168635","volume":"27","author":"R. Wahbe","year":"1993","unstructured":"Wahbe, R., Lucco, S., Anderson, T.E., Graham, S.L.: Efficient software-based fault isolation. ACM SIGOPS Operating Systems Review\u00a027(5), 203\u2013216 (1993)","journal-title":"ACM SIGOPS Operating Systems Review"},{"issue":"1","key":"1_CR11","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/TVLSI.2006.887813","volume":"15","author":"Y.J. Chang","year":"2007","unstructured":"Chang, Y.J., Lan, M.F.: Two new techniques integrated for energy-efficient TLB design. IEEE Transactions on Very Large Scale Integration (VLSI) Systems\u00a015(1), 13\u201323 (2007)","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/EMRTS.2001.934028","volume-title":"Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001)","author":"M.D. Bennett","year":"2001","unstructured":"Bennett, M.D., Audsley, N.C.: Predictable and efficient virtual addressing for safety-critical real-time systems. In: Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), pp. 183\u2013190. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"1_CR13","unstructured":"ISO: Ada Semantic Interface Specification (ASIS). ISO\/IEC- 15291:1999 (1999)"},{"key":"1_CR14","first-page":"134","volume-title":"TRI-Ada 1995: Proceedings of the conference on TRI-Ada 1995","author":"E.W. Giering","year":"1995","unstructured":"Giering, E.W., Baker, T.P.: Implementing Ada protected objects\u2014interface issues and optimization. In: TRI-Ada 1995: Proceedings of the conference on TRI-Ada 1995, pp. 134\u2013143. ACM Press, New York (1995)"},{"key":"1_CR15","volume-title":"Linkers and Loaders","author":"J.R. Levine","year":"2000","unstructured":"Levine, J.R.: Linkers and Loaders. Morgan Kaufmann, San Francisco (2000)"},{"issue":"2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/1316002.1316016","volume":"XXVII","author":"S. Urue\u00f1a","year":"2007","unstructured":"Urue\u00f1a, S., Pulido, J.A., Redondo, J., Zamorano, J.: Implementing the new Ada\u00a02005 real-time features on a bare board kernel. Ada Letters\u00a0XXVII(2), 61\u201366 (2007); Proceedings of the 13th International Real-Time Ada Workshop (IRTAW 2007)","journal-title":"Ada Letters"},{"key":"1_CR17","unstructured":"Hamilton, G., Nelson, M.N.: High performance dynamic linking through caching. Technical report, Sun Microsystems, Inc., Mountain View, CA, USA (1993)"},{"key":"1_CR18","unstructured":"Heinecke, H., Schnelle, K.P., Fennel, H., Bortolazzi, J., Lundh, L., Leflour, J., Mat\u00e9, J.L., Nishikawa, K., Scharnhorst, T.: AUTomotive Open System Architecture \u2014 an industry-wide initiative to manage the complexity of emerging Automotive E\/E-Architectures. In: Convergence 2004 (2004)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68624-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T03:17:07Z","timestamp":1551496627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68624-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686217","9783540686248"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68624-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}