Project-Team : mosel
Section: Contracts and Grants with Industry
Keywords: digital video broadcast, quality of service, modelling, fault hierarchy.
RNRT Equast
Participants: Dominique Cansell, Jean-François Culat, Dominique Méry, Cyril Proch.The RNRT Equast project was initiated in november 2002 for a duration of 30 months. Within this project, we cooperate with the following partners: Thalès B&M, TDF and LIEN (Laboratoire d'Instrumentation d'Electronique de Nancy). Its objective is to develop a circuit to analyze the image quality of terrestrial digital TV as specified by a set of 30 parameters defined in the TR 101 290 standard of the ETSI (European Telecommunications Standard Institute). The contribution of MOSEL is to provide an incremental and proved model of the system.
We have modelled the entire set of parameters in an incremental way using the B refinement (seven refinement levels). This work allowed us
to exhibit a hierarchy among the parameters defined in the standard and thus to justify the parameters determining the quality of service that had been introduced by TDF (initiated during the European projects QUOVADIS and MOSQUITO),
to validate all parameters with respect to the requirements in discussions with our partners,
to derive from our model suggestions for global and reconfigurable architectures of the FPGA to be developed by our colleagues from the LIEN, and
to derive from our model SystemC code, making use of the ``sensitivity'' mechanism of SystemC modules.
Our results on the EQUAST project have been published at FDL 2004 [4] (all details can be found in the technical reports [15][12][13][14][16]), they have also been presented at the Nancy-Saarbrücken Workshop on Logic, Deduction and Applications (Saarbrücken, November 25-26, 2004).