7documents trouvés
Modelling and quantitative analysis of the split phase multi-channel MAC approach
A.EL FATNI
SARA
Manifestation avec acte : ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems MSWIM 2012 15 du 21 octobre au 25 octobre 2012, Paphos (Chypre), 2012, pp.285-294 , N° 12620
Diffusable
128526Split phase multi-channel MAC protocols - Formal specification and analysis
A.EL FATNI, G.JUANOLE
SARA
Manifestation avec acte : IEEE International Symposium on Modeling Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'2012), Washington (USA), 7-9 Août 2012, pp.485-488 , N° 12461
Diffusable
127931Split phase multi-channel MAC approach. Modelling and qualitative analysis
A.EL FATNI, G.JUANOLE, T.VAL
OLC, IRIT-UPS
Rapport LAAS N°11309, Juin 2011, 10p.
Diffusable
124745Modélisation et analyse des protocoles MAC multi-canaux basés sur l'approche du "canal d"dédié"
A.EL FATNI, G.JUANOLE, T.VAL
OLC, IRIT-UPS
Manifestation avec acte : Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2011), Sainte Maxime (France), 10-13 Mai 2011, 6p. , N° 11118
Lien : http://hal.inria.fr/inria-00587122/fr/
Diffusable
Plus d'informations
Résumé
L'utilisation dans le cadre des réseaux sans fil de multiples canaux orthogonaux au niveau des protocoles MAC offre une grande potentialité pour améliorer, par rapport à la communication mono-canal, le débit des transmissions. Toutefois, le contexte multi-canal nécessite une fonction supplémentaire au niveau MAC qui porte sur l'allocation et la coordination des canaux. Plusieurs variantes d'allocation de canaux ont été définies et proposées dans la littérature. Cependant, il existe peu d'études basées sur des techniques formelles afin de vérifier les propriétés fondamentales des mécanismes d'allocation. Le but de cet article est précisément de proposer une modélisation formelle et la vérification des protocoles MAC multi-canaux basés sur l'approche du canal dédié à l'aide du modèle RdPTS (Réseaux de Petri Temporisés Stochastiques). Nous vérifions la propriété de réservation en termes d'utilisation en exclusion mutuelle des canaux de données.
Formal modelling and verification of the common hopping multi-channel MAC protocols
A.EL FATNI, G.JUANOLE, T.VAL
OLC, LATTIS, Toulouse
Manifestation avec acte : International Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems (MSWIM 2010), Bodrum (Turquie), 17 21 Octobre 2010, pp.311-318 , N° 10511
Diffusable
122917Classification de protocoles MAC multi-canaux dans les réseaux locaux sans fil maillés
A.EL FATNI, T.VAL, G.JUANOLE
LATTIS, Toulouse, OLC
Manifestation avec acte : Journées Doctorales en Informatique er réseaux (JDIR'09), Belfort (France), 2-4 Février 2009, 7p. , N° 09053
Diffusable
Plus d'informations
Mots-Clés / Keywords
Réseaux sans fil maillés; MAC multi-canaux; Qualité de Service (QdS);
A web services based resource signaling scheme in multimedia satellite systems
M.GINESTE, B.JACQUEMIN , P.BERTHOU, A.EL FATNI, T.GAYRAUD, C.BAUDOIN
OLC, Thalès Alenia Space, LATTIS, Toulouse
Manifestation avec acte : 4th Advanced Satellite Mobile Systems Conference (ASMS 2008), Bologne (Italie), 25-28 Août 2008, 7p. , N° 08465
Lien : http://hal.archives-ouvertes.fr/hal-00356832/fr/
Diffusable
Plus d'informations
Abstract
This paper introduces a Web Services based approach that extends resource reservation mechanism for interactive multimedia applications over multimedia satellite systems. It proposes a flexible and extensible scheme for the discovery of services in the network and the configuration of the satellite terminal when resources are requested. It finally presents experimental results of the proposed scheme over a realistic DVB-S2/RCS emulation platform.
Mots-Clés / Keywords
Web services; Resource reservation; SIP;