s'authentifier
version française rss feed

inria-00000565, version 1

Synthesis of the QoS for digital TV services

Denis Abraham, Dominique Cansell () 1, Patrick Ditsch, Dominique Méry () 1, Cyril Proch () 1

First International Workshop on Incentive Based Computing - IBC'05 (2005)

Résumé : QoS in the field of convergence (digital broadcast, radiocom and multimedia) is highly critical and a set of parameters and related measurements methods are standardized. Nevertheless, their interpretation and exploitation are considered sensitive in the sense that they require a high level of expertise. This is mainly due to existing relationships among the long list of parameters, which have not been yet clearly identified. Our work emphasizes relationships among standardized parameters aiming at synthesising QoS into 3 relevant parameters. These relationships were established by two different approaches based on: - A statistical exploitation of a database representing the behaviour of digital TV networks, measurement equipment and supervision systems when facing difficult but realistic work conditions; - A formal modelling of parameters using the B event-based method and resulting of an incremental proof-based development based on the refinement technique and integrating a mechanical support for carrying proofs.

  • 1 :  MOSEL (INRIA Lorraine - LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • Domaine : Informatique/Logique en informatique
 
  • inria-00000565, version 1
  • oai:hal.inria.fr:inria-00000565
  • Contributeur : 
  • Soumis le : Jeudi 3 Novembre 2005, 09:46:49
  • Dernière modification le : Jeudi 29 Juin 2006, 15:36:42
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...