@article {4196,
	title = {Towards Model-based Software Health Management for Real-Time Systems},
	year = {2010},
	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{\textquoteright}s dependability.
The approach described in this paper borrows concepts and principles from the field of {\textquoteleft}Systems Health
Management{\textquoteright} 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.},
	issn = {ISIS-10-106},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Report_0.pdf , https://archive.isis.vanderbilt.edu/sites/default/files/Report.pdf},
	author = {Dubey, Abhishek and Karsai, Gabor and Mahadevan, Nagabhushan}
}
