Memory Efficient Data Structures for Explicit Verification of Timed Systems (2014)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/14:00080032 |
|---|---|
| Název v anglickém jazyce | Memory Efficient Data Structures for Explicit Verification of Timed 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 | 1 |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Peter G. Jensen (státní příslušnost: DK - Dánské království) Kim G. Larsen (státní příslušnost: DK - Dánské království) Jiří Srba (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2753057) Mathias Soerensen (státní příslušnost: DK - Dánské království) Jakob Taankvist (státní příslušnost: DK - Dánské království) |
| Popis výsledku v anglickém jazyce | Timed analysis of real-time systems can be performed usingcontinuous (symbolic) or discrete (explicit) techniques. The explicit state-space exploration can be considerably fasterfor models with moderately small constants, however,at the expense of high memory consumption. In the setting of timed-arc Petri nets, we explore new data structures for loweringthe used memory: PTries for efficient storing of configurationsand time darts for semi-symbolic description of the state-space. Both methods are implemented as a part of the tool TAPAAL and the experiments document at least one order of magnitude of memory savings while preserving comparable verification times. |
| Klíčová slova oddělená středníkem | discrete time semantics; timed systems; verification; timed-arc Petri nets |
| Stránka www, na které se nachází výsledek | http://link.springer.com/chapter/10.1007/978-3-319-06200-6_26 |
| DOI výsledku | 10.1007/978-3-319-06200-6_26 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Proceedings of the 6th NASA Formal Methods Symposium (NFM'14) |
|---|---|
| ISBN | 9783319061993 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 6 |
| Strana od-do | 307-312 |
| Název nakladatele | Springer-Verlag |
| Místo vydání | Nizozemsko |
| Místo konání akce | Houston, USA |
| Datum konání akce | 2014 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | 000342810300026 |
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 | 2015 |
| Specifikace | RIV/00216224:14330/14:00080032!RIV15-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2015 |
| Kontrolní číslo | 152395592 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace |
|---|