Skip to main content
SpringerLink
Log in

Embedded and Real-Time Operating Systems

  • Textbook
  • © 2023
  • Latest edition

Overview

Authors:
  1. K. C. Wang

    1. School of Electrical Engineering and Computer Science, Washington State University, Pullman, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Uses working sample systems to demonstrate design principles and implementation techniques
  • Demonstrates the design and implementation of a complete OS for embedded systems in incremental steps
  • Includes diagrams to help visualize the table contents and better understand page-table-walk algorithms

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 16.99 USD 99.00
Discount applied Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 129.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Embedded and Real-Time Operating Systems 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).


This Second Edition covers ARM64 architecture and programming. These include exception levels, vector tables and exceptions handling, GICv3 programming and interrupt processing. It covers virtual to physical address mappings in ARMv8, and shows a 64-bit OS with kernel space in EL1 and separate user spaces in EL0.  It also covers ARM TrustZone technology and secure systems. These include hardware and software architectures for secure and normal worlds, interactions and switching between the two worlds. It shows a secure world comprising a secure monitor in EL3 to provide service functions, and a normal world comprising processes in non-secure EL1, which use SMC to access service functions in the secure world.



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.


Keywords

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Introduction

    • K. C. Wang
    Pages 1-6

  3. ARM Architecture and Programming

    • K. C. Wang
    Pages 7-45

  4. Interrupts and Exceptions Processing

    • K. C. Wang
    Pages 47-98

  5. Models of Embedded Systems

    • K. C. Wang
    Pages 99-114

  6. Process Management in Embedded Systems

    • K. C. Wang
    Pages 115-168

  7. Memory Management in ARM

    • K. C. Wang
    Pages 169-192

  8. User Mode Process and System Calls

    • K. C. Wang
    Pages 193-292

  9. General Purpose Embedded Operating Systems

    • K. C. Wang
    Pages 293-355

  10. Multiprocessing in Embedded Systems

    • K. C. Wang
    Pages 357-427

  11. Embedded Real-Time Operating Systems

    • K. C. Wang
    Pages 429-503

  12. ARMv8 Architecture and Programming

    • K. C. Wang
    Pages 505-792

  13. ARM TrustZone and Secure Operating Systems

    • K. C. Wang
    Pages 793-845

  14. Back Matter

    Pages 847-851
    Download chapter PDF
Back to top

Authors and Affiliations

  • School of Electrical Engineering and Computer Science, Washington State University, Pullman, USA

    K. C. Wang

About the author

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: https://doi.org/10.1007/978-3-031-28701-5

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Hardcover ISBN: 978-3-031-28700-8Published: 15 September 2023

  • Softcover ISBN: 978-3-031-29535-5Due: 16 October 2023

  • eBook ISBN: 978-3-031-28701-5Published: 14 September 2023

  • Edition Number: 2

  • Number of Pages: XV, 851

  • Number of Illustrations: 31 b/w illustrations, 118 illustrations in colour

  • Topics: Operating Systems, Circuits and Systems, Mobile Computing

Publish with us

Policies and ethics

Back to top

Search

Navigation