50documents trouvés
ARUM: a cooperative middleware and an experimentation platform for mobile systems
M.O.KILLIJIAN, M.ROY, G.SEVERAC
2I, TSF
Manifestation avec acte : IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2010), Niagara Falls (Canada), 11-13 Octobre 2010, 9p. , N° 10866
Diffusable
123825Beyond San Francisco Cabs: building a *-lity mining dataset for social traces analysis
M.O.KILLIJIAN, M.ROY, G.TREDAN
TSF, Universität Berlin
Manifestation avec acte : Workshop on the Analysis of Mobile Phone Networks (NetMob). Satellite of NetSci 2010, Cambridge (USA), 11 Mai 2010, 6p. , N° 10141
Diffusable
123821Fault injection and monitoring for dependability analysis of wireless sensor-actuators networks
F.SAILHAN, T.DELOT, A.PATHAK, A.PUECH, M.ROY
Cedric/CNAM, Univ. Valenciennes, INRIA Rocquencourt, SmartGrains, TSF
Rapport LAAS N°10007, Mars 2010, 10p.
Diffusable
120973A platform for Eexperimenting with mobile algorithms in a laboratory
M.O.KILLIJIAN, M.ROY
TSF
Manifestation avec acte : Proceedings of ACM Principles Of Distributed Computing (PODC), Calgary (Canada), 10-13 Août 2009 , N° 09325
Lien : http://hal.archives-ouvertes.fr/hal-00394002/fr/
Diffusable
Plus d'informations
Abstract
In this work, we present a platform for testing algorithms on mobile systems. We advocate that the interest of the plat- form lies in many aspects: it shows that simulators are not accurate, especially with regards to wireless communication and delays assumptions. Such a platform can be used to re ne simulators assumptions. Moreover, to the best of our knowledge, our platform is the rst attempt to implement mobility patterns, that permit to test multiple distributed algorithms in the same movement con guration, allowing for reproducible experiments. Last, but not least, we want to open our platform to test other distributed and mobile algorithms, with the hope that it will open new problems and pose new challenges.
Data backup for mobile nodes: a cooperative middleware and experimentation platform
M.O.KILLIJIAN, M.ROY, G.SEVERAC, C.ZANON
TSF, 2I
Manifestation avec acte : Workshop on Architecting Dependable Systems (DSN 2009 WADS), Lisbonne (Portugal), 29 Juin 2009, 6p. , N° 09186
Lien : http://hal.archives-ouvertes.fr/hal-00385203/fr/
Diffusable
Plus d'informations
Abstract
In this paper, we present a middleware for dependable mobile systems and an experimentation platform for its evaluation. The middleware proposed is based on three original building blocks: a Proximity Map, a Trust and Cooperation Oracle, and a Cooperative Data Backup service. A Distributed Black-box is used as an illustrative application and evaluated on top of the proposed mobile platform.
Application of early error detection for handling degraded modes of operation
T.ROBERT, M.ROY, J.C.FABRE
TSF
Manifestation avec acte : 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse (France), 14-15 Mai 2009, 2p. , N° 09171
Lien : http://hal.archives-ouvertes.fr/hal-00381913/fr/
Diffusable
Plus d'informations
Abstract
Real-time software application are in charge to maintain a timely, and predictable interaction with their environment, being hardware devices, or other software entities. This short paper is intended to illustrate the use of early error detectors generated from timed automata based specifica-tions in a recovery block-like design pattern. To simplify the framework, the paper will focus on an ex-ample. The design pattern is defined with a special detec-tion service integrated. We plan to slightly enhance the semantics of a hierarchical version of timed automata to describe the behavior of such fault tolerant design patterns.
Mots-Clés / Keywords
Hierarchical time automata; Monitoring; Fault tolerance; Design pattern;
Geo-registers: resilient geographic storage for collaborative mobile systems
M.ROY, F.BONNET, S.BONOMI, M.O.KILLIJIAN, D.POWELL, L.QUERZONI
TSF, IRISA, Rome
Rapport LAAS N°09190, Avril 2009, 10p.
Diffusable
117293Final evaluation, consolidated results and guidelines. Deliverable D1-3
B.KONNING, M.REITENSPIESS, I.DE BRUIN, S.H.DE GROOT, T.LIPPMAN, I.E.SVINNSET, Z.EGEL, G.HUZERL, M.KAANICHE, M.O.KILLIJIAN, N.RIVIERE, M.ROY, H.WAESELYNCK, A.BONDAVALLI, A.DAIDONE, F.DI GIANDOMENICO, L.FALAI, P.LOLLINI, H.P.SCHWEFEL, E.V.MATTHIESEN, A.NICKELSEN, J.J.NIELSEN, A.CASIMIRO
EXT, FSC, WMC, AAU, TELENOR, BME Hungary, TSF, CNR-ISTI, UNIFI, FCUL Portugal, Carmeq, AAU Danemark
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, HIDENETS, Project IST-FP6-STREP-26979, Janvier 2009, 120p. , N° 09493
Diffusable
118694On-line monitoring of real time applications for early error detection
T.ROBERT, J.C.FABRE, M.ROY
TSF
Manifestation avec acte : The 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'08), Taipei (Taiwan), 15-17 Décembre 2008, pp.24-31 , N° 08371
Diffusable
Plus d'informations
Abstract
Error confinement technologies have proven their efficiency to improve software dependability. Such mechanisms usually require efficient error detectors to signal swiftly any misbehaviour. Real-time systems, due to their timing constraints, imply a richer description of correct and/or erroneous states that includes timing aspects. This paper presents real-time error detectors that can be automatically generated from formal models of the expected behaviours of software applications. The considered specifications provide the means to define quantitative temporal constraints on the execution of the application. These detectors check at run-time that the current execution matches its specification. The paper contribution is twofold: firstly, at the theoretical level, we provide a formal definition of the expected behaviour of such detectors, ensuring a predictable behaviour of the detector system. Secondly, at a practical level, we provide a description of the complete generation process, from the models to the code of the detector.
Mots-Clés / Keywords
Error detection; Real-time application; Formal methods; Run-time monitor; Timed automata;
Geo-registers: an abstraction for spatial-based distributed computing
M.ROY, F.BONNET, L.QUERZONI, S.BONOMI, M.O.KILLIJIAN, D.POWELL
IRISA, TSF, Rome
Manifestation avec acte : 12th International Conference On Principles Of DIstributed Systems (OPODIS 2008), Luxor (Egypte), 15-18 Décembre 2008, 11p. , N° 08487
Diffusable
116344