WorldCat Identities

Occello, Audrey

Overview
Works: 2 works in 3 publications in 1 language and 234 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author
Publication Timeline
.
Most widely held works by Audrey Occello
IHM'11 : 23ème Conférence Francophone sur l'Interaction Homme-Machine : du 24 au 27 Octobre 2011, Sophia Antipolis, France by IHM (Conference)( )

1 edition published in 2011 in French and held by 232 WorldCat member libraries worldwide

Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutable Satin by Audrey Occello( Book )

2 editions published in 2006 in French and held by 2 WorldCat member libraries worldwide

Dynamic adaptation technologies (components, aspects, etc.) allow for applications to be modified during their execution. If we consider safety as the property that enables users to trust application behaviour, then we have to ensure that this property is preserved by application adaptations during execution. There are no appropriate solutions to handle safety for dynamic adaptation purpose. Some techniques (typing, model-checking, etc.) that help designing and implementing computer systems safely 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 while the application runs. There is not unified approach of the problem : implementations of safety control are often informal or left to the application developer instead of being offered by the platform. Facing application evolutions, we propose to control adaptation safeness independently of components platform and aspect oriented frameworks. 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 whether 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
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.35 (from 0.35 for IHM'11 : 2 ... to 0.90 for IHM'11 : 2 ...)

Languages
French (3)