FTSyn: a framework for automatic synthesis of fault-tolerance

In this paper, we present a software framework for adding fault-tolerance to existing finite-state programs. The input to our framework is a fault-intolerant program and a class of faults that perturbs the program. The output of our framework is a fault-tolerant version of the input program. Our fra...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 10; H. 5; S. 455 - 471
Hauptverfasser:	Ebnenasir, Ali, Kulkarni, Sandeep S., Arora, Anish
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer-Verlag 01.10.2008 Springer Springer Nature B.V
Schlagworte:	Applied sciences Computer Science Computer science; control theory; systems Computer systems performance. Reliability Exact sciences and technology Fault tolerance Heuristic Programming theory Regular Contribution Software Software Engineering Software Engineering/Programming and Operating Systems Theoretical computing Theory of Computation Automatic addition of fault-tolerance Fault-tolerance Distributed programs Formal methods Program synthesis Fault-tolerance, Automatic addition of fault-tolerance Automatic programming Formal method Software development Byzantine behavior Finite state machine Transmission protocol Program transformation Teaching Polynomial time Fault tolerance Token ring Distributed algorithm Heuristic method Aircraft Fault tolerant system
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!