Skip to Main content Skip to Navigation
Theses

Ingénierie des exigences pour les systèmes auto-adaptatifs devant le jury ci-dessous

Abstract : As applications become larger, more heterogeneous, and more complex, there are some tasks where contextual data cannot be defined during the design phase. In light of this, it becomes vital for these systems to automatically adapt to changes in the environment. We call these systems “self-adaptive systems (SAA)”. Self-adaptation presents a promising approach for managing the complexity of today's systems. Applications requiring SAA-type capabilities are, for example, intelligent infrastructure systems, sensor networks, and embedded systems. Changes in environmental factors such as human interactions (unplanned inputs) make the analysis difficult for all states in which the system will be during its lifetime. Therefore, an SAA must be able to adapt to a set of environmental contexts, but the exact nature of these contexts remains vaguely understood. A global challenge in SAA development is how to express a specification in order to make the SAA capable of handling the problems posed by the application domains, including behavioral uncertainties. SASs need flexible specifications while being formal. This thesis presents a new language called PSAS, for requirements specification, it is based on specification patterns for SAA to facilitate the expression of time constraints of self-adaptation. A support tool will be proposed to facilitate the specification phase. The effectiveness of the PSAS language is enhanced through real-world instances, as well as through an empirical evaluation of three case studies, and a comparison with similar approaches to clarity and ease of use.
Document type :
Theses
Complete list of metadatas

Cited literature [115 references]  Display  Hide  Download

https://hal-univ-pau.archives-ouvertes.fr/tel-02437337
Contributor : Philippe Roose <>
Submitted on : Monday, January 13, 2020 - 5:09:17 PM
Last modification on : Friday, October 23, 2020 - 4:42:42 PM
Long-term archiving on: : Tuesday, April 14, 2020 - 5:45:44 PM

File

Le memoire - latex.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02437337, version 1

Collections

Citation

Yahiaoui Ayoub. Ingénierie des exigences pour les systèmes auto-adaptatifs devant le jury ci-dessous. Autre [cs.OH]. UNIVERSITÉ LARBI TÉBESSI, TÉBESSA, 2018. Français. ⟨tel-02437337⟩

Share

Metrics

Record views

32

Files downloads

78