New York: ITexLi , 2016. — 347 p.
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).
Architectures
Networking Applications for Embedded Systems
Dynamics of System Evolution
Schedulability Analysis of Mode Changes with Arbitrary Deadlines
An Efficient Hierarchical Scheduling Framework for the Automotive Domain
Specification and Verification
Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
Construction of Real-Time Oracle Using Timed Automata
Scheduling
Handling Overload Conditions in Real-Time Systems
Real-Time Concurrency Control Protocol Based on Accessing Temporal Data
Quality of Service Scheduling in the Firm Real-Time Systems
Real World Applications
Linearly Time Efficiency in Unattended Wireless Sensor Networks
Real-Time Algorithms of Object Detection Using Classifiers
Energy Consumption Analysis of Routing Protocols in Mobile Ad Hoc Networks
Real-Time Motion Processing Estimation Methods in Embedded Systems
Real Time Radio Frequency Exposure for Bio-Physical Data Acquisition
Real-Time Low-Latency Estimation of the Blinking and EOG Signals