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

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 10; no. 5; pp. 455 - 471
Main Authors:	Ebnenasir, Ali, Kulkarni, Sandeep S., Arora, Anish
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer-Verlag 01.10.2008 Springer Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!