TBU Publications
Repository of TBU Publications

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

DSpace Repository

Show simple item record


dc.title Modeling of distributed file System in big data storage by event-B en
dc.contributor.author Ali, Ammar Alhaj
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 OCLC, Ulrich, 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.source d-scopus
dc.date.accessioned 2019-01-03T12:31:45Z
dc.date.available 2019-01-03T12:31:45Z
utb.contributor.internalauthor Ali, Ammar Alhaj
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.scopus.affiliation Faculty of Applied Informatics, Tomas Bata University in Zlin, Czech Republic
Find Full text

Files in this item

Show simple item record