Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
The Eighth International Conference on Autonomic and Autonomous Systems 2012
Best Paper Award
Complex systems often have multiple alternative configurations that can restore functionality after failures, but identifying valid alternatives under constraints is computationally challenging. This work is innovative in applying deliberative reasoning techniques to search the configuration space and identify recovery actions suitable for autonomous execution.
This paper presents a deliberative reasoner for model-based software health management that uses goal-oriented reasoning to identify alternative component configurations for restoring system functionality. The work combines TFPG-based diagnosis with SAT-based reconfiguration planning to enable autonomous system recovery.
The deliberative mitigation approach demonstrates use of Boolean Satisfiability solvers to identify valid component reconfigurations that restore functionality. The system successfully handles complex fault scenarios in simulated Inertial Measurement Units and can be applied to various component assemblies through model specification.
@inproceedings{Dubey2012a,
author = {Dubey, Abhishek and Mahadevan, Nagabhushan and Karsai, Gabor},
booktitle = {The Eighth International Conference on Autonomic and Autonomous Systems},
title = {A deliberative reasoner for model-based software health management},
year = {2012},
pages = {86--92},
abstract = {While traditional design-time and off-line approaches to testing and verification contribute significantly to improving and ensuring high dependability of software, they may not cover all possible fault scenarios that a system could encounter at runtime. Thus, runtime health management of complex embedded software systems is needed to improve their dependability. Our approach to Software Health Management uses concepts from the field of Systems Health Management: detection, diagnosis and mitigation. In earlier work we had shown how to use a reactive mitigation strategy specified using a timed state machine model for system health manager. This paper describes the algorithm and key concepts for an alternative approach to system mitigation using a deliberative strategy, which relies on a function-allocation model to identify alternative component-assembly configurations that can restore the functions needed for the goals of the system.},
category = {selectiveconference},
contribution = {lead},
note = {Best Paper Award},
acceptance = {23},
file = {:Dubey2012a-A_Deliberative_Reasoner_for_Model-Based_Software_Health_Management.pdf:PDF},
keywords = {deliberative reasoning, software health management, fault diagnosis, component reconfiguration, SAT solvers, autonomous computing},
tag = {platform}
}