Patrons temporels pour spécifier les systèmes auto-adaptatifs - Archive ouverte HAL Access content directly
Conference Papers Year :

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

, , (1)
1
Yahiaoui Ayoub
  • Function : Author
  • PersonId : 1062805
Hakim Benjenna
  • Function : Author
  • PersonId : 1062806

Abstract

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.
Fichier principal
Vignette du fichier
psas_inforsid.pdf (1007.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02437249 , version 1 (13-01-2020)

Identifiers

  • HAL Id : hal-02437249 , version 1

Cite

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

Collections

UNIV-PAU LIUPPA
41 View
123 Download

Share

Gmail Facebook Twitter LinkedIn More