Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1297397,
author = {Jensen, Peter G. and Larsen, Kim G. and Srba, Jiří and Soerensen, Mathias and Taankvist, Jakob},
address = {Nizozemsko},
booktitle = {Proceedings of the 6th NASA Formal Methods Symposium (NFM'14)},
doi = {http://dx.doi.org/10.1007/978-3-319-06200-6_26},
keywords = {discrete time semantics; timed systems; verification; timed-arc Petri nets},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Nizozemsko},
isbn = {978-3-319-06199-3},
pages = {307-312},
publisher = {Springer-Verlag},
title = {Memory Efficient Data Structures for Explicit Verification of Timed Systems},
url = {http://link.springer.com/chapter/10.1007/978-3-319-06200-6_26},
year = {2014}
}
TY - JOUR
ID - 1297397
AU - Jensen, Peter G. - Larsen, Kim G. - Srba, Jiří - Soerensen, Mathias - Taankvist, Jakob
PY - 2014
TI - Memory Efficient Data Structures for Explicit Verification of Timed Systems
PB - Springer-Verlag
CY - Nizozemsko
SN - 9783319061993
KW - discrete time semantics
KW - timed systems
KW - verification
KW - timed-arc Petri nets
UR - http://link.springer.com/chapter/10.1007/978-3-319-06200-6_26
L2 - http://link.springer.com/chapter/10.1007/978-3-319-06200-6_26
N2 - 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.
ER -
JENSEN, Peter G., Kim G. LARSEN, Jiří SRBA, Mathias SOERENSEN a Jakob TAANKVIST. Memory Efficient Data Structures for Explicit Verification of Timed Systems. In \textit{Proceedings of the 6th NASA Formal Methods Symposium (NFM'14)}. Nizozemsko: Springer-Verlag, 2014, s.~307-312. ISBN~978-3-319-06199-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-06200-6\_{}26.
|
