Home // ICAS 2012, The Eighth International Conference on Autonomic and Autonomous Systems // View article

A Deliberative Reasoner for Model-Based Software Health Management

Authors:
Abhishek Dubey
Nagabhushan Mahadevan
Gabor Karsai

Keywords: fault diagnosis; autonomic computing; fault removal

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. An example is used to show how such an approach can be used for performing automatic system reconfigurations, when faulty components are diagnosed.

Pages: 86 to 92

Copyright: Copyright (c) IARIA, 2012

Publication date: March 25, 2012

Published in: conference

ISSN: 2308-3913

ISBN: 978-1-61208-187-8

Location: St. Maarten, The Netherlands Antilles

Dates: from March 25, 2012 to March 30, 2012