@inbook{Dubey2010,
author = {Dubey, Abhishek and Karsai, Gabor and Mahadevan, Nagabhushan},
editor = {de Lemos, Rog{\'e}rio and Giese, Holger and M{\"u}ller, Hausi A. and Shaw, Mary},
pages = {294--323},
publisher = {Springer Berlin Heidelberg},
title = {Fault-Adaptivity in Hard Real-Time Component-Based Software Systems},
year = {2013},
address = {Berlin, Heidelberg},
isbn = {978-3-642-35813-5},
abstract = {Complexity in embedded software systems has reached the point where we need run-time mechanisms that provide fault management services. Testing and verification may not cover all possible scenarios that a system encounters, 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 aerospace systems and implements a novel two level health management architecture that can be applied in the context of a model-based software development process.},
booktitle = {Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers},
contribution = {lead},
doi = {10.1007/978-3-642-35813-5_12},
file = {:Dubey2010-Fault-Adaptivity_in_Hard_Real-Time_Component-Based_Software_Systems.pdf:PDF},
keywords = {fractionated spacecraft, component-based software, distributed systems, middleware, space systems, fault management, security},
project = {cps-middleware,cps-reliability},
tag = {platform},
url = {https://doi.org/10.1007/978-3-642-35813-5_12}
}