Handbook of Real Time and Embedded Systems

Introduction and Overview 1 - Real-Time Scheduling and Resource Management Schedulability Analysis of Multiprocessor Sporadic Task Systems Rate-Based Resource Allocation Methods Compositional Real-Time Schedulability Analysis Power-Aware Resource Management Techniques for Low-Power Imprecise Computation Model: Total Weighted Error and Maximum Imprecise Computation Model: Bicriteria and Other Related Problems Stochastic Analysis of Priority-Driven Periodic Real-Time Systems 2 - Programming Languages, Paradigms, and Analysis for Real-Time and Embedded Systems Temporal Control in Real-Time Systems: Languages and Systems The Evolution of Real-Time Programming Real-Time Java Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005 Synchronous Programming 3 - Operating Systems and Middleware for Real-Time and Embedded Systems QoS-Enabled Component Middleware for Distributed Real - Time and Embedded Systems Safe and Structured Use of Interrupts in Real-Time and Embedded Software QoS Support and an Analytic Study for USB 1.x/2.0 Devices Reference Middleware Architecture for Real-Time and Embedded Systems: A Case for Networked Service Robots 4 - Real - Time Communications/Sensor Networks Wireless Sensor Networks Messaging in Sensor Networks: Addressing Wireless Communications and Application Diversity Real-Time Communication for Embedded Wireless Networks Programming and Virtualization of Distributed Multitasking Sensor Networks 5 - Real - Time Database / Data Services Data - Intensive Services for Real-Time Systems Real-Time Data Distribution Temporal Consistency Maintenance for Real-Time Update Transactions Salvaging Resources by Discarding Irreconcilably Conflicting Transactions in Firm Real-Time Database Systems Application - Tailored Databases for Real-Time Systems DeeDS NG: Architecture, Design and Sample Application Scenario 6 - Formalisms, Methods and Tools State Space Abstractions for Time Petri Nets Process - Algebraic Analysis of Timing and Schedulability Modular Hierarchies of Models for Embedded Systems Metamodeling Languages and Metaprogrammable Tools Hardware/Software Codesign Execution Time Analysis for Embedded Real-Time Systems 8 - Experiences with Real - Time and Embedded Systems Dynamic QoS Management in Distributed Real-Time Embedded Embedding Mobility in Multimedia Systems and Applications Embedded Systems and Software Technology in the Automotive Domain Real-Time Data Services for Automotive Applications