<--- Back to Details
First PageDocument Content
Computer architecture / Computing / Software / Embedded operating systems / Finite automata / Finite-state machine / OSEK / Real-time operating system / Model checking / Kernel / Protection ring / Embedded system
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

Similar Documents

Byzantine Agreement Service for Cooperative Wireless Embedded Systems Wenbo Xu, Martin Wegner, Lars Wolf, R¨udiger Kapitza Institute of Operating Systems and Computer Networks, TU Braunschweig, Germany Email: wxu,wegner

Byzantine Agreement Service for Cooperative Wireless Embedded Systems Wenbo Xu, Martin Wegner, Lars Wolf, R¨udiger Kapitza Institute of Operating Systems and Computer Networks, TU Braunschweig, Germany Email: wxu,wegner

DocID: 1vryj - View Document

Press Release Embedded Operating Systems are at the Core of Growing Software Value, According to New Research by VDC Embedded/real-time OS markets are rapidly evolving to support emerging Internet of Things device classe

Press Release Embedded Operating Systems are at the Core of Growing Software Value, According to New Research by VDC Embedded/real-time OS markets are rapidly evolving to support emerging Internet of Things device classe

DocID: 1sJfa - View Document

OSPERT 2015 The 11th annual workshop on Operating Systems Platforms for Embedded Real-Time applications. July 7, 2015. Lund, Sweden. Held in conjunction with ECRTS’15. CALL FOR CONTRIBUTIONS OSPERT is a forum for resea

OSPERT 2015 The 11th annual workshop on Operating Systems Platforms for Embedded Real-Time applications. July 7, 2015. Lund, Sweden. Held in conjunction with ECRTS’15. CALL FOR CONTRIBUTIONS OSPERT is a forum for resea

DocID: 1sjX9 - View Document

P ROCEEDINGS OF  OSPERT 2015 the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications

P ROCEEDINGS OF OSPERT 2015 the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications

DocID: 1rTt3 - View Document

Computing / Computer architecture / Computing platforms / Embedded systems / Software / Linux / Operating system / Windows XP / Firmware / Computer appliance / Proprietary software / Internet protocol suite

James H. Price Home: 14151 Montfort #280 Cell: Dallas, TXSummary

DocID: 1roKO - View Document