Informace o publikaci
MWC-DiVinE
Autoři | |
---|---|
Rok publikování | 2010 |
Druh | Software |
Fakulta / Pracoviště MU | |
www | http://anna.fi.muni.cz/AS/mwcdivine-1.0.tar.gz |
Popis | 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. |
Související projekty: |