Handbook of Real-Time and Embedded Systems

 

Edited by  Insup Lee, Joseph Y-T. Leung  and Sang H. Son

Published by CRC Press, Boca Raton, FL., U.S.A., 2007

 

 

Table of Contents

*  —  indicates contacting author

1. Introduction and Overview

I. Lee, J. Leung* and S. Son  — *Department of Computer Science, New Jersey Institute of Technology, Newark, NJ 07102, U.S.A.

*Email:  leung@cis.njit.edu

Part I —  Real-Time Scheduling and Resource Management

2. Real-Time Scheduling and Resource Management

G. Buttazzo* — *Scuola Superiore Sant'Anna, Italy

*Email:  giorgio.buttazzo@sssup.it

3. Schedulability Analysis of Multiprocessor Sporadic Task Systems

T. Baker* and S. Baruah — *Department of Computer Science, The Florida State University, Tallahassee, FL 32306-4530, U.S.A.

*Email: baker@cs.fsu.edu

4. Rate-Based Resource Allocation Methods

K. Jeffay* — *Department of Computer Science, University of North Carolina at Chapel Hill, Chapel Hill, NC 27599-3175, U.S.A.

*Email: jeffay@cs.unc.edu

5. Compositional Real-Time Schedulability Analysis

     I. Shin and I. Lee* — *Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104, U.S.A.

     *Email: lee@cis.upenn.edu

6. Power-Aware Resource Management Techniques for Low-Power Embedded Systems

     J. Kim* and T. Rosing — *School of Computer Science and Engineering, Seoul National University, Seoul, Korea 151-742.

     *Email: jihong@davinci.snu.ac.kr

7. Imprecise Computation Model: Total Weighted Error and Maximum Weighted Error

J. Leung* — *Department of Computer Science, New Jersey Institute of Technology, Newark, NJ 07102, U.S.A.

     *Email: leung@cis.njit.edu

8. Imprecise Computation Model: Bicriteria and Other Related Problems

J. Leung* — *Department of Computer Science, New Jersey Institute of Technology, Newark, NJ 07102, U.S.A.

     *Email: leung@cis.njit.edu

9. An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems and Its Approximations

J. Diaz, K. Kim, J. Lopez, L. Bello, D. Garcia, C-G. Lee, S. Min* and O. Mirabella — *School of Computer Science and Engineering, Seoul National University, Kwanak-Gu, Seoul, 151-742, Korea.

     *Email: symin@snu.ac.kr

Part II — Programming Languages, Paradigms, and Analysis for Real-Time and Embedded Systems

10.  Temporal Control in Real-Time Systems: Language and Systems

S. Fischmeister* and I. Lee — *Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104, U.S.A.

*Email: sfischme@seas.upenn.edu

11.  The Evolution of Real-Time Programming

C. Kirsch* and R. Sengupta — *Department of Computer Science, University of Salzburg.

*Email: ck@cs.uni-salzburg.at

12.  Real-Time Java

A. Wellings* and A. Burns — *Department of Computer Science, University of York, York, YO10, 5DD, U.K.

*Email: andy@cs.york.ac.uk

13.  Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005

A. Burns* and A. Wellings — *Department of Computer Science, University of York, York, YO10, 5DD, U.K.

*Email: burns@cs.york.ac.uk

14.  Synchronous Programming

P. Caspi*, P. Raymond and S. Tripakis — *CNRS, Verimag Lab., Centre Equation, 2, avenue de Vignate, 38610 Gieres, France.

*Email: Paul.Caspi@imag.fr

Part III — Operating Systems and Middleware for Real-Time and Embedded Systems

15.  QoS-enabled Component Middleware for Distributed Real-Time and Embedded Systems

G. Deng, D. Schmidt, C. Gill* and N. Wang — *CSE Department, Washington University, St. Louis, MO, U.S.A.

*Email: cdgill@cse.wustl.edu

16.  Safe and Structured Use of Interrupts in Real-Time and Embedded Software

J. Regehr* — *School of Computing, University of Utah, Salt Lake City, UT, 84112, U.S.A.

*Email: regejr@cs.utah.edu

17.  QoS Support and an Analytic Study for USB 1.x/2.0 Devices

C-Y. Huang, S-W Lo, T-W. Kuo* and A-C. Pang — *Department of Computer Science and Information Engineering, Graduate Institute of Networking and Multimedia, National Taiwan University, Taipei, Taiwan 106, ROC.

*Email: ktw@csie.ntu.edu.tw

18.  Reference Middleware Architecture for Real-    Time and Embedded Systems: A Case for Networked Service Robots

S. Hong* and S. Kim — *School of Electrical Engineering and Computer Science, Seoul National University, Seoul 151-742, Korea.

*Email: sshong@redwood.snu.ac.kr

Part IV — Real-Time Communications/Sensor Networks

19.  On-line QoS Adaptation with the Flexible Time-Triggered (FTT) Communication Paradigm

L. Almeida*, P. Pedreiras, J. Ferreira, M. Calha, J. Fonseca, R. Marau, V. Silva and E. Martins — *Dep. de Electronica, Telecomunicacoes e Informatica,  Universidade de Aveiro, Campo Universitario, P3810-193, Aveiro.

