Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F14%3A86089964" target="_blank" >RIV/61989100:27240/14:86089964 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61989100:27740/14:86089964
Výsledek na webu
<a href="http://verif.cs.vsb.cz/kaira" target="_blank" >http://verif.cs.vsb.cz/kaira</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Kaira
Popis výsledku v původním jazyce
Kaira is a rapid prototyping environment that uses Message Passing Interface (MPI). It allows to automatically generate MPI programs from an abstract description and allow to verify their performance, scalability, and correctness. A unifying element in the approach is a visual programming language inspired by Colored Petri Nets. Web: http://verif.cs.vsb.cz/kaira
Název v anglickém jazyce
Kaira
Popis výsledku anglicky
Kaira is a rapid prototyping environment that uses Message Passing Interface (MPI). It allows to automatically generate MPI programs from an abstract description and allow to verify their performance, scalability, and correctness. A unifying element in the approach is a visual programming language inspired by Colored Petri Nets. Web: http://verif.cs.vsb.cz/kaira
Klasifikace
Druh
R - Software
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2014
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ů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
019/13-10-2014_SW
Technické parametry
Nástroj obsahuje uživatelské rozhraní, ve kterém je možné editovat vizuální program a vkládat sekvenční C++ kód. S takto vytvořeného programu je možné automaticky vygenerovat samostatnou MPI aplikaci. Dále je možné vyvíjený program spouštět v simulátoru,sbírat jeho výkonnostní data, provádět predikci výkonu a provádět state-space analýzu. Závislosti: Linux, MPI, C++ překladač, Python.
Ekonomické parametry
Neaplikovatelné
IČO vlastníka výsledku
61989100
Název vlastníka
Vysoká škola báňská - Technická univerzita Ostrava