50documents trouvés
From 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.
Safety trigger conditions for critical autonomous systems
A.MEKKI-MOKHTAR, J.P.BLANQUART, J.GUIOCHET, D.POWELL, M.ROY
TSF, ASTRIUM
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° 12517
Diffusable
128570Distributed 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
128574Campagne de collecte de données et vie privée
N.HADERER, M.NUNEZ DEL PRADO, R.ROUVOY, M.O.KILLIJIAN, M.ROY
LIFL, TSF
Manifestation avec acte : GDR GPL'12, Renne (France), 20-22 Juin 2012, 2p. , N° 12339
Lien : http://hal.inria.fr/hal-00711609
Diffusable
Plus d'informations
Résumé
Les communautés scientifiques ont souvent recours à la simulation dans le but de valider leurs théories. Cependant, la pertinence des résultats obtenus est fortement dépendante de la qualité des traces générées par les simulateurs. Ce phénomène est particulièrement vrai lorsque l'on considère les traces de mobilité humaine qui sont difficilement prévisibles. Dans ce contexte, la popularité des nouvelles générations de smartphones, équipés d'une grande variété de capteurs (GPS, bluetooth, accéléromètre, etc.), offre de nouvelles perspectives pour la collecte de données réalistes au sein d'une population. Cependant, la nature sensible, du point de vue de la vie privée, des informations collectées représente un des principaux obstacles aux déploiement généralisé d'une application de collecte de données et à son adoption auprès des utilisateurs. C'est pourquoi nous présentons UBILAB , une nouvelle plate-forme permettant aux scientifiques de mettre en place facilement des campagnes de collecte de données et d'inférer automatiquement différentes attaques sur les données partagées par les utilisateurs mobiles afin de les avertir d'un risque potentiel d'atteinte à leurs informations privées.
Exé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.
AMORES: an Architecture for MObiquitous REsilient Systems
C.ARTIGUES, Y.DESWARTE, J.GUIOCHET, M.J.HUGUET, M.O.KILLIJIAN, D.POWELL, M.ROY, C.BIDAN, N.PRIGENT, E.ANCEAUME, S.GAMBS, G.GUETTE, M.HURFIN, F.SCHETTINI
TSF, MOGISA, SUPELEC, IRISA, MobiGIS, Grenade
Manifestation avec acte : European Dependable Computing Conference (EDCC) 2012 du 08 mai au 11 mai 2012, Sibiu (Roumanie), Mai 2012, 6p. , N° 12642
Diffusable
128592Experimenting 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.
Locanyms: towards privacy-preserving location-based services
S.GAMBS, M.O.KILLIJIAN, M.ROY, M.TRAORE
IRISA, TSF
Manifestation avec acte : Sibiu (Roumanie), 8 -11 Mai 2012, 6p. , N° 12255
Lien : http://hal.archives-ouvertes.fr/hal-00699742
Diffusable
Plus d'informations
Abstract
Recent advances in geolocated capacities, secure and veri- fied positioning techniques, ubiquitous connectivity, as well as mobile and embedded systems, have led to the develop- ment of a plethora of Location-Based Services (LBS), per- sonalizing the services they deliver according to the location of the user querying the service. However, the widespread use of mobile equipments, with ever increasing availability, precision, performance and connectivity have introduced the creepy feeling of being continuously monitored, in particular by the providers of the LBS. Thus, beyond the benefits they provide, users have started to be worried about the privacy breaches caused by such systems. The main objective of this paper is to discuss the privacy issues raised by LBS and the challenges of implementing privacy-preserving location- aware systems. Moreover, we also give a brief overview of positioning techniques used by LBS and we introduce the novel concept of locanym, which corresponds to a pseudonym linked to a particular location that could be used as a basis for developing privacy-preserving LBS.
Distributed 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
127070Elicitation of executable safety rules for critical autonomous systems
A.MEKKI-MOKHTAR, J.P.BLANQUART, J.GUIOCHET, D.POWELL, M.ROY
ASTRIUM, TSF
Manifestation avec acte : Embedded Real Time Software and Systems (ERTS2 2012), Toulouse (France), 1-3 Février 2012, 10p. , N° 11509
Diffusable
126572