Embedded Operating Systems

Official Documentation

"A Survey of Embedded Operating Systems" by S. Baskiyar and N. Meghanathan (2005)
- Link
"Embedded Operating Systems for the Internet of Things" by Oliver Hahm et al. (2016)
- Link
"A Survey on Operating Systems for Tiny Networked Sensors" by Xiaofan Jiang et al. (2004)
- Link

"Making Embedded Systems" by Elecia White
- ISBN: 1449302149
- Provides practical guidance on designing and programming embedded systems.
"Programming Embedded Systems" by Michael Barr and Anthony Massa
- ISBN: 0596009836
- Covers the fundamentals of embedded systems programming with a focus on practical applications.
"Real-Time Embedded Systems" by Xiaocong Fan
- ISBN: 0128015071
- Explores the principles and practices of designing real-time embedded systems.
"Embedded Systems Architecture" by Tammy Noergaard
- ISBN: 0123821967
- Offers a comprehensive view of embedded systems architecture and design processes.

POSIX (IEEE 1003.1-2017)
- Relevant for embedded systems that aim for POSIX compliance
MISRA C:2012
- Guidelines for the use of the C language in critical systems, often applied in embedded systems

edX: Embedded Systems - Shape The World: Microcontroller Input/Output
- Link
Coursera: Introduction to Embedded Systems Software and Development Environments
- Link
Udemy: Embedded Systems Programming on ARM Cortex-M3/M4 Processor
- Link