*Email: lda@det.ua.pt

20.  Wireless Sensor Networks

J. Stankovic* — *Department of Computer Science, University of Virginia, Charlottesville, VA  22904-4740, U.S.A.

*Email: stankovic@cs.virginia.edu

21.  Messaging in Sensor Networks: Addressing Wireless Communications and Application Diversity

H. Zhang, A. Arora*, P. Sinha and L. Rittle — *Department of Computer Science and Engineering, The Ohio State University, Columbus, OH, U.S.A.

*Email: anish@cse.ohio-state.edu

22.  Real-Time Communication for Embedded Wireless Networks

M. Caccamo* and T. Abdelzaher — *Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL 61801-2302, U.S.A.

*Email: mcaccamo@cs.uiuc.edu

23.  Programming and Virtualization of Distributed Multitasking Sensor Networks

A. Bestavros* and M. Ocean — *Computer Science Department, Boston University, Boston, MA, U.S.A.

*Email: best@cs.bu.edu

Part V — Real-Time Database/Data Services

24.  Data-Intensive Services for Real-Time Systems

K. Ramamritham, L. DiPippo and S. Son* — *Department of Computer Science, University of Virginia, Charlottesville, VA, U.S.A.

*Email: son@cs.virginia.edu

25.  Real-Time Data Distribution (RTDD)

A. Frolov, L. DiPippo* and V. Faye-Wolfe — *Department of Computer Science, University of Rhode Island, Kinston, RI, U.S.A.

*Email: dipippo@cs.uri.edu

26. Temporal Consistency Maintenance for Real-Time Update Transactions

M. Xiong* and K. Ramamritham — *Bell Labs, Lucent Techologies, 600 Mountain Ave., Murray Hill, NJ 07974, U.S.A.

*Email: xiong@research.bell-labs.com

27.  Salvaging Resources by Discarding Irreconcilably Conflicting Transactions in Firm Real-Time Database Systems

V. Lee*, J. Ng and K. M. Ho — *Department of Computer Science, City University of Hong Kong, 83 Tat Chee Ave., Kowloon, Hong Kong.

*Email: csvlee@cityu.edu.hk

28.  Application-Tailored Databases for Real-Time Systems

A. Tesanovic and J. Hansson* — *Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA, U.S.A.

*Email: hansson@sei.cmu.edu

29.  DeeDS NG: Architecture, Design, and Sample Application Scenario

S. Andler*, M. Brohede, S. Gustavsson and G. Mathiason — *School of Humanities and Informatics, University of Skovde, SE-54128 Skovde, Sweden.

*Email: sten.f.andler@his.se

Part VI — Formalisms, Methods and Tools

30.  State Space Abstractions for Time Petri Nets

B. Berthomieu* and F. Vernadat — *Laboratoire d'Architectures et d'Analyse des Systemes du CNRS, 7 avenue du Colonel Roche, 31077 Toulouse, France.

*Email: Bernard.Berthomieu@laas.fr

31.  Process-Algebraic Analysis of Timing and Schedulability Properties

A. Philippou and O. Sokolsky* — *Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, 19104, U.S.A.

*Email: sokolsky@cis.upenn.edu

32.  Modular Hierarchies of Models for Embedded Systems

M. Broy* — *Software and Systems Engineering, Institute fur Informatik, Technische Universitat Munchen, D-80290 Munchen, Germany.

*Email: broy@in.tum.de

33.  Metamodeling Languages and Metaprogrammable Tools

M. Emerson*, S. Neema and J. Sztipanovits — *Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37203, U.S.A.

*Email: mjemerson@isis.vanderbilt.edu

34.  Hardware/Software Co-design

W. Wolf* — *Department of Electrical Engineering, Princeton University, Princeton, NJ 08544, U.S.A.

*Email: wolf@princeton.edu

35.  Execution Time Analysis for Embedded Real-Time Systems

A. Ermedahl and J. Engblom* — *Virtutech AB, Norrtullsgatan 15, SE-113 27, Stockholm, Sweden.

*Email: jakob@virtutech.se

Part VII — Experiences with Real-Time and Embedded Systems

36.  Dynamic QoS Management in Distributed Real-Time Embedded Systems

J. Loyall* and R. Schantz — *BBN Technologies, Cambridge, MA 02138, U.S.A.

*Email: jloyall@bbn.com

37.  Embedding Mobility in Multimedia Systems and Applications

H. Shin* — *School of Computer Science and Engineering, Seoul National University, Seoul, 151-744, Korea.

*Email: shinhs@snu.ac.kr

38.  Embedded Systems and Software Technology in the Automotive Domain

M. Broy* — *Software and Systems Engineering, Institute fur Informatik, Technische Universitat Munchen, D-80290 Munchen, Germany.

*Email: broy@in.tum.de

39.  Real-Time Data Services for Automotive Application

G. Raravi, K. Ramamritham* and N. Sharma — *Indian Institute of Technology, Bombay, India.

*Email: krithi@cse.iitb.ac.in