en fr Capitalizing safety of applications while being dynamically adapted : the Satin executable model Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutabReportar como inadecuado




en fr Capitalizing safety of applications while being dynamically adapted : the Satin executable model Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutab - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 I3S - Laboratoire d-Informatique, Signaux, et Systèmes de Sophia Antipolis

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.

Résumé : Les technologies pour l-adaptation dynamique composants, aspects,

.arrivent à maturité et permettent de modifier les applications durant leurexécution. Si l-on considère que la sûreté de fonctionnement d-uneapplication est la propriété permettant aux utilisateurs d-un système deplacer une confiance justifiée dans le service qu-il leur délivre alors ilfaut garantir lors d-une adaptation dynamique que cette propriété estpréservée. Autrement dit, une adaptation n-est pas -sûre- à partir du momentoù le service que fournit l-application après adaptation diverge du serviceattendu par l-utilisateur.Actuellement, il n-existe pas de solution appropriée au problème de lasûreté des adaptations dynamiques. En effet, un certain nombre de techniquestypage, model-checking,

. destinées à concevoir et implémenter lessystèmes informatiques de façon sûre peuvent être utilisées dans le cadredes adaptations statiques mais pas directement pour valider des adaptationsdynamiques. De plus, la prise en charge de ces dernières doit tenir comptedu risque qu-une adaptation se produise à un moment inadéquat dansl-exécution de l-application et implique de traiter les problèmes de sûretéparallèlement à l-exécution de l-application sans perturbation. Bien que lesplates-formes permettant les adaptations dynamiques proposent des solutions,il n-existe pas de consensus autour des vérifications à effectuer dans uncontexte dynamique. D-autre part, la mise en oeuvre de ces vérificationsreste souvent informelle ou à la charge du développeur d-applications.Nous proposons d-identifier la sûreté d-une adaptation indépendamment desplates-formes, et de déterminer le moment où les modifications liées à uneadaptation peuvent être prises en compte de façon sûre dans l-exécution del-application. Cette approche est basée sur un modèle nommé Satin sur lequeldes propriétés de sûreté sont exprimées et validées. Le modèle Satin est misen oeuvre sous la forme d-un service de sûreté que les plates-formes peuventinterroger pour déterminer si une adaptation donnée risque de briser lasûreté de fonctionnement de l-application.

en fr

Keywords : Dynamic adaptations safety components aspects model driven engineering

Mots-clés : Adaptations dynamiques sûreté de fonctionnement composants aspects ingénierie dirigée par les modèles





Autor: Audrey Occello -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados