This comprehensive book not only covers the fundamentals of real-time embedded systems such as hardware components, real-time operating systems, real-time programming, embedded memory and real-time resource management, but also modeling, real-time constraints verification approaches and practical issues like software rejuvenation and reliability.