@conference {4500,
	title = {A Deliberative Reasoner for Model-Based Software Health Management},
	booktitle = {The Eighth International Conference on Autonomic and Autonomous Systems},
	year = {2012},
	month = {03/2012},
	address = {St. Maarten, Netherlands Antilles},
	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 {\textquoteleft}health management{\textquoteright} of complex embedded software systems is needed to improve their dependability.  Our approach to Software Health Management uses concepts from the field of  {\textquoteleft}Systems Health Management{\textquoteright}: 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. },
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Paper_10.pdf},
	author = {Dubey, Abhishek and Mahadevan, Nagabhushan and Karsai, Gabor}
}
