Formalization and Evaluation of Non-functional Requirements: Application to Resilience

Abstract

This paper introduces the development of a method for the specification, formalization and evaluation of resilience. The developed method is based on two working approaches. First, we study and analyze several resilience metrics and indicators as well as the relationship between resilience and other non-functional requirements namely “-ilities”. Concepts for evaluation are identified and defined. Further, we map out these “-ilities” by positioning them according to the dynamic of the resilience represented as a set of zones. A set of indicators to evaluate the resilience and particularly indicators that are associated with these “-ilities” to each zone of the resilience has to be selected. The expected benefit of such method is to allow to evaluate resilience in order to master and improve it.