Evaluation of resilience in self-adaptive systems using probabilistic model-checking

  title={Evaluation of resilience in self-adaptive systems using probabilistic model-checking},
  author={Javier C{\'a}mara and Rog{\'e}rio de Lemos},
  journal={2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)},
The provision of assurances for self-adaptive systems presents its challenges since uncertainties associated with its operating environment often hamper the provision of absolute guarantees that system properties can be satisfied. In this paper, we define an approach for the verification of self-adaptive systems that relies on stimulation and probabilistic model-checking to provide levels of confidence regarding service delivery. In particular, we focus on resilience properties that enable us… CONTINUE READING
Highly Cited
This paper has 53 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 32 extracted citations

53 Citations

Citations per Year
Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-2 of 2 references

Rainbow: Cost-Effective Software Architecture- Based Self-Adaptation

  • S.-W. Cheng
  • PhD thesis,
  • 2008
Highly Influential
10 Excerpts

Similar Papers

Loading similar papers…