Publikace UTB
Repozitář publikační činnosti UTB

Modeling of distributed file System in big data storage by event-B

Repozitář DSpace/Manakin

Zobrazit minimální záznam


dc.title Modeling of distributed file System in big data storage by event-B en
dc.contributor.author Alhaj Ali, Ammar Nassan
dc.contributor.author Vařacha, Pavel
dc.contributor.author Krayem, Said
dc.contributor.author Jašek, Roman
dc.contributor.author Žáček, Petr
dc.contributor.author Chramcov, Bronislav
dc.relation.ispartof MATEC Web of Conferences
dc.identifier.issn 2261-236X Scopus Sources, Sherpa/RoMEO, JCR
dc.date.issued 2018
utb.relation.volume 210
dc.event.title 22nd International Conference on Circuits, Systems, Communications and Computers, CSCC 2018
dc.event.location Majorca
utb.event.state-en Spain
utb.event.state-cs Španělsko
dc.event.sdate 2018-07-14
dc.event.edate 2018-07-17
dc.type conferenceObject
dc.language.iso en
dc.publisher EDP Sciences
dc.identifier.doi 10.1051/matecconf/201821004042
dc.relation.uri https://www.matec-conferences.org/articles/matecconf/abs/2018/69/matecconf_cscc2018_04042/matecconf_cscc2018_04042.html
dc.description.abstract Nowadays, a wide set of systems and application, especially in high performance computing, depends on distributed environments to process and analyses huge amounts of data. As we know, the amount of data increases enormously, and the goal to provide and develop efficient, scalable and reliable storage solutions has become one of the major issue for scientific computing. The storage solution used by big data systems is Distributed File Systems (DFSs), where DFS is used to build a hierarchical and unified view of multiple file servers and shares on the network. In this paper we will offer Hadoop Distributed File System (HDFS) as DFS in big data systems and we will present an Event-B as formal method that can be used in modeling, where Event-B is a mature formal method which has been widely used in a number of industry projects in a number of domains, such as automotive, transportation, space, business information, medical device and so on, And will propose using the Rodin as modeling tool for Event-B, which integrates modeling and proving as well as the Rodin platform is open source, so it supports a large number of plug-in tools. © 2018 The Authors, published by EDP Sciences. en
utb.faculty Faculty of Applied Informatics
dc.identifier.uri http://hdl.handle.net/10563/1008330
utb.identifier.obdid 43879056
utb.identifier.scopus 2-s2.0-85055520984
utb.identifier.wok 000567668400119
utb.source d-scopus
dc.date.accessioned 2019-01-03T12:31:45Z
dc.date.available 2019-01-03T12:31:45Z
dc.description.sponsorship Ministry of Education, Youth and Sports of the Czech Republic within the National Sustainability Programme [L01303 (MSMT-7778/2014)]; Fluropean Regional Development Fund under the project CEBIA-Tech [CZ.1.05/2.1.00/03.0089]; IGA (Internal Grant Agency) of Tomas Bata University in Zlin [IGA/CebiaTech/2017/007]
dc.rights Attribution 4.0 International
dc.rights.uri https://creativecommons.org/licenses/by/4.0/
dc.rights.access openAccess
utb.contributor.internalauthor Alhaj Ali, Ammar Nassan
utb.contributor.internalauthor Vařacha, Pavel
utb.contributor.internalauthor Krayem, Said
utb.contributor.internalauthor Jašek, Roman
utb.contributor.internalauthor Žáček, Petr
utb.contributor.internalauthor Chramcov, Bronislav
utb.fulltext.affiliation Ammar Alhaj Ali 1, Pavel Varacha 1*, Said Krayem 1, Roman Jasek 1, Petr Zacek 1, Bronislav Chramcov 1 1 Faculty of Applied Informatics, Tomas Bata University in Zlin, Czech Republic * Corresponding author: varacha@utb.cz
utb.fulltext.dates -
utb.wos.affiliation [Ali, Ammar Alhaj; Varacha, Pavel; Krayem, Said; Jasek, Roman; Zacek, Petr; Chramcov, Bronislav] Tomas Bata Univ Zlin, Fac Appl Informat, Zlin, Czech Republic
utb.scopus.affiliation Faculty of Applied Informatics, Tomas Bata University in Zlin, Czech Republic
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
Find Full text

Soubory tohoto záznamu

Zobrazit minimální záznam

Attribution 4.0 International Kromě případů, kde je uvedeno jinak, licence tohoto záznamu je Attribution 4.0 International