50documents trouvés
FADA: Formalisms and Algorithms for resilient services Design in Ambient systems
M.ROY, M.O.KILLIJIAN, L.QUERZONI, F.BONNET, S.TUCCI PIERGIOVANNI, S.BONOMI
Rome, TSF, IRISA
Manifestation avec acte : 2nd International Conference on Distributed Event-Based Systems (DEBS 2008), Rome (Italie), 1-4 Juillet 2008, 2p. , N° 08440
Diffusable
114902Experimental evaluation of ubiquitous systems. Why and how to reduce WiFi communication range
M.O.KILLIJIAN, D.POWELL, M.ROY, G.SEVERAC
TSF, 2I
Manifestation avec acte : 2nd International Conference on Distributed Event-Based Systems (DEBS 2008), Rome (Italie), 1-4 Juillet 2008, 2p. , N° 08439
Diffusable
114900FADA: formalisms and algorithms for resilient services design in ambient systems
M.ROY, M.O.KILLIJIAN, S.TUCCI PIERGIOVANNI, L.QUERZONI, S.BONOMI, S.SCIPIONI, F.BONNET
TSF, Rome, IRISA
Manifestation avec acte : 7th European Dependable Computing Conference (EDCC 2008), Kaunas (Lithuanie), 7-9 Mai 2008, 2p. , N° 08441
Diffusable
114913Towards an assessment-based adaptable software architecture for dependability
J.C.FABRE, M.O.KILLIJIAN, T.PAREAUD, P.PPOPOV, T.ROBERT, M.ROY
City University, TSF
Rapport LAAS N°08102, Mars 2008, 26p.
Diffusable
113235Resilient architecture (final version). Deliverable n° D2.1.2
A.CASIMIRO, A.BONDAVALLI, M.CALHA, M.CLEMETSEN, A.DAIDONE, M.DIXIT, Z.EGEL, L.FALAI, F.DI GIANDOMENICO, A.F.HANSEN, G.HUSZERL, A.KOVI, M.O.KILLIJIAN, T.LIPPMAN, Y.LIU, E.V.MATTHIESEN, H.MONIZ, A.NICKELSEN, J.J.NIELSEN, T.RENIER, M.ROY, J.RUFINO, H.P.SCHWEFEL, I.E.SVINNSET
FCUL Portugal, UNIFI, TELENOR, AAU, BME Hungary, TSF, AAU Danemark, Lisboa
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Mars 2008, 116p. , N° 08068
Diffusable
113191Evaluation of a real-time monitoring framework
T.ROBERT, M.ROY, J.C.FABRE
TSF
Manifestation avec acte : 4th International Congress ERTS 2008 Embedded Real Time Software , Toulouse (France), 30 Janvier - 1er février 2008, 9p. , N° 08100
Diffusable
Plus d'informations
Abstract
Many algorithms exist to generate real-time run-time monitors. This paper focuses on the assessment of an implementation of a real-time monitor designed to handle timed automata specification as input. The monitoring algorithm has been analysed to propose a simple and yet realistic assessment method. The feature measured is the CPU-time overhead introduced by the monitor, per event. Our methodology proceeds by first providing an analytical formula to point out the main sources of overhead. According to this formula, we derive the main parameters of a specification that influence the induced overhead. Then, "real-life" specifications are analyzed to get a realistic range for these quantitative parameters. They are used to generate equivalent applications to measure the overhead. Finally, the hypothesis introduced by the analytical formula on the actual overhead is discussed, with respect to the empirical results.
Mots-Clés / Keywords
Run-time monitor; Evaluation; Parameter estimation; Real-time systems;
Experimental evaluation of resilience for ubiquitous mobile systems
M.O.KILLIJIAN, N.RIVIERE, M.ROY
TSF
Manifestation avec acte : Workshop on Ubiquitous Systems Evaluation (USE), UbiComp 2007, Innsbruck (Autriche), 16-19 Septembre 2007, pp.283-287 , N° 07556
Diffusable
Plus d'informations
Abstract
In this position paper, we address the needs and motivations for practical evaluation of ubiquitous mobile systems.We are particularly interested in the validation of resilience mechanisms for such systems. We advocate the use of real experiments that complement simulation for the evaluation of actual prototypes. Indeed, experimental validation is particularly appealing when resilience properties such as safety or availability are an issue. We then propose and discuss some technological trails for the implementation of such an evaluation platform and its validation.
Mots-Clés / Keywords
Experimental evaluation; Validation; Mobile systems; Ubiquitous computing; Resilience;
Revised reference model. Deliverable n° D1.2
J.ARLAT, M.KAANICHE, A.BONDAVALLI, M.CALHA, A.CASIMIRO, A.DAIDONE, L.FALAI, G.HUSZERL, M.O.KILLIJIAN, A.KOVI, Y.LIU, P.LOLLINI, E.V.MATTHIESEN, M.RADIMIRSCH, T.RENIER, N.RIVIERE, M.ROY, H.P.SCHWEFEL, I.E.SVINNSET, H.WAESELYNCK
TSF, UNIFI, FCUL Portugal, BME Hungary, AAU, AAU Danemark, Carmeq, TELENOR
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Août 2007, 86p. , N° 07456
Diffusable
111259Real-time run-time verifiers: theory and practice
T.ROBERT, M.ROY, J.C.FABRE
TSF
Rapport LAAS N°07276, Juin 2007, 10p.
Diffusable
Plus d'informations
Abstract
This paper proposes a formal approach to improve the reliability of real-time centralized software systems that enables automated generation of real-time runtime monitors from timed models. A main contribution of our approach is a formal definition of the expected behavior of a perfect verifier of the model, which is a pre-requisite to assess the quality of any practical solution. Our solution consists of three steps: 1) definition of failure descriptors with respect to an execution model, 2) translation of these failure descriptors in the theory of timed automata, and 3) generation of a verifier minimizing detection latency for such models. Following this approach, an implementation of the generator has been developed.
Specification HIDENETS laboratory set-up scenario and components. deliverable n° D6.1
I.DE BRUIN, A.CASIMIRO, L.FALAI, P.FREJEK, S.H.DE GROOT, G.HUSZERL, M.KAANICHE, M.O.KILLIJIAN, T.LIPPMAN, E.V.MATTHIESEN, M.ROY, H.P.SCHWEFEL, I.E.SVINNSET
WMC, FCUL Portugal, UNIFI, FSC, BME Hungary, TSF, AAU, AAU Danemark, TELENOR
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Mars 2007, 39p. , N° 07187
Diffusable
109907