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

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F18%3A63520610" target="_blank" >RIV/70883521:28140/18:63520610 - isvavai.cz</a>
Result on the web
<a href="https://www.matec-conferences.org/articles/matecconf/pdf/2018/69/matecconf_cscc2018_04042.pdf" target="_blank" >https://www.matec-conferences.org/articles/matecconf/pdf/2018/69/matecconf_cscc2018_04042.pdf</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1051/matecconf/201821004042" target="_blank" >10.1051/matecconf/201821004042</a>

Result language
angličtina
Original language name
Modeling of distributed file System in big data storage by event-B
Original language description
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.
Czech name
—
Czech description
—

Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project
<a href="/en/project/LO1303" target="_blank" >LO1303: Promoting sustainability and development of the Centre for Security, Information and Advanced Technologies (CEBIA-Tech)</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)