Challenges in Making Pervasive Systems Dependable

  • Christof Fetzer
  • Karin Högstedt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2584)


Due to “Moore’s Law” [33.20] we have been witnessing an exponential increase in processing power, disk capacity and network bandwidth for more than four decades. Fueled by the underlying exponential increase in circuit density, which is expected to continue for at least another decade, it becomes economically feasible to build pervasive systems.


Software Component Dependability Mechanism Oriented System Home Automation Ubiquitous System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 33.1
    G. D. Abowd. Classroom 2000: An experiment with the instrumentation of a living educational environment. IBM Systems Journal, 38(4):508–530, 1999.CrossRefGoogle Scholar
  2. 33.2
    M. R. Barbacci, C. B. Weinstock, D. L. Doubleday, M. J. Gardner, and R. W. Lichota. Durra: a structure description language for developing distributed applications. IEE Software Engineering Journal, 8(2):83–94, 1993.CrossRefGoogle Scholar
  3. 33.3
    T. Bloom and M. Day. Reconfiguration and module replacement in argus: theory and practice. Software Engineering Journal, 8(2):102–108, 1993.CrossRefGoogle Scholar
  4. 33.4
    G. Bond, E. Cheung, A. Forrest, M. Jackson, H. Purdy, C. Ramming, and P. Zave. DFC as the basis for ECLIPSE, an IP communications software platform. In Proceedings of IP Telecom Services Workshop, 19–26, 2000 Sept.Google Scholar
  5. 33.5
    A. Chen, R. R. Muntz, S. Yuen, I. Locher, S. I. Park, and M. B. Srivastava. A support infrastructure for the smart kindergarten. IEEE Pervasive Computing, 1(2):49–57, 2002.CrossRefGoogle Scholar
  6. 33.6
    S.-W. Cheng et al. Using architectural style as a basis for self-repair. In IEEE/IFIP Conference on Software Architecture, 2002.Google Scholar
  7. 33.7
    Morris R. Cohen and Ernest Nagel. An Introduction to Logic and Scientific Method. Simon Publications, 2002.Google Scholar
  8. 33.8
    N. Davies and H. W. Gellersens. Beyond prototypes: Challenges in deploying ubiquitous systems. IEEE Pervasive Computing, 1(2):26–35, 2002.CrossRefGoogle Scholar
  9. 33.9
    C. Fetzer and K. Högstedt. Self*: A component based data-flow oriented framework for pervasive dependability. In Eighth IEEE InternationalWorkshop on Object-oriented Realtime Dependable Systems (WORDS 2003), Jan 2003.Google Scholar
  10. 33.10
    C. Fetzer and Z. Xiao. An automated approach to increasing the robustness of C libraries. In International Conference on Dependable Systems and Networks,Washington, DC, June 2002.Google Scholar
  11. 33.11
    M. Fleck, M. Frid, T. Kindberg, E. O’Brien-Strain, R. Rajani, and M. Spasojevic. From informing to remembering: ubiquitous systems in interactive museums. IEEE Pervasive Computing, 1(2):13–21, 2002.CrossRefGoogle Scholar
  12. 33.12
    X. Fu, W. Shi, A. Akkerman, and V. Karamcheti. CANS: Composable, Adaptive Network Services Infrastructure. In USENIX Symposium on Internet Technologies and Systems (USITS), March 2001.Google Scholar
  13. 33.13
    M. M. Gorlick and R. R Razouk. Using weaves for software construction and analysis. In 13th International Conference on Software Engineering, 23–34, 1991.Google Scholar
  14. 33.14
    C. Hofmeister, E. White, and J. Purtillo. Surgeon: a packager for dynamically reconfigurable distributed applications. IEE System Engineering Journal, 8(2):95–101, March 1993.Google Scholar
  15. 33.15
    S. S. Intille. Designing a home of the future. IEEE Pervasive Computing, 1(2):76–82, 2002.CrossRefGoogle Scholar
  16. 33.16
    C. D. Kidd et al. The aware home: A living laboratory for ubiquitous computing research. In 2nd International Workshop on Cooperative Buildings, 1999.Google Scholar
  17. 33.17
    R. Koster, A. P. Black, J. Huang, J. Walpole, and C. Pu. Infopipes for composing distributed information flows. In International Workshop on Multimedia Middleware, 2001.Google Scholar
  18. 33.18
    J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293–1306, 1990.CrossRefGoogle Scholar
  19. 33.19
    V. Martin and K. Schwan. ILI:An adaptive infrastructure for dynamic interactive distributed applications. In Proceedings of the Fourth International Conference on Configurable Distributed Systems, 224–231, 1998.Google Scholar
  20. 33.20
    Gordon E. Moore. Cramming more components onto integrated circuits. Electronics, 38(8):114–117, April 1965.Google Scholar
  21. 33.21
    M. Mozer. The neural network house: An environment that adapts to its inhabitants. In AAAI Spring Symposium on Intelligent Environments, 110–114, 1998.Google Scholar
  22. 33.22
    P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimhigner, G. Johnson, N. Medvidovic, A. Quilici, D. S. Rosenblum, and A. LWolf. An architecture-based approach to self-adaptive software. IEEE Intelligent Systems, 14(3):54–62, May-June 1999.CrossRefGoogle Scholar
  23. 33.23
    James M. Purtilo. The polylith software bus. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(1):151–174, 1994.CrossRefGoogle Scholar
  24. 33.24
    V. Stanford. Using pervasive computing to deliver elder care. IEEE Pervasive Computing, 1(1):10–13, 2002.CrossRefGoogle Scholar
  25. 33.25
    Y. M. Wang, W. Russell, and A. Arora. Atoolkit for building dependable and extensible home networking applications. In Proceedings of the 4th USENIXWindows Systems Symposium, August 2000.Google Scholar
  26. 33.26
    M. Weiser, R. Gold, and J. S. Brown. The origins of ubiquitous computing research at PARC in the late 1980s. IBM Systems Journal, 38(4):693–693, 1999.CrossRefGoogle Scholar
  27. 33.27
    M. Welsh, D. Culler, and E. Brewer. SEDA: An architecture for well-conditioned, scalable internet services. In Proceedings of the Eighteenth Symposium on Operating Systems Principles (SOSP-18), October 2001.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Christof Fetzer
    • 1
  • Karin Högstedt
    • 1
  1. 1.AT&T Labs-ResearchFlorham ParkUSA

Personalised recommendations