CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems (2011)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/11:00065910 |
|---|---|
| Název v anglickém jazyce | CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2011 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 3 |
| Počet domácích tvůrců | 3 |
| Výčet všech uvedených jednotlivých tvůrců | Nikola Beneš (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2050587) Ivana Černá (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2361132) Milan Křivánek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8420971) |
| Popis výsledku v anglickém jazyce | CoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs from the input language of DiVinE, our tool employs a new state space generation algorithm that also supports partial order reduction. Experiments indicate that the tool has good scaling properties when runin parallel setting. |
| Klíčová slova oddělená středníkem | component-based systems; model checking; parallelization |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.4204/EPTCS.72 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation |
|---|---|
| ISBN | - |
| ISSN | 2075-2180 |
| Počet stran výsledku | 5 |
| Strana od-do | 63-67 |
| Název nakladatele | Open Publishing Association |
| Místo vydání | Neuveden |
| Místo konání akce | Snowbird, Utah, USA |
| Datum konání akce | 2011 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2014 |
| Specifikace | RIV/00216224:14330/11:00065910!RIV14-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2014 |
| Kontrolní číslo | 56536681 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2014 | RIV/00216224:14330/11:00065910 v dodávce dat RIV14-GA0-14330___/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný GA ČR v programu GA | GA201/09/1389 - Verifikace a analýza velmi velkých počítačových systémů (2009 - 2011) |
|---|---|
| Projekt podporovaný GA ČR v programu GA | GAP202/11/0312 - Vývoj a verifikace softwarových komponent v zapouzdřených systémech (2011 - 2013) |
| Projekt podporovaný GA ČR v programu GD | GD102/09/H042 - Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (2009 - 2012) |
| Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |
| Podpora / návaznosti | Specifický výzkum na vysokých školách, poskytovatel MŠMT |