"Real-Time Systems, Architecture, Scheduling, and Application" ed. by Seyed Morteza Babamir

This book is a rich text for introducing diverse aspects of real-time systems including architecture, specification and verification, scheduling and real world applications. It is useful for advanced graduate students and researchers in a wide range of disciplines impacted by embedded computing and software. Since the book covers the most recent advances in real-time systems and communications networks, it serves as a vehicle for technology transition within the real-time systems community of systems architects, designers, technologists, and system analysts.

Real-time applications are used in daily operations, such as engine and break mechanisms in cars, traffic light and air-traffic control and heart beat and blood pressure monitoring. This book includes 15 chapters arranged in 4 sections, Architecture (chapters 1-4), Specification and Verification (chapters 5-6), Scheduling (chapters 7-9) and Real word applications (chapters 10-15).

Contents
Preface
Part 1 Architectures
1 Networking Applications for Embedded Systems
2 Dynamics of System Evolution
3 Schedulability Analysis of Mode Changes with Arbitrary Deadlines
4 An Efficient Hierarchical Scheduling Framework for the Automotive Domain
Part 2 Specification and Verification
5 Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
6 Construction of Real-Time Oracle Using Timed Automata
Part 3 Scheduling
7 Handling Overload Conditions in Real-Time Systems
8 Real-Time Concurrency Control Protocol Based on Accessing Temporal Data
9 Quality of Service Scheduling in the Firm Real-Time Systems
Part 4 Real World Applications
10 Linearly Time Efficiency in Unattended Wireless Sensor Networks
11 Real-Time Algorithms of Object Detection Using Classifiers
12 Energy Consumption Analysis of Routing Protocols in Mobile Ad Hoc Networks
13 Real-Time Motion Processing Estimation Methods in Embedded Systems
14 Real Time Radio Frequency Exposure for Bio-Physical Data Acquisition
15 Real-Time Low-Latency Estimation of the Blinking and EOG Signals