Skip to main content

Challenges in Making Pervasive Systems Dependable

  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2584))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. D. Abowd. Classroom 2000: An experiment with the instrumentation of a living educational environment. IBM Systems Journal, 38(4):508–530, 1999.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  3. T. Bloom and M. Day. Reconfiguration and module replacement in argus: theory and practice. Software Engineering Journal, 8(2):102–108, 1993.

    Article  Google Scholar 

  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. 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.

    Article  Google Scholar 

  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. Morris R. Cohen and Ernest Nagel. An Introduction to Logic and Scientific Method. Simon Publications, 2002.

    Google Scholar 

  8. N. Davies and H. W. Gellersens. Beyond prototypes: Challenges in deploying ubiquitous systems. IEEE Pervasive Computing, 1(2):26–35, 2002.

    Article  Google Scholar 

  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. 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. 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.

    Article  Google Scholar 

  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. 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. 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. S. S. Intille. Designing a home of the future. IEEE Pervasive Computing, 1(2):76–82, 2002.

    Article  Google Scholar 

  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. 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. J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293–1306, 1990.

    Article  Google Scholar 

  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. Gordon E. Moore. Cramming more components onto integrated circuits. Electronics, 38(8):114–117, April 1965.

    Google Scholar 

  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. 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.

    Article  Google Scholar 

  23. James M. Purtilo. The polylith software bus. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(1):151–174, 1994.

    Article  Google Scholar 

  24. V. Stanford. Using pervasive computing to deliver elder care. IEEE Pervasive Computing, 1(1):10–13, 2002.

    Article  Google Scholar 

  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. 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.

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Fetzer, C., Högstedt, K. (2003). Challenges in Making Pervasive Systems Dependable. In: Schiper, A., Shvartsman, A.A., Weatherspoon, H., Zhao, B.Y. (eds) Future Directions in Distributed Computing. Lecture Notes in Computer Science, vol 2584. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-37795-6_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-37795-6_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00912-2

  • Online ISBN: 978-3-540-37795-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics