Complexity issues in automated synthesis of failsafe fault-tolerance

We focus on the problem of synthesizing failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) program. A failsafe fault-tolerant program satisfies its specification (including safety and liveness) in the absence of faults. However, in the presence of faults, it sa...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on dependable and secure computing Ročník 2; číslo 3; s. 201 - 215
Hlavní autoři:	Kulkarni, S.S., Ebnenasir, A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Washington IEEE 01.07.2005 IEEE Computer Society
Témata:	Agreements Algorithm design and analysis Algorithms Analysis automatic addition of fault-tolerance Automation Computer programming Design Design methodology distributed programs Fault diagnosis Fault tolerance Fault tolerant systems formal methods Heuristic Index Terms- Fault-tolerance Manuals Polynomials program synthesis Safety State-space methods Studies
ISSN:	1545-5971, 1941-0018
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!