Towards Verification of Ensemble-Based Component Systems (2014)výskyt výsledku
| Identifikační kód | RIV/00216208:11320/14:10144124 |
|---|---|
| Název v anglickém jazyce | Towards Verification of Ensemble-Based Component Systems |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2014 |
| 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 | 6 |
| Počet domácích tvůrců | 3 |
| Výčet všech uvedených jednotlivých tvůrců | Jiří Barnát (státní příslušnost: CZ - Česká republika) Nikola Beneš (státní příslušnost: CZ - Česká republika) Tomáš Bureš (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3059944) Ivana Černá (státní příslušnost: CZ - Česká republika) Jaroslav Keznikl (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9053867) František Plášil (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2455609) |
| Popis výsledku v anglickém jazyce | The relatively new domain of Ensemble-Based Component Systems (EBCS) brings a number of important veri?cation challenges that stem mainly from the dynamism of EBCS. In this paper, we elaborate on our previous work on EBCS veri?cation. In particular, we focus on veri?cation of applications based on the DEECo component model - a representative of EBCS - and evaluate it on a real-life case study. Since our veri?cation technique employs a specialized DEECo semantics to make the veri?cation problem tractable, our goal is to investigate the practical relevance of the properties that can be addressed by the veri?cation. Speci?cally, we compare the specialized semantics with the realistic general semantics of DEECo to identify veri?cation properties that are preserved by the specialized semantics. We further investigate the tractability of veri?cation of these properties on a real-life case study from the domain of electrical vehicle navigation - one of the key case studies of the EU FP7 proje |
| Klíčová slova oddělená středníkem | formal veri?cation; component ensembles; component-based systems |
| Stránka www, na které se nachází výsledek | http://link.springer.com/chapter/10.1007%2F978-3-319-07602-7_5 |
| DOI výsledku | 10.1007/978-3-319-07602-7_5 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Proceedings of the 10th International Symposium on Formal Aspects of Component Software |
|---|---|
| ISBN | 978-3-319-07601-0 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 18 |
| Strana od-do | 41-60 |
| Název nakladatele | Springer |
| Místo vydání | Berlin |
| Místo konání akce | Nanchang, China |
| Datum konání akce | 28.10.2013 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | 000342900000005 |
Ostatní informace o výsledku
| Předkladatel | Univerzita Karlova v Praze / Matematicko-fyzikální fakulta |
|---|---|
| Dodavatel | GA0 - Grantová agentura České republiky (GA ČR) |
| Rok sběru | 2015 |
| Specifikace | RIV/00216208:11320/14:10144124!RIV15-GA0-11320___ |
| Datum poslední aktualizace výsledku | 11.05.2015 |
| Kontrolní číslo | 152194487 |
Informace o dalších výskytech výsledku dodaného ostatními předkladateli
| Dodáno GA ČR v roce 2015 | RIV/00216224:14330/14:00073436 v dodávce dat RIV15-GA0-14330___/01:1 předkladatelem Masarykova univerzita / Fakulta informatiky |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| 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) |
|---|