Towards Model-based Software Health Management for Real-Time Systems

TitleTowards Model-based Software Health Management for Real-Time Systems
Publication TypeReport
Year of Publication2010
AuthorsDubey, A., G. Karsai, and N. Mahadevan
Series TitleISIS Technical report
Report NumberISIS-10-106

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.

Report.pdf3.38 MB