{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:09:28Z","timestamp":1743066568793,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642243486"},{"type":"electronic","value":"9783642243493"}],"license":[{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-24349-3_9","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T07:42:19Z","timestamp":1328600539000},"page":"191-206","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Trustworthy Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Stefan M.","family":"Petters","sequence":"first","affiliation":[]},{"given":"Kevin","family":"Elphinstone","sequence":"additional","affiliation":[]},{"given":"Gernot","family":"Heiser","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,10,27]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Abeni L, Buttazzo G (1998) Integrating multimedia applications in hard real-time systems. In: Proceedings of the 19th IEEE real-time systems symposium, IEEE Computer Science Press, Madrid, Spain, pp 4\u201313","DOI":"10.1109\/REAL.1998.739726"},{"key":"9_CR2","unstructured":"Abeni L, Lipari G, Buttazzo G (1999) Constant bandwidth vs. proportional share resource allocation. In: Proceedings of the 5th IEEE international conference on multimedia computing and systems, vol\u00a02. IEEE Computer Science Press, Florence, Italy, pp 107\u2013111"},{"key":"9_CR3","unstructured":"Albers K, Slomka F (2004) An event stream driven approximation for the analysis of real-time systems. In: Proceedings of the 16th euromicro conference on real-time systems, IEEE Computer Science Press, Catania, Italy"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bernat G, Colin A, Petters SM (2002) WCET analysis of probabilistic hard real\u2013time systems. In: Proceedings of the 24th IEEE real-time systems symposium, Austin, Texas, pp 279\u2013288","DOI":"10.1109\/REAL.2002.1181582"},{"issue":"2","key":"9_CR5","doi-asserted-by":"crossref","first-page":"179","DOI":"10.3233\/EMC-2005-00014","volume":"1","author":"G Bernat","year":"2005","unstructured":"Bernat G, Newby M, Burns A (2005) Probabilistic timing analysis: An approach using copulas. J Embedded Comput 1(2):179\u2013194","journal-title":"J Embedded Comput"},{"key":"9_CR6","unstructured":"Brandt SA, Banachowski S, Lin C, Bisson T (2003) Dynamic integrated scheduling of hard real-time, soft real-time and non-real-time processes. In: Proceedings of the 24th IEEE real-time systems symposium, Cancun, Mexico"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Charette RN (2009) This car runs on code. IEEE Spectrum 46(2), http:\/\/www.spectrum.ieee.org\/feb09\/7649","DOI":"10.1109\/MSPEC.2009.5292026"},{"key":"9_CR8","unstructured":"Colin A, Petters SM (2003) Experimental evaluation of code properties for WCET analysis. In: Proceedings of the 24th IEEE international real-time systems symposium, Cancun, Mexico"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Colin A, Puaut I (2001) Worst case execution time analysis of the RTEMS real-time operating system. In: Proceedings of the 13th euromicro conference on real-time systems, Delft, Netherlands, pp 191\u2013198","DOI":"10.1109\/EMRTS.2001.934029"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/365230.365252","volume":"9","author":"JB Dennis","year":"1966","unstructured":"Dennis JB, Van\u00a0Horn EC (1966) Programming semantics for multiprogrammed computations. Communications ACM 9:143\u2013155","journal-title":"Communications ACM"},{"key":"9_CR11","doi-asserted-by":"publisher","DOI":"10.1145\/1159842.1159850","volume-title":"Running the manual: An approach to high-assurance microkernel development","author":"P Derrin","year":"2006","unstructured":"Derrin P, Elphinstone K, Klein G, Cock D, Chakravarty MMT (2006) Running the manual: An approach to high-assurance microkernel development. In: Proceedings of the ACM SIGPLAN haskell workshop, Portland, OR"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Elkaduwe D, Derrin P, Elphinstone K (2008) Kernel design for isolation and assurance of physical memory. In: 1st workshop on isolation and integration in embedded systems, ACM SIGOPS, Glasgow, UK, pp 35\u201340","DOI":"10.1145\/1435458.1435465"},{"key":"9_CR13","unstructured":"Elphinstone K, Klein G, Derrin P, Roscoe T, Heiser G (2007) Towards a practical, verified kernel. In: Proceedings of the 11th workshop on hot topics in operating systems, San Diego, CA, pp 117\u2013122"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Heiser G (2009) Hypervisors for consumer electronics. In: Proceedings of the 6th IEEE consumer communications and networking conference, Las Vegas, NV, pp 1\u20135","DOI":"10.1109\/CCNC.2009.4784922"},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/1151374.1151391","volume":"40","author":"JN Herder","year":"2006","unstructured":"Herder JN, Bos H, Gras B, Homburg P, Tanenbaum AS (2006) MINIX 3: A highly reliable, self-repairing operating system. ACM Operating Syst Rev 40(3):80\u201389","journal-title":"ACM Operating Syst Rev"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s12046-009-0002-4","volume":"34","author":"G Klein","year":"2009","unstructured":"Klein G (2009) Operating system verification \u2013 an overview. S\u0101dhan\u0101 34(1):27\u201369","journal-title":"S\u0101dhan\u0101"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Klein G, Derrin P, Elphinstone K (2009a) Experience report: seL4 \u2013 formally verifying a high-performance microkernel. In: Proceedings of the 14th international conference on functional programming, ACM, Edinburgh, UK, pp 91\u201396","DOI":"10.1145\/1596550.1596566"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Klein G, Elphinstone K, Heiser G, Andronick J, Cock D, Derrin P, Elkaduwe D, Engelhardt K, Kolanski R, Norrish M, Sewell T, Tuch H, Winwood S (2009b) seL4: Formal verification of an OS kernel. In: Proceedings of the 22nd ACM symposium on operating systems principles, ACM, Big Sky, MT, pp 207\u2013220","DOI":"10.1145\/1629575.1629596"},{"key":"9_CR19","unstructured":"Lawitzky MP, Snowdon DC, Petters SM (2008) Integrating real time and power management in a real system. In: Proceedings of the 4th workshop on operating system platforms for embedded real-time applications, Prague, Czech Republic"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Liedtke J (1995) On $$\\mu $$ -kernel construction. In: Proceedings of the 15th ACM symposium on operating systems principles, Copper Mountain, CO, pp 237\u2013250","DOI":"10.1145\/224057.224075"},{"key":"9_CR21","unstructured":"Lin C, Brandt SA (2005) Improving soft real-time performance through better slack management. In: Proceedings of the 26th IEEE real-time systems symposium, Miami, FL"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C Liu","year":"1973","unstructured":"Liu C, Layland J (1973) Scheduling algorithms for multiprogramming in a hard real-time environment. J ACM 20:46\u201361","journal-title":"J ACM"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Lin C, Kaldewey T, Povzner A, Brandt SA (2006) Diverse soft real-time processing in an integrated system. In: Proceedings of the 27th IEEE real-time systems symposium, IEEE Computer Science Press, Rio de Janeiro, Brazil","DOI":"10.1109\/RTSS.2006.21"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Nipkow T, Paulson L, Wenzel M (2002) Isabelle\/HOL \u2013 A proof assistant for higher-order logic, Lecture notes in computer science, vol 2283. Springer","DOI":"10.1007\/3-540-45949-9"},{"key":"9_CR25","volume-title":"Execution-time profiles","author":"SM Petters","year":"2007","unstructured":"Petters SM (2007) Execution-time profiles. Technical report, NICTA, Sydney, Australia"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Petters SM, Lawitzky M, Heffernan R, Elphinstone K (2009) Towards real multi-criticality scheduling. In: Proceedings of the 15th IEEE conference on embedded and real-time computing and applications, Beijing, China, pp 155\u2013164","DOI":"10.1109\/RTCSA.2009.24"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Poledna S et al (2000) OSEKTime: a dependable real-time, fault-tolerant operating system and communication layer as an enabling technology for by-wire applications. In: SAE 2000 world congress, Detroit, MI, pp 51\u201370","DOI":"10.4271\/2000-01-1051"},{"key":"9_CR28","unstructured":"Rushby J (1984) A trusted computing base for embedded systems. In: Proceedings of 7th DoD\/NBS computer security conference, pp 294\u2013311"},{"key":"9_CR29","unstructured":"Singal M, Petters SM (2007) Issues in analysing L4 for its WCET. In: Proceedings of the 1st international workshop on microkernels for embedded systems, NICTA, Sydney, Australia"},{"key":"9_CR30","unstructured":"Siro A, Emde C, Mc Guire N (2007) Assessment of the realtime preemption patches (rt-preempt) and heir impact on the general purpose performance of the system. In: Proceedings of 9th real-time Linux workshop, Linz, Austria"},{"key":"9_CR31","unstructured":"Stanovich M, Baker TP, Wang AI, Harbour MG (2010) Diverse soft real-time processing in an integrated system. In: Proceedings of the 16th IEEE real-time and embedded technology and applications symposium, IEEE Computer Science Press, Stockholm, Sweden"},{"issue":"1","key":"9_CR32","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1109\/12.368008","volume":"44","author":"JK Strosnider","year":"1995","unstructured":"Strosnider JK, Lehoczky JP, Sha L (1995) The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Trans Comp 44(1):179\u2013194","journal-title":"IEEE Trans Comp"}],"container-title":["Advances in Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24349-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T00:00:43Z","timestamp":1742428843000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-24349-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,27]]},"ISBN":["9783642243486","9783642243493"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24349-3_9","relation":{},"subject":[],"published":{"date-parts":[[2011,10,27]]},"assertion":[{"value":"27 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}