Operating systems and embedded programming

"Operating Systems and Embedded Programming" emphasizes fundamental and emerging concepts in operating systems and embedded system design and programming.

It concurrently presents actual devices employing these concepts and principles.

To guarantee both logical and timing correctness in embedded real-time systems, the book advocates formal specification and verification of embedded systems.

Emerging areas such as power-aware computing and embedded sensor networks are also explored.

In addition, the author provides a section on operating systems, covering embedded, real-time, and PDA operating systems with more detailed hardware description, for both OS designers and embedded system developers who require an understanding of the OS and programming techniques.