Handbook of Real-Time and Embedded Systems

 

Edited by Insup Lee, Joseph Y-T. Leung and Sang 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. F. 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