https://scholars.lib.ntu.edu.tw/handle/123456789/497179
Title: | Rapid recovery for systems with scarce faults | Authors: | Huang, C.-H. Peled, D. Schewe, S. FARN WANG |
Issue Date: | 2012 | Journal Volume: | 96 | Start page/Pages: | 15-28 | Source: | Electronic Proceedings in Theoretical Computer Science, EPTCS | Abstract: | Our goal is to achieve a high degree of fault tolerance through the control of a safety critical systems. This reduces to solving a game between a malicious environment that injects failures and a controller who tries to establish a correct behavior. We suggest a new control objective for such systems that offers a better balance between complexity and precision: we seek systems that are k-resilient. In order to be k-resilient, a system needs to be able to rapidly recover from a small number, up to k, of local faults infinitely many times, provided that blocks of up to k faults are separated by short recovery periods in which no fault occurs. k-resilience is a simple but powerful abstraction from the precise distribution of local faults, but much more refined than the traditional objective to maximize the number of local faults. We argue why we believe this to be the right level of abstraction for safety critical systems when local faults are few and far between. We show that the computational complexity of constructing optimal control with respect to resilience is low and demonstrate the feasibility through an implementation and experimental results. © Chung-Hao Huang, Doron Peled, Sven Schewe, and Farn Wang. |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84996522134&doi=10.4204%2fEPTCS.96.2&partnerID=40&md5=13ec0e2c5f39c8c551117ea5d50687bc | DOI: | 10.4204/EPTCS.96.2 | SDG/Keyword: | Abstracting; Automata theory; Fault tolerance; Recovery; Safety engineering; Security systems; Control objectives; Level of abstraction; Local faults; Optimal controls; Rapid recovery; Recovery periods; Safety critical systems; Formal verification |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.