<--- 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

RTOS Real Time Operating System Concepts Part 2 Real time System Pitfalls - 4: The Ariane 5 satelite launch rocket Rocket self destructed in 4 June -1996.

RTOS Real Time Operating System Concepts Part 2 Real time System Pitfalls - 4: The Ariane 5 satelite launch rocket Rocket self destructed in 4 June -1996.

DocID: 1tkEk - View Document

A high performance CPU module (i101, i103) with a real time operating system builds the core of all ionia devices. The flexible configuration of the platform allows for different combinations of communication, control, d

A high performance CPU module (i101, i103) with a real time operating system builds the core of all ionia devices. The flexible configuration of the platform allows for different combinations of communication, control, d

DocID: 1sxkP - View Document

AmeSecurities App is specially designed to make equities stock trading a fast, convenient, reliable and enjoyable experience for you. Features and benefits include: · Real-time Bursa Malaysia quotes and indices · Chart

AmeSecurities App is specially designed to make equities stock trading a fast, convenient, reliable and enjoyable experience for you. Features and benefits include: · Real-time Bursa Malaysia quotes and indices · Chart

DocID: 1rtR2 - View Document

MATEC Web of Conferences 50,  ) DOI: m atecconf0 2  C Owned by the authors, published by EDP Sciences, 2016  Design and Realization of Avionics Integration Simulation System Base

MATEC Web of Conferences 50, ) DOI: m atecconf0 2  C Owned by the authors, published by EDP Sciences, 2016 Design and Realization of Avionics Integration Simulation System Base

DocID: 1rrrl - 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

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