Skip to Main content Skip to Navigation
Theses

Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutable Satin

Abstract : Dynamic adaptation technologies (components, aspects,...) arrive at maturity and allow for applications to be modified during their execution.If we consider safety as the property that enable users to trust application behavior, then we have to ensure that this property is preserved by application adaptations during execution. Then an adaptataion is not safe as soon as the rsulting application behavior does not meet anymore the user point of view behavior.
There are no appropriate solutions to handle safety for dynamic adaptation purpose. Some techniques (typing, model checking,...) that help designing and implementing computer systems safely can be used in the context of static adaptations but cannot be applied directly to dynamic adaptations. Indeed, managing dynamicity implies taking into account the risk that an adaptation may occur in circumstances that do not comply the application execution and implies recovering errors whilke the application runs. Platforms allowing for dynamic adaptation provide some solutions but there is not an unified approach of the problem. Moreover the implementations of the proposed solutions are often informal or left to the application developer instead of being offered by the plaform.
Facing application evolutions, we propose to determine adaptation safeness independently of components platforms and aspects frameworks and to identify the circumstances under which it is safe to take into account a given adaptation in the application execution. Satin is a model describing the key elements involved in the adaptation process. Safety properties are expressed and validated over this model to identify the criteria of safe adaptations. Satin has been implemented as a safety service that platforms can query to determine wether a given adaptation can be performed without breaking the safeness of the overall application execution. A prototype of this service has been developed in Java so as to validate the applicability of the proposed approach.
Complete list of metadatas

Cited literature [113 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00090755
Contributor : Monique Oger <>
Submitted on : Friday, September 1, 2006 - 5:26:09 PM
Last modification on : Wednesday, October 14, 2020 - 4:23:44 AM
Long-term archiving on: : Monday, April 5, 2010 - 10:40:23 PM

Identifiers

  • HAL Id : tel-00090755, version 1

Collections

Citation

Audrey Occello. Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutable Satin. Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2006. Français. ⟨tel-00090755⟩

Share

Metrics

Record views

242

Files downloads

224