Diplomová práce

TCP vrstva pro verifikační nástroj DIVINE

TCP Layer for Divine Model Checker

Bc. Jiří Weiser, učo 374154
Anotace

V práci je prezentována motivace pro distribuované výpočty a jejich vztah ke knihovně MPI. Dále je v práci navržen a popsán nový přístup k řízení distribuovaného výpočtu, který lze použít v lokálních sítích. V závěru práce je nové řešení experimentálně porovnáno s knihovnou MPI. Porovnání je zaměřeno převážně na paralelní přístup ke komunikačnímu rozhraní.

Abstract

This thesis presents the motivation for distributed computation and its relation to MPI library. Furthermore, new library for distributed computation in local networks is designed and described in the thesis. The new approach and MPI are experimentally compared in the conclusion of the thesis. The comparison is mainly focused to a parallel access to the communication interface.

Klíčová slova
Distribuované výpočty MPI Síť TCP Formální verifikace Paralelizmus DIVINE
Zadání práce
Cílem diplomové práce je modifikovat verifikační nástroj DIVINE tak, aby byl schopen realizovat distribuovanou verifikaci nad síťovým protokolem TCP/IP, a porovnat výkonostně tuto novou implementaci se stávající implementací nástroje, která staví na knihovně a protokolu MPI.
Administrativní informace
Práce zkontrolována:
13. 1. 2016 08:03, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
3,3 MB / soubor PDF
Přílohy (1)
Jazyk práce
čeština čeština
Termín obhajoby
16. 2. 2016
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Oponent

RNDr. Petr Ročkai, Ph.D., učo 139761
KTP FI MU

Literatura

  • GRUMBERG, Orna; Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708.
  • A professional's guide to data communication in a TCP/IP world. Edited by E. Bryan Carne. Boston: Artech House, 2004, xv, 253 p. ISBN 1580539092.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.