160documents trouvés
Detection of interferences in aspect-oriented programs using executable assertions
J.LAURET, H.WAESELYNCK, J.C.FABRE
TSF
Manifestation avec acte : International Workshop on Program Debugging ( IWPD ) 2012 du 27 novembre au 30 novembre 2012, Dallas (USA), Novembre 2012, 7p. , N° 12607
Diffusable
128869From design for adaptation to component-based resilient computing
M.STOICESCU, J.C.FABRE, M.ROY
TSF
Manifestation avec acte : IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004) 2012 du 18 novembre au 19 novembre 2012, Niigata (Japon), 2012, 10p. , N° 12301
Lien : http://hal.archives-ouvertes.fr/hal-00747469
Diffusable
Plus d'informations
Abstract
The evolution of systems during their operational lifetime is becoming ineluctable. Dependable systems, which continuously deliver trustworthy services, must evolve in order to comply with changes having different origins, e.g. new fault tolerance requirements, or changes in available resources. These evolutions must not violate their dependability properties, which leads to the notion of resilient computing. This paper presents a methodology for developing adaptive fault tolerance mechanisms, from the design to the actual runtime reconfiguration, leveraging component-based middleware which enable fine-grained manipulation of software architectures.
Interactive cockpit as critical applications: a model-based and a fault-tolerant approach
C.FAYOLLAS, J.C.FABRE, D.NAVARRE, P.PALANQUE, Y.DELERIS
TSF, IRIT-UPS, Airbus Operations
Rapport Local N°12606, Novembre 2012, 20p.
Diffusable
128491Distributed monitoring of temporal system properties using Petri nets
O.BALDELLON, J.C.FABRE, M.ROY
TSF
Manifestation avec acte : International Symposium on Reliable Distributed Systems ( SRDS ) 2012 du 08 octobre au 11 octobre 2012, Irvine (USA), 2012, 10p. , N° 12214
Diffusable
128574Fault-tolerant interactive cockpits for critical applications: overall approach
C.FAYOLLAS, J.C.FABRE, D.NAVARRE, P.PALANQUE, Y.DELERIS
TSF, IRIT-UPS, Airbus Operations
Manifestation avec acte : Pise (Italie), 15p. , N° 12581
Diffusable
128357Exécution répartie et temps-réel de réseaux de Petri
O.BALDELLON, M.ROY, J.C.FABRE
TSF
Manifestation avec acte : Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), La Grande Motte (France), 29 Mai - 1 Juin 2012, 4p. , N° 12212
Lien : http://hal.archives-ouvertes.fr/hal-00689991
Diffusable
Plus d'informations
Résumé
L'émergence de systèmes distribués, réactifs à l'environnement et de plus en plus complexes pose de nom- breuses problématiques scientifiques. En particulier, malgré les progrès faits pour limiter les erreurs lors de leur conception, la présence de fautes résiduelles est quasiment inévitable du fait de la complexité croissante des systèmes considérés. Il devient nécessaire d'introduire des mécanismes pour gérer les fautes potentielles lors de l'exécution ; on parle alors de supervision. Cet article introduit une approche permettant une supervision distribuée et efficace d'une propriété exprimée sous la forme d'un réseau de Petri.
Experimenting with component-based middleware for adaptive fault tolerant computing
M.STOICESCU, J.C.FABRE, M.ROY
TSF
Manifestation avec acte : European Dependable Computing Conference (EDCC) 2012 du 08 mai au 11 mai 2012, Sibiu (Roumanie), 8-11 Mai 2012, 2p. , N° 12202
Lien : http://hal.archives-ouvertes.fr/hal-00747429
Diffusable
Plus d'informations
Abstract
This short paper describes early experiments to validate the capabilities of a component-based platform to observe and control a software architecture in the small. This is part of a whole process for resilient computing, i.e. targeting the adaptation of fault-tolerance mechanisms at runtime.
Resolver-based detection of interferences in aspect-oriented programs
J.LAURET, H.WAESELYNCK, J.C.FABRE
TSF
Rapport LAAS N°12217, Avril 2012, 8p.
Diffusable
127090Distributed evaluation of Petri nets: an out-of-order approach
O.BALDELLON, J.C.FABRE, M.ROY
TSF
Rapport LAAS N°12211, Avril 2012, 3p.
Diffusable
127070Design for adaptation of fault tolerance strategies
V.GIBERT, M.MACHIN, J.C.FABRE, M.STOICESCU
TSF
Rapport LAAS N°12198, Avril 2012, 35p.
Diffusable
127023