Generating parallel applications from models based on Petri nets

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F12%3A86084410" target="_blank" >RIV/61989100:27240/12:86084410 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61989100:27740/12:86084410

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Generating parallel applications from models based on Petri nets

Popis výsledku v původním jazyce

Parallel and distributed systems play an important role in the development of information technologies and their application. These systems are very useful but their development and usage is inherently more difficult. A solution can be a tool focused onsystematic, well-arranged design, analysis and verifications these systems. This article briefly describes the tool Kaira intended for modelling, simulation and generation of parallel applications. A developer is able to model parallel programs and different aspects of communication using Kaira. Models are based on the variant of Coloured Petri nets. The important feature of our tool is automatic generation of standalone parallel applications from models. The final application can be generated with different parallel back-ends, currently it can be threads or MPI.

Název v anglickém jazyce

Generating parallel applications from models based on Petri nets

Popis výsledku anglicky

Parallel and distributed systems play an important role in the development of information technologies and their application. These systems are very useful but their development and usage is inherently more difficult. A solution can be a tool focused onsystematic, well-arranged design, analysis and verifications these systems. This article briefly describes the tool Kaira intended for modelling, simulation and generation of parallel applications. A developer is able to model parallel programs and different aspects of communication using Kaira. Models are based on the variant of Coloured Petri nets. The important feature of our tool is automatic generation of standalone parallel applications from models. The final application can be generated with different parallel back-ends, currently it can be threads or MPI.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

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)

Rok uplatnění

2012

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 periodika

Advances in Electrical and Electronic Engineering

ISSN

1336-1376

e-ISSN

—

Svazek periodika

10

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

SK - Slovenská republika

Počet stran výsledku

7

Strana od-do

28-34

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—