@inproceedings{283, keywords = {component model, real-time systems}, author = {Abhishek Dubey and Gabor Karsai and Nagabhushan Mahadevan}, title = {Model-based Software Health Management for Real-Time Systems}, abstract = {Complexity of software systems has reached the point where we need run-time mechanisms that can be used to provide fault management services. Testing and verification may not cover all possible scenarios that a system can encounter, hence a simpler, yet formally specified run-time monitoring, diagnosis, and fault mitigation architecture is needed to increase the software system's dependability. The approach described in this paper borrows concepts and principles from the field of `Systems Health Management' for complex systems and implements a two level health management strategy that can be applied through a model-based software development process. The Component-level health management (CLHM) for software components provides a localized and limited functionality for managing the health local to a component. It also reports to the higher-level System Health Manager (SHM) which manages the health of the overall system. SHM consists of a diagnosis engine that uses the timed fault propagation (TFPG) model based on the component assembly. It reasons about the input alarms reported by CLHM and hypothesizes about the possible fault sources. Thereafter, necessary system level mitigation action can be taken. However, system-level mitigation approaches are subject of ongoing investigations and have not been included in this paper. We conclude the paper with case study and discussion.}, year = {2011}, journal = {IEEE Aerospace Conference}, pages = {1--18}, month = {2011}, }