/ edited by Insup Lee, Joseph Y-T. Leung, Sang H. Son
Boca Raton
: Chapman & Hall/CRC,
, c2008.
1 v. (various pagings)
: ill.
; 27 cm.
(Chapman & Hall/CRC computer and information science series.)
Print - Electronic
Includes bibliographical references and index.
Introduction and overview -- Pt. I. Real-time scheduling and resource management -- Real-time scheduling and resource management -- Schedulability analysis of multiprocessor sporadic task systems -- Rate-base resource allocation methods -- Compositional real-time schedulability analysis -- Power-aware resource management techniques for low-power embedded systems -- Imprecise computation model: total weighted error and maximum weighted error -- Imprecise computation model: bicriteria and other related problems -- Stochastic analysis of priority-driven periodic real-time systems -- Pt. II. Programming languages, paradigms, and analysis for real-time and embedded systems -- The evolution of real-time programming -- Real-time java -- Programming execution-time servers and supporting EDF scheduling in Ada 2005 -- Synchronous programming -- Pt. III. Operating systems and middleware for real-time and embedded systems -- Qo-S enabled component middleware for distributes real-time and embedded systems -- Safe and structured use of interrupts in real-time and embedded software -- QoS support and an analytic study for USB1.x/2.0 devices -- Referance middleware architecture for real-time and embedded systems: a case for networked service robots -- Pt. IV. Real-time communications/sensor networks -- Online QoS adaptation with the flexible time-triggered (FTT) communication paradigm -- Wireless sensor networks -- Messaging in sensor networks: addressing wireless communications and application diversity -- Real-time communication for embedded wireless networks -- Programming and virtualization of distributes multitasking sensor networks -- Pt. V Real-time database/data services -- 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 -- Pt. VI. Formalisms, methods, and tools -- State space abstractions for time petri nets -- Process-algebraic analysis of timing and schedulability properties -- Modular hierarchies of models for embedded systems -- Metamodeling languages and metaprogrammable tools -- Hardware/software codesign -- Execution time analysis for embedded real-time systems -- Pt. VII. Experiences with real-time and embedded systems -- Dynamic QoS management in distributed real-time embedded systems -- Embedding mobility in multimedia systems and applications -- Embedded systems and software technology in the automotive domain -- Real-time data services for automotive applications.
Chapman & Hall/CRC computer and information science series