Skip to Main content Skip to Navigation

Contribution à la formalisation et à l'évaluation de propriétés non-fonctionnelles pour l’ingénierie de système complexe : application à la résilience.

Abstract : To fulfill its mission and achieve its objectives, a complex system must satisfy a set of identified and formalized functional and non-functional requirements. Some non-functional requirements are identified as providing a set of capabilities allowing a system to reach its objectives. This repository includes the requirements known as « -ilities » such as the resilience or the interoperability (De Weck, 2012). The resilience is an important requirement that must be managed and maximized by a system that aims to face up to disruptions and maintain acceptable levels of service and performance. It is defined as "the ability to resist, absorb, recover or adapt to a test or change" (Hollnagel, 2011). In this context, the assessment of resilience enables human operators to easily identify the elements (activities, techniques, humans ...) that can improve the level of resilience. The here presented research work focuses on the definition, the specification and the development of a method to evaluate the resilience. Although the concept of resilience is not new, existing studies are mainly limited to the development of evaluation methods based on the performance and quality of service of a system. In addition, these methods often focus only on one phase of the resilience lifecycle: anticipation or response or recovery. In this sense, these methods do not integrate existing interactions between resilience and other requirements. In this research work, we focus on the study of the interactions between requirements and resilience to provide an overall assessment of the resilience in each of its lifecycle phases. As a result, the method developed to assess resilience is based on the analysis of the network of "-ilities" and the characterization of the nature of the relationships that exist between resilience and these « -ilities ». The proposed method is based on two contributions: the mapping of the resilience and the formalization of a resilience metric called "operability". Mapping allows to identify all « -ilities » linked to resilience and to position them according to their involvement in the life cycle of the resilience (anticipation, response, recovery). This mapping is based on the analysis of existing work on « -ilities » and its network (De Weck, 2012). According to its relationships and the definition of their nature the indicator of resilience is developed. The evaluation provided by the metric ("operability") is qualitative. It relies on the definition of a set of parameters (current value, impact, priority and existence) describing the interactions of other « -ilities » on resilience. The developed metric allows to aggregate all these parameters to give an evaluation of the resilience for each phase of its life cycle. The resulting interpretation is then easily exploitable by human operators in order to check the current state of resilience or improve it.
Document type :
Complete list of metadatas

Cited literature [140 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Wednesday, July 15, 2020 - 4:27:26 PM
Last modification on : Wednesday, October 14, 2020 - 4:09:30 AM


Version validated by the jury (STAR)


  • HAL Id : tel-02899913, version 1



Behrang Moradi Koutchi. Contribution à la formalisation et à l'évaluation de propriétés non-fonctionnelles pour l’ingénierie de système complexe : application à la résilience.. Autre [cs.OH]. IMT - MINES ALES - IMT - Mines Alès Ecole Mines - Télécom, 2019. Français. ⟨NNT : 2019EMAL0009⟩. ⟨tel-02899913⟩



Record views


Files downloads