{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:39:10Z","timestamp":1755801550672,"version":"3.44.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662580950"},{"type":"electronic","value":"9783662580967"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-662-58096-7_7","type":"book-chapter","created":{"date-parts":[[2018,9,27]],"date-time":"2018-09-27T01:03:07Z","timestamp":1538010187000},"page":"59-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SWAN: Systemweite statische Laufzeitanalyse echtzeitf\u00e4higer Betriebssysteme"],"prefix":"10.1007","author":[{"given":"Simon","family":"Schuster","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,28]]},"reference":[{"key":"7_CR1","unstructured":"AbsInt. aiT Worst-Case Execution Time Analyzers. absint.com\/ait (abgerufen am 02.07.2018)."},{"key":"7_CR2","unstructured":"S. Hepp; B. Huber; D. Prokesch und P. Puschner. The platin Tool Kit \u2013 The TCREST Approach for Compiler and WCET Integration. In: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS \u201915), Seiten 277\u2013 292 (2015)."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"J. M. Calandrino; H. Leontyev; A. Block; U. C. Devi und J. H. Anderson. LITMUSRT: A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers. In: Proceedings of the 27. International Real-Time Systems Symposium (RTSS \u201906), Seiten 111\u2013126 (2006).","DOI":"10.1109\/RTSS.2006.27"},{"key":"7_CR4","unstructured":"B. Brandenburg. Scheduling and locking in multiprocessor real-time operating systems. Doktorarbeit, The University of North Carolina at Chapel Hill (2011)."},{"key":"7_CR5","unstructured":"AUTOSAR. AUTOSAR the Next Generation \u2013 The Adaptive Platform. https:\/\/autosar.org\/fileadmin\/files\/presentations\/EUROFORUM_Elektronik-Systeme_im_Automobile_2016_-_FUERST_Simon.pdf (2016)."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"M. Lv; N. Guan; Y. Zhang; Q. Deng; G. Yu und J. Zhang. A survey of WCET analysis of real-time operating systems. In: Proceedings of the International Conference on Embedded Software and Systems (ICESS \u201909), Seiten 65\u201372 (2009).","DOI":"10.1109\/ICESS.2009.24"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"A. Colin und I. Puaut. Worst-case execution time analysis of the RTEMS real-time operating system. In: 13. Euromicro Conference on Real-Time Systems (ECRTS \u201901), Seiten 191\u2013198 (2001).","DOI":"10.1109\/EMRTS.2001.934029"},{"key":"7_CR8","unstructured":"D. Sandell; A. Ermedahl; J. Gustafsson und B. Lisper. Static Timing Analysis of Real-Time Operating System Code. In: Leveraging Applications of Formal Methods, Lecture Notes in Computer Science, Seiten 146\u2013160 (2004)."},{"key":"7_CR9","unstructured":"J. Schneider. Why you can\u2019t analyze RTOSs without considering applications and vice versa. In: Proceedings of the 2. International Workshop on Worst-Case Execution Time Analysis (WCET \u201902), Seiten 79\u201384 (2002)."},{"key":"7_CR10","unstructured":"J. Schneider. Combined schedulability and WCET analysis for real-time operating systems. Shaker (2003)."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"B. Blackham; Y. Shi; S. Chattopadhyay; A. Roychoudhury und G. Heiser. Timing analysis of a protected operating system kernel. In: Proceedings of the 32. Real- Time Systems Symposium (RTSS \u201911), Seiten 339\u2013348 (2011).","DOI":"10.1109\/RTSS.2011.38"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"C. Dietrich; P. W\u00e4gemann; P. Ulbrich und D. Lohmann. SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems. In: Proceedings of the 23. Real-Time and Embedded Technology and Applications Symposium (RTAS \u201917), Seiten 37\u201348 (2017).","DOI":"10.1109\/RTAS.2017.37"},{"key":"7_CR13","unstructured":"S. Schuster; P. W\u00e4gemann; P. Ulbrich und W. Schr\u00f6der-Preikschat. Towards System-Wide Timing Analysis of Real-Time\u2013Capable Operating Systems. In: 30. Euromicro Conference on Real-Time Systems Work-in-Progress Session (ECRTS \u201918 WiP) (2018)."},{"key":"7_CR14","unstructured":"B. Huber; D. Prokesch und P. Puschner. Combined WCET Analysis of Bitcode and Machine Code Using Control-flow Relation Graphs. In: 14. Conference on Languages, Compilers and Tools for Embedded Systems (LCTES \u201913), Seiten 163\u2013 172 (2013)."},{"key":"7_CR15","unstructured":"P. Puschner; D. Prokesch; B. Huber; J. Knoop; S. Hepp und G. Gebhard. The TCREST Approach of Compiler andWCET-Analysis Integration. In: Proceedings of the 9. Workshop on Software Technologies for Future Embedded and Ubiquitious Systems (SEUS \u201913), Seiten 33\u201340 (2013)."},{"issue":"9","key":"7_CR16","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1016\/j.sysarc.2015.04.002","volume":"61","author":"Martin Schoeberl","year":"2015","unstructured":"M. Schoeberl; S. Abbaspour et al. T-CREST: Time-predictable Multi-Core Architecture for Embedded Systems. Journal of Systems Architecture, 61:449\u2013471 (2015).","journal-title":"Journal of Systems Architecture"},{"key":"7_CR17","unstructured":"S. Hepp; B. Huber; J. Knoop; D. Prokesch und P. Puschner. The Platin Tool Kit- The T-CREST Approach for Compiler and WCET Integration. In: 18. Kolloquium Programmiersprachen Und Grundlagen Der Programmierung (KPS\u201915) (2015)."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"P. Ulbrich; R. Kapitza; C. Harkort; R. Schmid und W. Schr\u00f6der-Preikschat. I4Copter: An Adaptable and Modular Quadrotor Platform. In: 26. ACM Symp. on Applied Computing (SAC \u201911), Seiten 380\u2013396 (2011).","DOI":"10.1145\/1982185.1982267"}],"container-title":["Informatik aktuell","Echtzeit und Sicherheit"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-58096-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T16:47:10Z","timestamp":1755708430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-58096-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783662580950","9783662580967"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-58096-7_7","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2018]]}}}