@misc{434,
  author = {Abhishek Dubey and Gabor Karsai and Nagabhushan Mahadevan},
  title = {Towards Model-based Software Health Management for Real-Time Systems},
  abstract = {The 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 veri fication may not cover all possible
scenarios that a system can encounter, hence a simpler, yet formally specifi ed 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. The paper introduces the fundamental ideas for software health
management, and then illustrates how these can be implemented in a model-based software development process, including a case study and related work.},
  year = {2010},
  journal = {ISIS Technical report},
}