On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems

The development of distributed systems is considered a complex task. The process of assuring the correctness of such systems is even more difficult if we consider open environments (e.g. Internet), where faults may occur. To help such process we make use of formal methods and tools as means to speci...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Dotti, Fernando L., dos Santos, Osmar M., Rödel, Eduardo T.
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Fault Injection Fault Model Graph Grammar Memory and file management (including protection and security) Memory organisation. Data processing Model Check Rule Transformation Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!