Timed Asynchronous Distributed Systems | SpringerLink
Skip to main content
Springer Nature Link
Log in

Timed Asynchronous Distributed Systems

  • Conference paper
Dependable Computing (LADC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3747))

Included in the following conference series:

  • 338 Accesses

Abstract

The development of dependable distributed systems needs to be based on a proper foundation. This foundation is generally given in form of a system and failure model. The system model defines the semantics of basic services like process and message services of a distributed system. More advanced system services will be based on these basic services. The failure model specifies the likely failures of the basic services, i.e., these are the failures that the advanced system services need to cope with.

The objective of the system and failure model is the following. As long as the assumptions of the failure and system model are valid, a system has to guarantee its specification. However, if these assumptions are violated during run-time, the system specification might be violated. The probability that a dependable system violates its specification must be negligible. Therefore, the probability of the occurrence of failures which are not specified by the failure model must also be negligible.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Similar content being viewed by others

References

  1. Cristian, F., Fetzer, C.: The timed asynchronous distributed system model. IEEE Transactions on Parallel and Distributed Systems, 642–657 (June 1999)

    Google Scholar 

  2. Fetzer, C., Schmid, U., Suesskraut, M.: On the possibility of consensus in asynchronous systems with finite average response times. In: Proceedings of the 25th International Conference on Distributed Computing Systems, ICDCS 2005 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät Informatik, Technische Universität Dresden, Dresden, Germany

    Christof Fetzer

Authors
  1. Christof Fetzer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Pontifícia Universidade Católica do Paraná (PUCPR), PPGIA, Paraná, Brazil

    Carlos Alberto Maziero

  2. Dept. Engenharia Informática/CISUC Universidade de Coimbra - Polo II, 3030-397, Coimbra, Portugal

    João Gabriel Silva

  3. Universidade Federal da Bahia (UFBA), Prédio do CPD, Campus de Ondina, Av. Ademar de Barros, CEP 40.170-110, Salvador, BA, Brazil

    Aline Maria Santos Andrade  & Flávio Morais de Assis Silva  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fetzer, C. (2005). Timed Asynchronous Distributed Systems. In: Maziero, C.A., Gabriel Silva, J., Andrade, A.M.S., de Assis Silva, F.M. (eds) Dependable Computing. LADC 2005. Lecture Notes in Computer Science, vol 3747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11572329_2

Download citation

  • DOI: https://doi.org/10.1007/11572329_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29572-3

  • Online ISBN: 978-3-540-32092-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation