Embedded and Real-Time Operating Systems

K. C. Wang (Autor)

Buch | Hardcover

XV, 851 Seiten

2023 | 2. Second Edition 2023
Springer International Publishing (Verlag)
978-3-031-28700-8 (ISBN)

Artikel merken

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.

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.

Chapter. 1. Introduction.- Chapter. 2. ARM Architecture and Programming.- Chapter. 3. Interrupts and Exceptions Processing.- Chapter. 4. Models of Embedded Systems.- Chapter. 5. Process Management in Embedded Systems.- Chapter. 6. Memory Management in ARM.- Chapter. 7. User Mode Process and System Calls.- Chapter. 8. General Purpose Embedded Operating Systems.- Chapter. 9. Multiprocessing in Embedded Systems.- Chapter. 10. Embedded Real-Time Operating Systems.- Chapter. 11. ARMv8 Architecture and Programming.- Chapter. 12. ARM TrustZone and Secure Operating Systems.

Erscheinungsdatum	16.09.2023
Zusatzinfo	XV, 851 p. 149 illus., 118 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	210 x 279 mm
Gewicht	2338 g
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
	Informatik ► Software Entwicklung ► Mobile- / App-Entwicklung
	Informatik ► Weitere Themen ► Hardware
Schlagworte	ARM architecture • ARM programming • device drivers • Embedded operating systems • General purpose operating systems • Interrupts processing • Memory management unit (MMU) • Multicore Processors • Real-Time Operating Systems • Symmetric Multiprocessing (SMP) • Toolchain and virtual machines • Virtual address mapping
ISBN-10	3-031-28700-2 / 3031287002
ISBN-13	978-3-031-28700-8 / 9783031287008
Zustand	Neuware