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 - Oregon Park - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-07-14 16:23:27 Computer architecture Computing Software Embedded operating systems Finite automata Finite-state machine OSEK Real-time operating system Model checking Kernel Protection ring Embedded system		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 Add to Reading List Source URL: www.mpi-sws.org Download Document from Source Website File Size: 1,20 MB 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