Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Kongresse
Themenseiten
Künstliche Intelligenz Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Veranstaltungskalender Awards MyNewsletter Firmensuche
Kunden Login
Über Einzelzugang informieren
Über Unternehmenszugang informieren
Referenzkunden
Zukunftswerkstatt Sales Excellence 2025 | 08. Mai 2025

KI als Booster im Vertrieb

Lernen Sie von Digital-Experten, wie der gezielte Einsatz von KI-Unterstützung Ihrem Unternehmen in vielen Bereichen hilft, im Vertrieb einen Schritt voraus zu sein. Jetzt wieder live vor Ort teilnehmen in Frankfurt am Main!
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Kapitel lesen Erstes Kapitel lesen

2012 | OriginalPaper | Buchkapitel

Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B

verfasst von : Raghuraj Suryavanshi, Divakar Yadav

Erschienen in: Data Engineering and Management

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Zusammenfassung

A reliable broadcast eventually delivers messages to all participating sites. A total order broadcast is a stronger notion of a reliable broadcast that deliver messages to all processes in a same delivery order. A formal rigorous reasoning is required to precisely understand behaviour of such techniques and an assurance is required to understand how they achieve the objectives. Event-B is a formal technique used for specifying and reasoning about complex systems. In this technique, a system is developed incrementally by adding more details in refinement to obtain more concrete specifications. In this paper, we present a formal development of Byzantine immune total order broadcast system using Event-B. We outline an abstract model specifying total order broadcast using fixed sequencer and introduce more details at refinement level for moving sequencer and detection of Byzantine sequencer.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Efficient Mining of Frequent Items Coupled with Weight and /or Support over Progressive Databases
Nächstes Kapitel Analyzing Data Flow in Trustworthy Electronic Payment Systems Using Event-B
Metadaten
Titel
Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B
verfasst von
Raghuraj Suryavanshi
Divakar Yadav
Copyright-Jahr
2012
Verlag
Springer Berlin Heidelberg
Buch
Data Engineering and Management

Print ISBN: 978-3-642-27871-6

Electronic ISBN: 978-3-642-27872-3

Copyright-Jahr: 2012

DOI
https://doi.org/10.1007/978-3-642-27872-3_47

Premium Partner

    Bildnachweise