Manuskriptvorlage VDI Wissensforum

First Page		Document Content
Date: 2012-08-13 07:55:31 Software AUTOSAR OSEK Multi-core processor OpenGL Operating system EAST-ADL MODELISAR Automotive software Software architecture Computing		Manuskriptvorlage VDI Wissensforum Add to Reading List Source URL: www.autosar.org Download Document from Source Website File Size: 413,39 KB Share Document on Facebook

	Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog DocID: 1t72p - View Document
	Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander DocID: 1riTt - View Document
	OSPERT 2015 Keynote Talk Software Architectures for Advanced Driver Assistance Systems (ADAS) Robert Leibinger Elektrobit Automotive GmbH In recent years, the demand for electronic control units (ECUs) has been rapidly g DocID: 1q4Nz - View Document
	Die jungen Feuerwehrleute aus Osek, hier beim Bierkastenstapeln, holten sich die Bronzemedaille. Foto: Peter Hertel Die Nachbarn sind nicht zu schlagen DocID: 1pLIT - View Document
	KESO An Open-Source Multi-JVM for Deeply Embedded Systems Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat DocID: 1pjht - View Document