DocumentCode :
3058177
Title :
Autonomic Reactive Systems via Online Learning
Author :
Seshia, Sanjit A.
Author_Institution :
Univ. of California, Berkeley
fYear :
2007
fDate :
11-15 June 2007
Firstpage :
30
Lastpage :
30
Abstract :
Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network routers, sensor nodes, and autonomous robots. While we increasingly rely on the correct operation of these systems, it is becoming ever harder to deploy them bug-free. We propose a new formal framework for automatically recovering a class of reactive systems from run-time failures. This class of systems comprises those whose executions can be divided into rounds such that each round performs a new unit of work. We show how the system recovery and repair problem can be modeled as an instance of an online learning problem. On the theoretical side, we give a strategy that is near-optimal, and state and prove bounds on its performance. On the practical side, we demonstrate the effectiveness of our approach through the case study of a buggy network monitor. Our results indicate that online learning provides a useful basis for constructing autonomic reactive systems.
Keywords :
learning (artificial intelligence); system recovery; autonomic reactive systems; online learning; runtime failure recovery; Hardware; Maintenance; Monitoring; Robot sensing systems; Robotics and automation; Sensor systems; Space exploration; System recovery; System testing; Web server;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Autonomic Computing, 2007. ICAC '07. Fourth International Conference on
Conference_Location :
Jacksonville, FL
Print_ISBN :
0-7695-2779-5
Electronic_ISBN :
0-7695-2779-5
Type :
conf
DOI :
10.1109/ICAC.2007.10
Filename :
4273124
Link To Document :
بازگشت