Synthesis of the QoS for digital TV services

Denis Abraham Dominique Cansell 1 Patrick Ditsch Dominique Méry 1 Cyril Proch 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
First International Workshop on Incentive Based Computing - IBC'05, Sep 2005, Amsterdam/Hollande, 2005
Liste complète des métadonnées

https://hal.inria.fr/inria-00000565
Contributeur : Cyril Proch <>
Soumis le : jeudi 3 novembre 2005 - 09:46:49
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

  • HAL Id : inria-00000565, version 1

Collections

Citation

Denis Abraham, Dominique Cansell, Patrick Ditsch, Dominique Méry, Cyril Proch. Synthesis of the QoS for digital TV services. First International Workshop on Incentive Based Computing - IBC'05, Sep 2005, Amsterdam/Hollande, 2005. 〈inria-00000565〉

Partager

Métriques

Consultations de la notice

317