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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/inria-00000565
Contributor : Cyril Proch <>
Submitted on : Thursday, November 3, 2005 - 9:46:49 AM
Last modification on : Thursday, January 11, 2018 - 6:19:52 AM

Identifiers

  • 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. ⟨inria-00000565⟩

Share

Metrics

Record views

325