TY - GEN
T1 - A model-driven approach for runtime reliability analysis
AU - Sojer, Dominik
AU - Reichenbach, Frank
AU - Ellevseth, Stein Erik
AU - Buckl, Christian
AU - Knoll, Alois
PY - 2013
Y1 - 2013
N2 - Runtime reliability analysis has proven to be avaluable technique to enhance the overall reliability of safety-critical systems. It has the potential to close the dependability gap that has been identified by Laprie. However, existing approaches suffer from either too complex and therefore errorproneinput languages or from long execution time due to the state space explosion of the underlying analysis techniques. In this paper, we present an approach for runtime reliability analysis, which handles both problems. It provides a compactmetamodel that can be used to describe all necessary information. Moreover, it provides analysis algorithms that can be automatically parameterized by code generation. These algorithms are runtime efficient so that they can be executed even on low-end computers, e.g., safety-critical embedded systems, to adapt the system to changing environmental conditions.
AB - Runtime reliability analysis has proven to be avaluable technique to enhance the overall reliability of safety-critical systems. It has the potential to close the dependability gap that has been identified by Laprie. However, existing approaches suffer from either too complex and therefore errorproneinput languages or from long execution time due to the state space explosion of the underlying analysis techniques. In this paper, we present an approach for runtime reliability analysis, which handles both problems. It provides a compactmetamodel that can be used to describe all necessary information. Moreover, it provides analysis algorithms that can be automatically parameterized by code generation. These algorithms are runtime efficient so that they can be executed even on low-end computers, e.g., safety-critical embedded systems, to adapt the system to changing environmental conditions.
KW - embedded systems
KW - reliabilty
KW - safety
UR - http://www.scopus.com/inward/record.url?scp=84881119093&partnerID=8YFLogxK
U2 - 10.1109/LADC.2013.12
DO - 10.1109/LADC.2013.12
M3 - Conference contribution
AN - SCOPUS:84881119093
SN - 9780769549620
T3 - Proceedings - 6th Latin-American Symposium on Dependable Computing, LADC 2013
SP - 21
EP - 30
BT - Proceedings - 6th Latin-American Symposium on Dependable Computing, LADC 2013
T2 - 6th Latin-American Symposium on Dependable Computing, LADC 2013
Y2 - 2 April 2013 through 5 April 2013
ER -