Handbook of Real-Time Computing

Principles and Theories of Real-Time Computing.- Introduction to real-time computing.- Timing and timing control.- Hard, firm and soft real-time computing.- Multi-tasking and concurrency  for real-time computing.- Finite state machines.- Time Petri nets.-  Markov chain modeling.- Real-time in digital signal processing.- Hardware/software co-design.- Real-time databases.- Real-Time Scheduling.- Fundamentals of real-time scheduling.- Fixed-priority scheduling.- Dynamic priority scheduling.- Scheduling of soft real-time tasks.- Feedback scheduling.- Quality-of-control elastic scheduling for multiple control tasks.- Scheduling for periodic and sporadic tasks with/without jitters.- Management of shared resources.- Real-time access control.- Real-time scheduling for multi-core systems.- Real-time scheduling for distributed systems.- Further challenges in real-time scheduling.- Real-Time Programming and Middleware.- The evolution of real-time programming.- Real-time operating systems.- Real-time programming with C/C++.- Real-time Java.- Real-time programming with Ada.- Formal specifications for real-time software systems.- UML for real-time systems.- Reliability and fault tolerance in software.- Middleware for real-time computing.- Programming in microcontrollers.- Real-time programming in robot manipulation.- Real-time programming in unmanned aerial  vehicles.- SCADA and DCSs.- Real-Time Networks and Communications.- Real-time communications over networks.- Principles of Time Synchronization.- Network time protocol NTP.- IEEE  Precision Time Protocol PTP.- Precise Relative Clock synchronization for distributed control.- Real-time communications in a LAN.- Real-time transport protocols for real-time control.- Routing protocols for large-scale sensor networks.- Real-time MAC protocols for real-time systems.- IEEE networks for real-time applications with periodic traffic.- Messaging and communications in sensor networks.- Queuing protocols for real-time applications.- Cross-layer design for real-time networking.-  Real-time networked control systems.-  Hybrid system simulation of control applications over networks.