© 2017

Embedded and Real-Time Operating Systems


Table of contents

  1. Front Matter
    Pages i-xix
  2. K. C. Wang
    Pages 1-6
  3. K. C. Wang
    Pages 7-46
  4. K. C. Wang
    Pages 47-94
  5. K. C. Wang
    Pages 95-111
  6. K. C. Wang
    Pages 113-167
  7. K. C. Wang
    Pages 169-191
  8. K. C. Wang
    Pages 193-264
  9. K. C. Wang
    Pages 329-399
  10. K. C. Wang
    Pages 401-475
  11. Back Matter
    Pages 477-481

About this book


This book covers the basic concepts and principles of operating systems, showing how to apply them to the design and implementation of complete operating systems for embedded and real-time systems. It includes all the foundational and background information on ARM architecture, ARM instructions and programming, toolchain for developing programs, virtual machines for software implementation and testing, program execution image, function call conventions, run-time stack usage and link C programs with assembly code.

It describes the design and implementation of a complete OS for embedded systems in incremental steps, explaining the design principles and implementation techniques. For Symmetric Multiprocessing (SMP) embedded systems, the author examines the ARM MPcore processors, which include the SCU and GIC for interrupts routing and interprocessor communication and synchronization by Software Generated Interrupts (SGIs).

Throughout the book, complete working sample systems demonstrate the design principles and implementation techniques. The content is suitable for advanced-level and graduate students working in software engineering, programming, and systems theory.


Embedded operating systems Interrupts processing Device drivers Memory management unit (MMU) Virtual address mapping ARM architecture ARM programming Toolchain and virtual machines Multicore processors Symmetric Multiprocessing (SMP) Embedded operating systems General purpose operating systems Real-Time operating systems

Authors and affiliations

  1. 1.School of Electrical Engineering and Computer ScienceWashington State UniversityPullmanUSA

About the authors

K.C. Wang is currently a Professor in the School of Electrical Engineering and Computer Science at Washington State University. He received a BSEE degree from National Taiwan University, in 1960 and a Ph.D. degree in Electrical Engineering from Northwestern University, Evanston, Illinois in 1965. His academic interests are in Operating Systems, Distributed Systems and Parallel Computing.

Bibliographic information

  • Book Title Embedded and Real-Time Operating Systems
  • Authors K.C. Wang
  • DOI
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Engineering Engineering (R0)
  • Hardcover ISBN 978-3-319-51516-8
  • Softcover ISBN 978-3-319-84672-9
  • eBook ISBN 978-3-319-51517-5
  • Edition Number 1
  • Number of Pages XIX, 481
  • Number of Illustrations 93 b/w illustrations, 0 illustrations in colour
  • Topics Circuits and Systems
    Operating Systems
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences