Title :
Model-based evaluation of system resilience
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA
Abstract :
The notion of system resilience is receiving increased attention in domains ranging from safety-critical applications to ubiquitous computing. After reviewing how resilience has been defined in various contexts, we focus on a dependability-based definition and a performability-based extension thereof. Modeling problems posed by the quantitative evaluation of system resilience are then discussed, along with some suggestions as to how they might be solved.
Keywords :
safety-critical software; ubiquitous computing; dependability-based definition; model-based evaluation; performability-based extension; safety-critical applications; system resilience; ubiquitous computing; Atmospheric measurements; Conferences; Context; Integrated circuit modeling; Particle measurements; Resilience; Resists;
Conference_Titel :
Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on
Conference_Location :
Budapest
DOI :
10.1109/DSNW.2013.6615535