Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata
Contributor : Cyril Proch Connect in order to contact the contributor
Submitted on : Thursday, November 3, 2005 - 9:46:49 AM
Last modification on : Friday, February 4, 2022 - 3:32:53 AM


  • HAL Id : inria-00000565, version 1



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⟩



Record views