{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:13:12Z","timestamp":1742998392198,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019234"},{"type":"electronic","value":"9783642019241"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01924-1_2","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T17:25:15Z","timestamp":1244222715000},"page":"16-29","source":"Crossref","is-referenced-by-count":3,"title":["A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Santiago","family":"Urue\u00f1a","sequence":"first","affiliation":[]},{"given":"Juan","family":"Zamorano","sequence":"additional","affiliation":[]},{"given":"Juan A.","family":"de la Puente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"2_CR1","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.K.: Finding response times in real-time systems. BCS Computer Journal\u00a029(5), 390\u2013395 (1986)","journal-title":"BCS Computer Journal"},{"key":"2_CR2","volume-title":"Guide to Rate Monotonic Analysis for Real-Time Systems","author":"M.H. Klein","year":"1993","unstructured":"Klein, M.H., Ralya, T., Pollack, B., Obenza, R., Gonz\u00e1lez Harbour, M.: A Practitioner\u2019s Handbook for Real-Time Analysis. In: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Boston (1993)"},{"key":"2_CR3","unstructured":"ISO\/IEC: TR\u00a015942:2000 \u2014 Guide for the use of the Ada programming language in high integrity systems (2000)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BFb0055011","volume-title":"Reliable Software Technologies - Ada-Europe \u201998","author":"A. Burns","year":"1998","unstructured":"Burns, A., Dobbing, B., Romanski, G.: The Ravenscar tasking profile for high integrity real-time programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol.\u00a01411, pp. 263\u2013275. Springer, Heidelberg (1998)"},{"key":"2_CR5","unstructured":"ISO\/IEC: Std. 8652:1995\/Amd\u00a01:2007 \u2014 Ada 2005 Reference Manual. Language and Standard Libraries. Springer, Heidelberg (2007) ISBN 978-3-540-69335-2"},{"issue":"2","key":"2_CR6","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/334725.334729","volume":"19","author":"M. Gonz\u00e1lez Harbour","year":"1999","unstructured":"Gonz\u00e1lez Harbour, M., Moody, S.A.: Session summary: Distributed Ada and real-time. ACM SIGAda Ada Letters\u00a019(2), 15\u201318 (1999); IRTAW 1999: Proceedings of the Ninth International Workshop on Real-time Ada","journal-title":"ACM SIGAda Ada Letters"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: An approach to real-time synchronization. IEEE Tr. on Computers\u00a039(9) (1990)","DOI":"10.1109\/12.57058"},{"issue":"2\u20133","key":"2_CR8","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K. Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming\u00a040(2\u20133), 117\u2013134 (1994); Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems)","journal-title":"Microprocessing and Microprogramming"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Palencia Guti\u00e9rrez, J.C., Gonz\u00e1lez Harbour, M.: Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In: RTSS 1999: Proceedings of the 20th IEEE Real-Time Systems Symposium, pp. 328\u2013339 (December 1999)","DOI":"10.1109\/REAL.1999.818860"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-68624-8_18","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2008","author":"F. Singhoff","year":"2008","unstructured":"Singhoff, F., Plantec, A., Dissaux, P.: Can we increase the usability of real time scheduling theory? the Cheddar project. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol.\u00a05026, pp. 240\u2013253. Springer, Heidelberg (2008)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/EMRTS.2001.934015","volume-title":"Proceedings of 13th Euromicro Conference on Real-Time Systems","author":"M. Gonz\u00e1lez Harbour","year":"2001","unstructured":"Gonz\u00e1lez Harbour, M., Guti\u00e9rrez, J.J., Palencia, J.C., Drake, J.M.: MAST modeling and analysis suite for real time applications. In: Proceedings of 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, pp. 125\u2013134. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-68624-8_20","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2008","author":"H. P\u00e9rez","year":"2008","unstructured":"P\u00e9rez, H., Guti\u00e9rrez, J.J., Sangorr\u00edn, D., Harbour, M.G.: Real-time distribution middleware from the Ada perspective. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol.\u00a05026, pp. 268\u2013281. Springer, Heidelberg (2008)"},{"key":"2_CR13","first-page":"33","volume-title":"IRTAW 2000: Proceedings of the 10th International Real-Time Ada Workshop","author":"N. Audsley","year":"2001","unstructured":"Audsley, N., Wellings, A.: Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. In: IRTAW 2000: Proceedings of the 10th International Real-Time Ada Workshop, pp. 33\u201339. ACM Press, New York (2001)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-24841-5_7","volume-title":"Reliable Software Technologies - Ada-Europe 2004","author":"J. L\u00f3pez Campos","year":"2004","unstructured":"L\u00f3pez Campos, J., Guti\u00e9rrez, J.J., Gonz\u00e1lez Harbour, M.: The chance for Ada to support distribution and real-time in embedded systems. In: Llamos\u00ed, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol.\u00a03063, pp. 91\u2013105. Springer, Heidelberg (2004)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Pautet, L., Tardieu, S.: GLADE: a framework for building large object-oriented real-time distributed systems. In: Proc. of the 3rd IEEE Intl. Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (March 2000)","DOI":"10.1109\/ISORC.2000.839536"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1316002.1316008","volume":"XXVII","author":"S. Urue\u00f1a","year":"2007","unstructured":"Urue\u00f1a, S., Zamorano, J.: Building high-integrity distributed systems with Ravenscar restrictions. Ada Letters\u00a0XXVII(2), 29\u201336 (2007); Proceedings of the 13th International Real-Time Ada Workshop (IRTAW 2007)","journal-title":"Ada Letters"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-540-77419-8_3","volume-title":"Composition of Embedded Systems. Scientific and Industrial Issues","author":"J. Hugues","year":"2007","unstructured":"Hugues, J., Pautet, L., Zalila, B.: From MDD to full industrial process: Building distributed real-time embedded systems for the high-integrity domain. In: Kordon, F., Sokolsky, O. (eds.) Monterey Workshop 2006. LNCS, vol.\u00a04888, pp. 35\u201352. Springer, Heidelberg (2007)"},{"key":"2_CR18","unstructured":"SAE: Architecture Analysis and Design Language (AADL) \u2014 AS5506A. (January 2009), http:\/\/www.sae.org"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"de la Puente, J.A., Zamorano, J., Pulido, J.A., Urue\u00f1a, S.: The ASSERT Virtual Machine: A predictable platform for real-time systems. In: Chung, M.J., Misra, P. (eds.) Proceedings of the 17th IFAC World Congress, IFAC-PapersOnLine (2008)","DOI":"10.3182\/20080706-5-KR-1001.01810"},{"key":"2_CR20","unstructured":"OMG: Real-Time CORBA Specification, version 1.2. OMG TC Document formal\/05-01-04 (2005)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Hugues, J., Pautet, L., Kordon, F.: Revisiting COTS middleware for DRE systems. In: Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), pp. 72\u201379 (2005)","DOI":"10.1109\/ISORC.2005.46"},{"key":"2_CR22","unstructured":"ARINC: Avionics Application Software Standard Interface \u2014 ARINC Specification 653-1 (October 2003)"},{"key":"2_CR23","unstructured":"IEEE: Portable Operating System Interface (POSIX) \u2014 Part 1: System Application Program Interface (API) [C Language]. (1990) ISO\/IEC\u00a09945-1:1990; IEEE\u00a01003.1-1990"},{"key":"2_CR24","unstructured":"OMG: CORBA Specification, version 3.1. OMG TC Document formal\/2008-01-04 (2008)"},{"key":"2_CR25","unstructured":"OMG: Data Distribution Service for Real-time Systems. Version 1.2 edn. (January 2007)"},{"key":"2_CR26","volume-title":"The Java Language Specification","author":"J. Gosling","year":"1996","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley, Reading (1996)"},{"key":"2_CR27","unstructured":"ISO\/IEC: TR\u00a024718:2005 \u2014 Guide for the use of the Ada Ravenscar Profile in high integrity systems (2005) Based on the University of York Technical Report YCS-2003-348 (2003)"},{"key":"2_CR28","unstructured":"Jackson, D., Thomas, M., Millett, L.I.: Software for dependable systems: Sufficient evidence? Technical report, Committee on Certifiably Dependable Software Systems \u2014 National Academy of Science (2007)"},{"key":"2_CR29","unstructured":"Urue\u00f1a, S., Pulido, J.A., Zamorano, J., de la Puente, J.A.: Adding new features to the Open Ravenscar Kernel. In: Proc. 1st International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2005), Palma de Mallorca, Spain (July 2005)"},{"issue":"2","key":"2_CR30","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)","journal-title":"Ada Letters"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01924-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T23:35:24Z","timestamp":1739144124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01924-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019234","9783642019241"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01924-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}