R 2010

MWC-DiVinE

BARNAT, Jiří; Luboš BRIM; Petr BAUCH a Milan ČEŠKA

Základní údaje

Originální název

MWC-DiVinE

Název česky

MWC-DiVinE

Autoři

BARNAT, Jiří; Luboš BRIM; Petr BAUCH a Milan ČEŠKA

Vydání

2010

Další údaje

Jazyk

angličtina

Typ výsledku

Software

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/10:00047902

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

performance analysis; compositinal modelling; minimal cycle mean

Technické parametry

Nástroj pro analýzu výkonu distribuovaných aplikací
Změněno: 29. 4. 2011 11:40, prof. RNDr. Jiří Barnat, Ph.D.

Anotace

ORIG CZ

V originále

MWC-DiVinE is a compositional modelling and performance analysis tools build on the explicit state model checking tool DiVinE. MWC-DiVinE extends the DVE language with the possibility to specify computational resource consumption of actions of the system and allows for performance analysis employing optimal cycle mean algorithms.

Česky

MWC-DiVinE je nástroj pro kompoziční modelování a analýzu výkonu postavený na nástroji DiVinE pro explicitní model checking. MWC-DiVinE rozšiřuje jazyk DVE o možnost specifikovat spotřebu výpočetních zdrojů akcí systému a umožňuje analýzu výkonu s použitím algoritmů pro hledání optimální délky hrany v cyklech.

Návaznosti

GA201/09/1389, projekt VaV
Název: Verifikace a analýza velmi velkých počítačových systémů
Investor: Grantová agentura ČR, Verifikace a analýza velmi velkých počítačových systémů
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy