Publikace UTB
Repozitář publikační činnosti UTB
An insight into DVB-T system using formal modelling in Event-B
Repozitář DSpace/Manakin
Kontaktujte nás | Jazyk: čeština English
- Domovská stránka DSpace
- →
- Článek ve sborníku
- →
- Fakulta aplikované informatiky
- →
- Zobrazit záznam
JavaScript is disabled for your browser. Some features of this site may not work without it.
| 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 | 978-0-7354-1538-6 | |
| 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: [email protected] b) [email protected] | |
| 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 | |
| utb.fulltext.projects | - |
