TBU Publications
Repository of TBU Publications

An insight into DVB-T system using formal modelling in Event-B

DSpace Repository

Show simple item record


dc.title An insight into DVB-T system using formal modelling in Event-B en
dc.contributor.author Krayem, Said
dc.contributor.author Pátíková, Zuzana
dc.relation.ispartof AIP Conference Proceedings
dc.identifier.issn 0094-243X Scopus Sources, Sherpa/RoMEO, JCR
dc.identifier.isbn 9780735415386
dc.date.issued 2017
utb.relation.volume 1863
dc.event.title International Conference of Numerical Analysis and Applied Mathematics 2016, ICNAAM 2016
dc.event.location Rhodes
utb.event.state-en Greece
utb.event.state-cs Řecko
dc.event.sdate 2016-09-19
dc.event.edate 2016-09-25
dc.type conferenceObject
dc.language.iso en
dc.publisher American Institute of Physics (AIP)
dc.identifier.doi 10.1063/1.4992256
dc.relation.uri http://aip.scitation.org/doi/abs/10.1063/1.4992256
dc.description.abstract Digital Video Broadcast - Terrestrial (DVB-T) can be seen as a complex system with many concrete features and aspects. This paper presents a simplified model and the first insight into this system from point of view of formal modelling methods. Using Event-B a start-up model concerning relations between signals, multiplexes and channels is introduced. As a background the standards for DVB-T in the Czech Republic are taken. © 2017 Author(s). en
utb.faculty Faculty of Applied Informatics
dc.identifier.uri http://hdl.handle.net/10563/1007296
utb.identifier.obdid 43876855
utb.identifier.scopus 2-s2.0-85026670828
utb.identifier.wok 000410159800106
utb.source d-scopus
dc.date.accessioned 2017-09-03T21:40:09Z
dc.date.available 2017-09-03T21:40:09Z
utb.contributor.internalauthor Krayem, Said
utb.contributor.internalauthor Pátíková, Zuzana
utb.fulltext.affiliation Said Krayem 1, b) and Zuzana Pátíková 1, a) 1 Faculty of Applied Informatics, Tomas Bata University in Zlín, Nad Stráněmi 4511, Zlín 76005, Czech Republic. a) Corresponding author: patikova@fai.utb.cz b) drsaid@seznam.cz
utb.fulltext.dates -
utb.fulltext.references 1. J.-R. Abrial, Modeling in Event-B: System and Software Engineering (Cambridge University Press, New York, 2010). 2. J.-R. Abrial, M.Butler, S. Hallerstede, L. Voisin, An open extensible tool environment for Event-B (Formal Methods and Software Engineering, 588-605, 2006). 3. ETSI, Digital Video Broadcasting (DVB); Specification for the use of Video and Audio Coding in Broadcasting Applications based on the MPEG-2 Transport Stream (European Telecommunications Standards Institute 2009). 4. M. Jastram, Rodin User’s Handbook (http://handbook.event-b.org/, 2012) 5. K. Robinson, System Modelling & Design Using Event-B (http://wiki.event-b.org/images/SM%26D-KAR.pdf, 2012).
utb.fulltext.sponsorship -
utb.scopus.affiliation Faculty of Applied Informatics, Tomas Bata University in Zlín, Nad Stráněmi 4511, Zlín, Czech Republic
Find Full text

Files in this item

Show simple item record