30documents trouvés
ADCN+ : livrable pour le WP2 - tâche 2.1.2 : état de l'art sur la sûreté de fonctionnement
A.DE BONNEVAL, N.RIVIERE
TSF
Rapport de Contrat : Contrat AIRBUS LAAS-CNRS. Réf. CNRS n° 014199 - n° PBO D06020116, Décembre 2007, 48p. , N° 07701
Diffusable
112472Experimental 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
111259Mobile systems from a validation perspective: a case study
H.WAESELYNCK, Z.MICSKEI, M.D.NGUYEN, N.RIVIERE
TSF, Budapest
Manifestation avec acte : 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), Hagenberg (Autriche), 5-8 Juillet 2007, pp.85-92 , N° 07083
Diffusable
Plus d'informations
Abstract
Advances in wireless networking have yielded the development of mobile applications. However, sound technology to specify, design and validate such applications is still to be investigated. In order to exemplify some of the challenges that are raised, this paper reports on a case study: a group membership protocol for ad hoc networks. The protocol has been analyzed by reviewing the specification and the code, and then by testing the implementation. The outcomes provides us with hints for research direction.
Challenges in testing mobile computing applications
M. DNGUYEN, H.WAESELYNCK, N.RIVIERE
TSF
Rapport LAAS N°07295, Juin 2007, 10p.
Diffusable
110647Analysis of a group membership protocol for Ad-hoc networks
Z.MICSKEI, H.WAESELYNCK, M. DNGUYEN, N.RIVIERE
TSF
Rapport LAAS N°06797, Novembre 2006, 42p.
Diffusable
108581Use case scenarios and preliminary reference model. Deliverable n° D1.1
M.RADIMIRSCH, E.V.MATTHIESEN, GHUSZERL, M.REITENSPIESS, M.KAANICHE, I.E.SVINNSET, ACASIMIRO, LFALAI, MLOBBERS, M.O.KILLIJIAN, TINGVALDSEN, A.F.HANSEN, IDE BRUIN, H.WAESELYNCK, N.RIVIERE
Carmeq, AAU Danemark, BME Hungary, FSC, TSF, TELENOR, FCUL Portugal, UNIFI, WMC, AAU
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Septembre 2006, 89p. , N° 06235
Diffusable
109901Symbolic temporal constraint analysis, an approach for verifying hybrid systems
N.RIVIERE, H.DEMMOU, R.VALETTE, M.MEDJOUDJ
OLC, ISI, TSF
Manifestation avec acte : 16th IFAC World Congress, Prague (République Tchèque), 3-8 Juillet 2005, 6p. , N° 04447
Diffusable
103747Symbolic temporal constraint analysis, an approach for verifying critical systems
N.RIVIERE, R.VALETTE
OLC, TSF
Rapport LAAS N°05184, Avril 2005, 14p.
Diffusable
103533Qualitative formalisation of critical scenarios with respect to dynamic system models
P.BIEBER, C.CASTEL, L.CHOLVY, H.DEMMOU, C.KEHREN, M.MEDJOUDJ, N.RIVIERE, C.SEGUIN, R.VALETTE
ONERA, ISI, OLC, TSF
Manifestation avec acte : 6ème Congrès International Pluridisciplinaire "Qualité et Sûreté de Fonctionnement" (QUALITA 2005), Bordeaux (France), 16-18 Mars 2005, pp.583-590 , N° 04602
Diffusable
103477