Fault-tolerant clock synchronization validation methodology

A validation method for the synchronization subsystem of a fault-tolerant computer system is presented. The high reliability requirement of flight-crucial systems precludes the use of most traditional validation methods. The method presented utilizes formal design proof to uncover design and coding...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of guidance, control, and dynamics control, and dynamics, 1987-11, Vol.10 (6), p.513-522
Hauptverfasser:	BUTLER, RICKY W., PALUMBO, DANIEL L., JOHNSON, SALLY C.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Clock synchronization Clocks & watches Computer Systems Copyright Design Designers Failure Fault tolerance Methods Probability Random variables Real time Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!