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

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/LO1303" target="_blank" >LO1303: Podpora udržitelnosti a rozvoje Centra bezpečnostních, informačních a pokročilých technologií (CEBIA-Tech)</a><br>

Návaznosti

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

Rok uplatnění

2018

Kód důvěrnosti údajů

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

Název statě ve sborníku

MATEC Web of Conferences

ISBN

—

ISSN

2261-236X

e-ISSN

neuvedeno

Počet stran výsledku

6

Strana od-do

—

Název nakladatele

EDP Sciences

Místo vydání

Les Ulis

Místo konání akce

Majorca

Datum konání akce

14. 7. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—