Skip to Main content Skip to Navigation
Conference papers

Patrons temporels pour spécifier les systèmes auto-adaptatifs

Résumé : RESUME : La demande est croissante de systèmes qui nécessitent une adaptation. Ces systèmes doivent avoir la capacité d'adapter leur comportement de façon autonome durant l'exécution en fonction de l'évolution de leur environnement. Parmi les applications nécessitant une capacité d'auto-adaptation : les systèmes automobiles, de télécommunication, de surveillance et les systèmes de maison intelligente. Cependant, malgré son importance, l'auto-adaptation est souvent construite de manière ad-hoc. Dans cet article, nous présentons « Pattern-based Specification for Self-Adaptive Systems (PSAS) », un langage de spécification pour l'auto-adaptation avec un outil support pour faciliter le processus de spécification. La sémantique est présentée en termes de logique floue. Ainsi, un traitement minutieux des exigences, afin de formuler avec précision des exigences relatives aux systèmes auto-adaptatifs, facilite la conception de systèmes flexibles et adaptatifs de manière systématique. Pour montrer l'applicabilité et l'efficacité de notre langage, nous l'appliquons sur un protocole de communication dans les réseaux de capteurs. ABSTRACT. There is a growing demand for systems that require adaptation. These systems must have the ability to adapt their behavior independently during execution according to the evolution of their environment. Among applications requiring a self-adaptive capacity: automotive systems, telecommunication systems, monitoring systems and intelligent home systems. However, despite its importance, self-adaptation is often constructed in ad-hoc manner. In this paper, we present "Pattern-based Specification for Self-Adaptive Systems (PSAS)", a specification language for self-adaptation with a support tool to facilitate the specification process. Semantics is presented in terms of fuzzy logic. Thus, careful processing of requirements, in order to accurately formulate requirements for self-adaptive systems, facilitates the design of flexible and adaptive systems in a systematic manner. To demonstrate the applicability and effectiveness of our language, we apply it to a protocol of sensors network. MOTS-CLES Ingénierie des exigences, Systèmes auto-adaptatifs, Patron de spécification, Logique Temporelle Métrique Floue.
Document type :
Conference papers
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal-univ-pau.archives-ouvertes.fr/hal-02437249
Contributor : Philippe Roose <>
Submitted on : Monday, January 13, 2020 - 4:28:20 PM
Last modification on : Wednesday, March 4, 2020 - 1:46:27 AM
Long-term archiving on: : Tuesday, April 14, 2020 - 5:32:35 PM

File

psas_inforsid.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02437249, version 1

Collections

Citation

Yahiaoui Ayoub, Hakim Benjenna, Philippe Roose. Patrons temporels pour spécifier les systèmes auto-adaptatifs. INFORSID, 2017, Toulouse, France. ⟨hal-02437249⟩

Share

Metrics

Record views

28

Files downloads

34