๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Embedded and Real-Time Operating Systems

โœ Scribed by K. C. Wang


Publisher
Springer International Publishing
Year
2023
Tongue
English
Leaves
866
Edition
2
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


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.

โœฆ Table of Contents


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


๐Ÿ“œ SIMILAR VOLUMES


Real-Time Embedded Systems: Open-Source
โœ Ivan Cibrario Bertolotti; Gabriele Manduchi ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› CRC Press ๐ŸŒ English

From the Foreword: ''''!the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convolute

Embedded and Real-Time Operating Systems
โœ K. C. Wang ๐Ÿ“‚ Library ๐Ÿ“… 2023 ๐Ÿ› Springer ๐ŸŒ English

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

Embedded and Real-Time Operating Systems
โœ K.C. Wang ๐Ÿ“‚ Library ๐Ÿ“… 2017 ๐Ÿ› Springer ๐ŸŒ English

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

Embedded Systems: Real-Time Operating Sy
โœ Jonathan Valvano ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› CreateSpace Independent Publishing Platform ๐ŸŒ English

This book is self-published and is printed on demand. The original ISBN was generated in 2012, but if you purchase the book new from CreateSpace or Amazon you will get the new version, which was uploaded January 3, 2017. This book, now in its fourth edition (January 2017), is the third in a series o

Embedded Systems. Real-Time Operating S
โœ Jonathan Valvano ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› CreateSpace Independent Publishing Platform ๐ŸŒ English

This book is self-published and is printed on demand. The original ISBN was generated in 2012, but if you purchase the book new from CreateSpace or Amazon you will get the new version, which was uploaded January 3, 2017. This book, now in its fourth edition (January 2017), is the third in a series o