{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:57:35Z","timestamp":1725731855020},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388521"},{"type":"electronic","value":"9783642388538"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38853-8_18","type":"book-chapter","created":{"date-parts":[[2013,6,13]],"date-time":"2013-06-13T10:39:00Z","timestamp":1371119940000},"page":"193-204","source":"Crossref","is-referenced-by-count":9,"title":["Towards Virtualization Concepts for Novel Automotive HMI Systems"],"prefix":"10.1007","author":[{"given":"Simon","family":"Gansel","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Schnitzer","sequence":"additional","affiliation":[]},{"given":"Frank","family":"D\u00fcrr","sequence":"additional","affiliation":[]},{"given":"Kurt","family":"Rothermel","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Maih\u00f6fer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"AAM: Statement of Principles, Criteria and Verification Procedures on Driver Interactions with Advanced In-Vehicle Information and Communication Systems. Alliance of Automotive Manufacturers (July 2006)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Bautin, M., Dwarakinath, A., Chiueh, T.: Graphic engine resource management (2008)","DOI":"10.1117\/12.775144"},{"issue":"4","key":"18_CR3","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.2009.118","volume":"42","author":"C. Ebert","year":"2009","unstructured":"Ebert, C., Jones, C.: Embedded software: Facts, figures, and future. Computer\u00a042(4), 42\u201352 (2009)","journal-title":"Computer"},{"key":"18_CR4","unstructured":"Epstein, J., McHugh, J., Pascale, R., Orman, H., Benson, G., Martin, C., Marmor-Squires, A., Danner, B., Branstad, M.: A prototype b3 trusted x window system. In: Proceedings of the 7th Annual Computer Security Applications Conference, pp. 44\u201355 (December 1991)"},{"key":"18_CR5","unstructured":"ESOP: On safe and efficient in-vehicle information and communication systems: update of the European Statement of Principles on human-machine interface. Commission of the European Communities (2008)"},{"key":"18_CR6","unstructured":"Feske, N., Hartig, H.: Dope \u2013 a window server for real-time and embedded systems. In: Proceedings of the 24th IEEE Real-Time Systems Symposium, pp. 74\u201377 (December 2003)"},{"key":"18_CR7","unstructured":"Feske, N., Helmuth, C.: A nitpicker\u2019s guide to a minimal-complexity secure gui. In: Proceedings of the 21st Computer Security Applications Conference, pp. 85\u201394 (December 2005)"},{"key":"18_CR8","unstructured":"Gallery, E., Mitchell, C.J.: Trusted computing: Security and applications (May 2008)"},{"key":"18_CR9","unstructured":"Hansen, J.G.: Blink: Advanced Display Multiplexing for Virtualized Applications. In: Proceedings of the 17th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV), pp. 15\u201320 (2007)"},{"key":"18_CR10","unstructured":"Hohmuth, M.: The Fiasco kernel: System Architecure. Technical report: TUD-FI02-06-Juli-2002 (2002)"},{"key":"18_CR11","unstructured":"ISO 11428: Ergonomics \u2013 Visual danger signals \u2013 General requirements, design and testing. ISO, Geneva, Switzerland (December 1996)"},{"key":"18_CR12","unstructured":"ISO 15005: Road vehicles \u2013 Ergonomic aspects of transport information and control systems \u2013 Dialogue management principles and compliance procecdures. ISO, Geneva, Switzerland (July 2002)"},{"key":"18_CR13","unstructured":"ISO 15408-2: Information technology \u2013 Security techniques \u2013 Evaluation criteria for IT security \u2013 Part 2: Security functional components. ISO, Geneva, Switzerland (August 2008)"},{"key":"18_CR14","unstructured":"ISO 16951: Road vehicles \u2013 Ergonomic aspects of transport information and control systems (TICS) \u2013 Procedures for determining priority of on-board messages presented to drivers. ISO, Geneva, Switzerland (2004)"},{"key":"18_CR15","unstructured":"ISO 2575: Road vehicles \u2013 Symbols for controls, indicators and tell-tales. ISO, Geneva, Switzerland (July 2010)"},{"key":"18_CR16","unstructured":"ISO 26262: Road vehicles \u2013 Functional Safety. ISO, Geneva, Switzerland (November 2011)"},{"key":"18_CR17","unstructured":"Epstein, J., Picciotto, J.: Trusting x: Issues in building trusted x window systems \u2013 or \u2013 what\u2019s not trusted about x. In: Proceedings of the 14th National Computer Security Conference, vol.\u00a01. National Institute of Standards and Technology, National Computer Security Center (October 1991)"},{"key":"18_CR18","unstructured":"JAMA: Guideline for In-vehicle Display Systems \u2013 Version 3.0. Japan Automobile Manufacturers Association (August 2004)"},{"key":"18_CR19","unstructured":"Janker, H.: Stra\u00dfenverkehrsrecht: StVG, StVO, StVZO, Fahrzeug-ZulassungsVO, Fahrerlaubnis-VO, Verkehrszeichen, Bu\u00dfgeldkatalog. C.H. Beck (2011)"},{"key":"18_CR20","unstructured":"Kato, S., Lakshmanan, K., Ishikawa, Y., Rajkumar, R.: Resource sharing in gpu-accelerated windowing systems. In: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2011 17th IEEE. pp. 191\u2013200 (April 2011a)"},{"key":"18_CR21","volume-title":"Proceedings of USENIX Annual Technical Conference","author":"S. Kato","year":"2011","unstructured":"Kato, S., Lakshmanan, K., Rajkumar, R., Ishikawa, Y.: Timegraph: Gpu scheduling for real-time multi-tasking environments. In: Proceedings of USENIX Annual Technical Conference. USENIX Association, Berkeley (2011)"},{"issue":"6","key":"18_CR22","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1743546.1743574","volume":"53","author":"G. Klein","year":"2010","unstructured":"Klein, G., Andronick, J., Elphinstone, K., Heiser, G., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: seL4: Formal verification of an OS kernel. Communications of the ACM 53(6), 107\u2013115 (June 2010)","journal-title":"Communications of the ACM"},{"key":"18_CR23","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1254810.1254816","volume-title":"Proceedings of the 3rd International Conference on Virtual Execution Environments","author":"H.A. Lagar-Cavilla","year":"2007","unstructured":"Lagar-Cavilla, H.A., Tolia, N., Satyanarayanan, M., de Lara, E.: VMM-independent graphics acceleration. In: Proceedings of the 3rd International Conference on Virtual Execution Environments, pp. 33\u201343. ACM, New York (2007)"},{"key":"18_CR24","volume-title":"Proceedings of the 13th Conference on USENIX Security Symposium","author":"J.S. Shapiro","year":"2004","unstructured":"Shapiro, J.S., Vanderburgh, J., Northup, E., Chizmadia, D.: Design of the eros trusted window system. In: Proceedings of the 13th Conference on USENIX Security Symposium, vol.\u00a013. USENIX Association, Berkeley (2004)"},{"key":"18_CR25","unstructured":"Stamatis, D.: Failure Mode and Effect Analysis: FMEA from Theory to Execution. ASQ Quality Press (2003)"},{"key":"18_CR26","first-page":"209","volume-title":"Proceedings of the 5th European Conference on Computer Systems, EuroSys 2010","author":"U. Steinberg","year":"2010","unstructured":"Steinberg, U., Kauer, B.: Nova: a microhypervisor-based secure virtualization architecture. In: Proceedings of the 5th European Conference on Computer Systems, EuroSys 2010, pp. 209\u2013222. ACM, New York (2010)"}],"container-title":["IFIP Advances in Information and Communication Technology","Embedded Systems: Design, Analysis and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38853-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T23:52:54Z","timestamp":1557791574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38853-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388521","9783642388538"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38853-8_18","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}