{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T18:48:20Z","timestamp":1760122100345,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642246579"},{"type":"electronic","value":"9783642246586"}],"license":[{"start":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T00:00:00Z","timestamp":1318377600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T00:00:00Z","timestamp":1318377600000},"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-24658-6_4","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T19:24:07Z","timestamp":1318965847000},"page":"29-38","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Modellbasierte Generierung statischer Schedules f\u00fcr sicherheitskritische, eingebettete Systeme mit Multicore-Prozessoren und harten Echtzeitanforderungen"],"prefix":"10.1007","author":[{"given":"Robert","family":"Hilbrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Reinier","family":"van Kampenhout","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Joachim","family":"Goltz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,12]]},"reference":[{"unstructured":"ARINC. ARINC Specification 653P1-2: Avionics Application Software Standard Interface Part 1 - Required Services. Technical report, Aeronautical Radio Inc., Maryland, USA, December 2005.","key":"4_CR1"},{"unstructured":"ARINC. ARINC Specification 653P2-1: Avionics Application Software Standard Interface Part 2 - Extended Services. Technical report, Aeronautical Radio Inc., Maryland, USA, December 2008.","key":"4_CR2"},{"unstructured":"Vicent Brocaly, Miguel Masmanoy, Ismael Ripolly, Alfons Crespoy, Patricia Balbastrey, and Jean-Jacques Metge. Xoncrete: a scheduling tool for partitioned real-time systems. In Proceedings of the Embedded Real Time Software and Systems Conference (ERTS2 2010), May 2010.","key":"4_CR3"},{"unstructured":"Gerhard Fohler. Flexible Reliable Timing - Real-Time vs. Reliability. In Keynot Address, 10th European Workshop on Dependable Computing, May 1999.","key":"4_CR4"},{"doi-asserted-by":"crossref","unstructured":"R. Fuchsen. How to address certification for multi-core based IMA platforms: Current status and potential solutions. In Digital Avionics Systems Conference (DASC), 2010 IEEE\/AIAA 29th, pages 5.E.3\u20131 \u20135.E.3\u201311, oct. 2010.","key":"4_CR5","DOI":"10.1109\/DASC.2010.5655461"},{"unstructured":"Manne Kreuzer. Modellbasiert die Echtzeit im Griff. Markt & Technik - die unabh\u00e4ngige Wochenzeitung, Nr. 24:35, Jun 2011.","key":"4_CR6"},{"unstructured":"John Rushby. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance, 1999.","key":"4_CR7"},{"unstructured":"VirtuOS Project Summary. http:\/\/www.technologiestiftung-berlin.de\/data\/files\/ tsb-zukunftsfonds\/VirtuOS__Web_.pdf, 2010.","key":"4_CR8"}],"container-title":["Informatik aktuell","Herausforderungen durch Echtzeitbetrieb"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24658-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,11]],"date-time":"2023-02-11T09:32:15Z","timestamp":1676107935000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-24658-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,12]]},"ISBN":["9783642246579","9783642246586"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24658-6_4","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2011,10,12]]},"assertion":[{"value":"12 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}