The challenge of Qos for digital television services

EBU Technical Review

Volumn , Issue 302, 2005, Pages

  Abraham, Denis ^a   Ditsch, Patrick ^a   Méry, Dominique ^a   Cansell, Dominique ^a   Proch, Cyril ^a  

^a TDF ^*

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL TELEVISION BROADCASTING; DIGITAL TELEVISION SERVICES; DVB-S; MANAGEMENT OF SERVICE QUALITYIN TELEVISION OPERATIONS (MOSQUITO);

QUALITY OF SERVICE; SATELLITE COMMUNICATION SYSTEMS; SOCIETIES AND INSTITUTIONS; TELECOMMUNICATION SERVICES; TELEVISION BROADCASTING;

DIGITAL TELEVISION;

EID: 84888923352     PISSN: 16091469     EISSN: 16091469     Source Type: Trade Journal    
DOI: None     Document Type: Review

References (13)

1. QUOVADIS: A "reference" decoder for digital TV services RTD in Advanced Communications Technologies and Services (ACTS), Project number AC056.
2. MOSQUITO: Management and improvement of QoS in Digital TV RTD in Advanced Communications Technologies and Services (ACTS), Project number AC334.
3. TR 101 290: Digital Video Broadcasting (DVB); Measurement guidelines for DVB systems ETSI Technical Report, May 2001
4. J.-R. Abrial: The B-Book - Assigning Programs to Meanings Cambridge University Press, 1996.
5. J.-R. Abrial and D. Cansell: Click'n'prove: Interactive proofs within set theory 16th Intl. Conf. Theorem Proving in Higher Order Logics (TPHOLs - 2003) Volume 2758 of Lecture Notes in Computer Science, David Basin and Burkhart Wol_ (editors), pages 1 -24. Springer Verlag, September 2003.
6. ClearSy B4free: , 2004.
7. J.-R. Abrial: B#: Toward a synthesis between z and b 3rd International Conference of B and Z Users - ZB 2003, Turku, Finland Lecture Notes in Computer Science, D. Bert and M. Walden (editors), Springer Verlag, June 2003.
8. J.-R. Abrial and L. Mussat: Introducing dynamic constraints in B In Volume 1393 of Lecture Notes in Computer Science, D. Bert (editor), Recent Advances in the Development and Use of the B Method, Springer Verlag, 1998.
9. J.-R. Abrial: Formal construction of proved circuits Internal technical report, August 2001.
10. D. Cansell and D. Méry: Integration of the proof process in the system development through refinement steps In 5th Forum on Specification & Design Language - Workshop SFP in FDL'02, Eugenio Villar (editor), Marseille, France, Sep 2002.
11. D. Cansell, C. Tanougast, Y. Berviller, D. Méry, C. Proch, H. Rabah and S. Weber: Proof-based design of a microelectronic architecture for mpeg-2 bit-rate measurement In Forum on specification and Design Languages - FDL'03, Frankfurt, Germany, Sep 2003.
12. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki and B. Tabbara: Hardware-Software Co-Design of Embedded Systems Kluwer Academic Publishers, 2000.
13. ITU-RBT.500: Methodology for the subjective assessment of the quality of television pictures ITU, June 2002