Skip to main content

Uncertainty and Predictability: Can They Be Reconciled?

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


We are faced today with the confluence of antagonistic aims, when designing and deploying distributed systems. On one hand, our applications have to achieve timeliness goals, dictated both by QoS expectations with regard to on-line services (e.g. time-bounded transactions), and by technical issues of real-time nature involved in the deployment of certain services (e.g., multimedia rendering). On the other hand, the open and large-scale environments where applications and users execute and evolve exhibit uncertain timeliness or synchrony. Likewise, services, despite their sometimes critical nature (not only money-critical, but also privacy- or even safety-critical), are more often deployed on-line or through open networks. It is required that they be resilient to intrusions, despite the elusiveness of attacks they are subject to, and the pervasiveness and subtelty of vulnerabilities in the relevant systems.


  • Overlay Network
  • Failure Detector
  • Uncertain Timeliness
  • Intrusion Tolerance
  • Unreliable Failure Detector

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.

Work partially supported by the EC, through proj. IST-1999-11583 (MAFTIA), IST-FET-2000- 26031(CORTEX), andFCT, through the Large-Scale Informatic Systems Laboratory (LaSIGE) and proj. POSI/1999/CHS/33996 (DEFEATS).

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. Journal of the ACM 32 (1985) 374–382

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. Rabin, M.O.: Randomized Byzantine Generals. In: Procs. of the 24th Annual IEEE Symposium on Foundations of Computer Science. (1983) 403–409

    Google Scholar 

  3. Cristian, F.: Probabilistic Clock Synchronization. Distributed Computing, SpringerVerlag 1989 (1989)

    Google Scholar 

  4. Dwork, C., Lynch, N., Stockmeyer, L.: Consensus in the presence of partial synchrony. Journal of the ACM 35 (1988) 288–323

    CrossRef  MathSciNet  Google Scholar 

  5. Chandra, T., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43 (1996) 225–267

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. Christian, F., Fetzer, C.: The timed asynchronous system model. In: Proceedings of the 28th IEEE International Symposium on Fault-Tolerant Computing. (1998) 140–149

    Google Scholar 

  7. Helary, J., Hurfin, M., Mostefaoui, A., Raynal, M., F., T.: Computing global functions on asynchronous distributed systems with perfect failure detectors. IEEE Transactions on Parallel and Distributed Systems 11 (2000)

    Google Scholar 

  8. Veríssimo, P., Casimiro, A., Fetzer, C.: The timely computing base: Timely actions in the presence of uncertain timeliness. In: Procs. of the Int’l Conference on Dependable Systems and Networks, NewYork City, USA (2000) 533–542

    Google Scholar 

  9. Veríssimo, P., Casimiro, A.: The timely computing base model and architecture. IEEE Transactions on Computers, Special Issue onAsynchronous Real-Time Distributed Systems (2002)

    Google Scholar 

  10. Correia, M., Veríssimo, P., Neves, N.F.: The design of a COTS real-time distributed security kernel. In: Proc. of the Fourth European Dependable Computing Conference, Toulouse, France (2002)

    Google Scholar 

  11. M. Aguilera, G.L.L., Toueg, S.: On the impact of fast failure detectors on real-time faulttolerant systems. In: Proc. of DISC 2002. (2002)

    Google Scholar 

  12. Delporte-Gallet, C., Fauconnier, H., Guerraoui, R.: A realistic look at failure detectors. In: Proceedings of the International Conference on Dependable Systems and Networks, Washington, USA (2002) 213–222

    Google Scholar 

  13. R. Friedman, A. Moustefaoui, S.R., Raynal, M.: Error correcting codes:A future direction to solve distributed agreement problems? In: InternationalWorkshop on Future Directions of Distributed Computing, FuDiCo. (2002)

    Google Scholar 

  14. Correia, M., Lung, L.C., Neves, N.F., Veríssimo, P.: Efficient byzantine-resilient reliable multicast on a hybrid failure model. In: Proc. of the 21st Symposium on Reliable Distributed Systems, Suita, Japan (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Veríssimo, P. (2003). Uncertainty and Predictability: Can They Be Reconciled?. 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.

Download citation

  • DOI:

  • 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