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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 10; číslo 5; s. 455 - 471
Hlavní autoři:	Ebnenasir, Ali, Kulkarni, Sandeep S., Arora, Anish
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer-Verlag 01.10.2008 Springer Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!