Handbook of Real-Time and Embedded Systems

Real-time and embedded systems are essential to our lives, from controlling car engines and regulating traffic lights to monitoring plane takeoffs and landings to providing up-to-the-minute stock quotes. Bringing together researchers from both academia and industry, the Handbook of Real-Time and Embedded Systems provides comprehensive coverage of the most advanced and timely topics in the field. The book focuses on several major areas of real-time and embedded systems. It examines real-time scheduling and resource management issues and explores the programming languages, paradigms, operating systems, and middleware for these systems. The handbook also presents challenges encountered in wireless sensor networks and offers ways to solve these problems. It addresses key matters associated with real-time data services and reviews the formalisms, methods, and tools used in real-time and embedded systems. In addition, the book considers how these systems are applied in various fields, including adaptive cruise control in the automobile industry. With its essential material and integration of theory and practice, the Handbook of Real-Time and Embedded Systems facilitates advancements in this area so that the services we rely on can continue to operate successfully.

Introduction and Overview Real-Time Scheduling and Resource Management Real-Time Scheduling and Resource Management by Giorgio C. Buttazzo Schedulability Analysis of Multiprocessor Sporadic Task Systems by Theodore P. Baker and Sanjoy K. Baruah Rate-Based Resource Allocation Methods by Kevin Jeffay Compositional Real-Time Schedulability Analysis by Insik Shin and Insup Lee Power-Aware Resource Management Techniques for Low-Power Embedded Systems by Jihong Kim and Tajana Simunic Rosing Imprecise Computation Model: Total Weighted Error and Maximum Weighted Error by Joseph Y-T. Leung Imprecise Computation Model: Bicriteria and Other Related Problems by Joseph Y-T. Leung An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems and Its Approximations by José Luis Díaz, Kanghee Kim, José María López, Lucia Lo Bello, Daniel F. García, Chang-Gun Lee, Sang Lyul Min, and Orazio Mirabella Programming Languages, Paradigms, and Analysis for Real-Time and Embedded Systems Temporal Control in Real-Time Systems: Languages and Systems by Sebastian Fischmeister and Insup Lee The Evolution of Real-Time Programming by Christoph M. Kirsch and Raja Sengupta Real-Time Java by Andy Wellings and Alan Burns Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005 by Alan Burns and Andy Wellings Synchronous Programming by Paul Caspi, Pascal Raymond, and Stavros Tripakis Operating Systems and Middleware for Real-Time and Embedded Systems QoS-Enabled Component Middleware for Distributed Real-Time and Embedded Systems by Gan Deng, Douglas C. Schmidt, Christopher D. Gill, and Nanbor Wang Safe and Structured Use of Interrupts in Real-Time and Embedded Software by John Regehr QoS Support and an Analytic Study for USB 1.x/2.0 Devices by Chih-Yuan Huang, Shi-Wu Lo, Tei-Wei Kuo, and Ai-Chun Pang Reference Middleware Architecture for Real-Time and Embedded Systems: A Case for Networked Service Robots by Saehwa Kim and Seongsoo Hong Real-Time Communications/Sensor Networks Online QoS Adaptation with the Flexible Time-Triggered (FTT) Communication Paradigm by Luis Almeida, Paulo Pedreiras, Joaquim Ferreira, Mario Calha, José Alberto Fonseca, Ricardo Marau, Valter Silva, and Ernesto Martins Wireless Sensor Networks by John A. Stankovic Messaging in Sensor Networks: Addressing Wireless Communications and Application Diversity by Hongwei Zhang, Anish Arora, Prasun Sinha, and Loren J. Rittle Real-Time Communication for Embedded Wireless Networks by Marco Caccamo and Tarek Abdelzaher Programming and Virtualization of Distributed Multitasking Sensor Networks by Azer Bestavros and Michael J. Ocean Real-Time Database/Data Services Data-Intensive Services for Real-Time Systems by Krithi Ramamritham, Lisa Cingiser DiPippo, and Sang Hyuk Son Real-Time Data Distribution by Angela Uvarov Frolov, Lisa Cingiser DiPippo, and Victor Fay-Wolfe Temporal Consistency Maintenance for Real-Time Update Transactions by Ming Xiong and Krithi Ramamritham Salvaging Resources by Discarding Irreconcilably Conflicting Transactions in Firm Real-Time Database Systems by Victor C.S. Lee, Joseph Kee-Yin Ng, and Ka Man Ho Application-Tailored Databases for Real-Time Systems by Aleksandra Tešanović and Järgen Hansson DeeDs NG: Architecture, Design, and Sample Application Scenario by Sten F. Andler,Marcus Brohede, Sanny Gustavsson, and Gunnar Mathiason Formalisms, Methods, and Tools State Space Abstractions for Time Petri Nets by Bernard Berthomieu and François Vernadat Process-Algebraic Analysis of Timing and Schedulability Properties by Anna Philippou and Oleg Sokolsky Modular Hierarchies of Models for Embedded Systems by Manfred Broy Metamodeling Languages and Metaprogrammable Tools by Matthew Emerson, Sandeep Neema, and Janos Sztipanovits Hardware/Software Codesign by Wayne Wolf Execution Time Analysis for Embedded Real-Time Systems by Andreas Ermedahl and Jakob Engblom Experiences with Real-Time and Embedded Systems Dynamic QoS Management in Distributed Real-Time Embedded Systems by Joseph P. Loyall and Richard E. Schantz Embedding Mobility in Multimedia Systems and Applications by Heonshik Shin Embedded Systems and Software Technology in the Automotive Domain by Manfred Broy Real-Time Data Services for Automotive Applications by Gurulingesh Raravi, Krithi Ramamritham, and Neera Sharma INDEX

Insup Lee, Jospeh Y-T Leung, Sang H. Son