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.
Tax calculation will be finalised at checkout
Purchases are for personal use onlyLearn about institutional subscriptions
Unable to display preview. Download preview PDF.
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
Rabin, M.O.: Randomized Byzantine Generals. In: Procs. of the 24th Annual IEEE Symposium on Foundations of Computer Science. (1983) 403–409
Cristian, F.: Probabilistic Clock Synchronization. Distributed Computing, SpringerVerlag 1989 (1989)
Dwork, C., Lynch, N., Stockmeyer, L.: Consensus in the presence of partial synchrony. Journal of the ACM 35 (1988) 288–323
Chandra, T., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43 (1996) 225–267
Christian, F., Fetzer, C.: The timed asynchronous system model. In: Proceedings of the 28th IEEE International Symposium on Fault-Tolerant Computing. (1998) 140–149
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)
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
Veríssimo, P., Casimiro, A.: The timely computing base model and architecture. IEEE Transactions on Computers, Special Issue onAsynchronous Real-Time Distributed Systems (2002)
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)
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)
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
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)
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)
Editors and Affiliations
© 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. https://doi.org/10.1007/3-540-37795-6_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00912-2
Online ISBN: 978-3-540-37795-5
eBook Packages: Springer Book Archive