RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL

Andrea Vandin*

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review

Abstract

"Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL" [1] proposes a three-valued spatiotemporal logic to enrich the analysis framework for Signal Spatiotemporal Logic previously developed by the authors. This allows one to reason on the evolution of the satisfaction of properties expressed in a spatiotemporal logic, providing additional insight on the behavior of the studied system. The approach has been validated on two case studies: the fire spread and evacuation models originally presented in [2], and a novel case study on privacy in a communication network. This replicated computation result report focuses on the artifact accompanying the article, consisting in a prototypical tool implementation of the techniques presented in the article, together with all files necessary to replicate the analysis performed thereof. The artifact is available at https://ludovicalv.github.io/TOMACS/. After a few iterations with the authors, I found that the artifact agrees with the guidelines on availability (Artifact Avaliable) and replicability (Results Replicated) dictated in https://www.acm.org/publications/policies/artifact-review-badging. The software was made available in an accessible archival repository, and thanks to the instructions provided in the accompanying webapge, it has been straightforward to replicate the experimental results from the article.

Original languageEnglish
Article number21
JournalACM Transactions on Modeling and Computer Simulation
Volume29
Issue number4
ISSN1049-3301
DOIs
Publication statusPublished - 1 Nov 2019

Keywords

  • Multivalued logics
  • RCR replicated computation result report
  • Spatio-temporal logics

Cite this

@article{6d4dabb5c41d4f69a0058f3352fa2efc,
title = "RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL",
abstract = "{"}Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL{"} [1] proposes a three-valued spatiotemporal logic to enrich the analysis framework for Signal Spatiotemporal Logic previously developed by the authors. This allows one to reason on the evolution of the satisfaction of properties expressed in a spatiotemporal logic, providing additional insight on the behavior of the studied system. The approach has been validated on two case studies: the fire spread and evacuation models originally presented in [2], and a novel case study on privacy in a communication network. This replicated computation result report focuses on the artifact accompanying the article, consisting in a prototypical tool implementation of the techniques presented in the article, together with all files necessary to replicate the analysis performed thereof. The artifact is available at https://ludovicalv.github.io/TOMACS/. After a few iterations with the authors, I found that the artifact agrees with the guidelines on availability (Artifact Avaliable) and replicability (Results Replicated) dictated in https://www.acm.org/publications/policies/artifact-review-badging. The software was made available in an accessible archival repository, and thanks to the instructions provided in the accompanying webapge, it has been straightforward to replicate the experimental results from the article.",
keywords = "Multivalued logics, RCR replicated computation result report, Spatio-temporal logics",
author = "Andrea Vandin",
year = "2019",
month = "11",
day = "1",
doi = "10.1145/3341093",
language = "English",
volume = "29",
journal = "A C M Transactions on Modeling and Computer Simulation",
issn = "1049-3301",
publisher = "Association for Computing Machinery",
number = "4",

}

RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL. / Vandin, Andrea.

In: ACM Transactions on Modeling and Computer Simulation, Vol. 29, No. 4, 21, 01.11.2019.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL

AU - Vandin, Andrea

PY - 2019/11/1

Y1 - 2019/11/1

N2 - "Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL" [1] proposes a three-valued spatiotemporal logic to enrich the analysis framework for Signal Spatiotemporal Logic previously developed by the authors. This allows one to reason on the evolution of the satisfaction of properties expressed in a spatiotemporal logic, providing additional insight on the behavior of the studied system. The approach has been validated on two case studies: the fire spread and evacuation models originally presented in [2], and a novel case study on privacy in a communication network. This replicated computation result report focuses on the artifact accompanying the article, consisting in a prototypical tool implementation of the techniques presented in the article, together with all files necessary to replicate the analysis performed thereof. The artifact is available at https://ludovicalv.github.io/TOMACS/. After a few iterations with the authors, I found that the artifact agrees with the guidelines on availability (Artifact Avaliable) and replicability (Results Replicated) dictated in https://www.acm.org/publications/policies/artifact-review-badging. The software was made available in an accessible archival repository, and thanks to the instructions provided in the accompanying webapge, it has been straightforward to replicate the experimental results from the article.

AB - "Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL" [1] proposes a three-valued spatiotemporal logic to enrich the analysis framework for Signal Spatiotemporal Logic previously developed by the authors. This allows one to reason on the evolution of the satisfaction of properties expressed in a spatiotemporal logic, providing additional insight on the behavior of the studied system. The approach has been validated on two case studies: the fire spread and evacuation models originally presented in [2], and a novel case study on privacy in a communication network. This replicated computation result report focuses on the artifact accompanying the article, consisting in a prototypical tool implementation of the techniques presented in the article, together with all files necessary to replicate the analysis performed thereof. The artifact is available at https://ludovicalv.github.io/TOMACS/. After a few iterations with the authors, I found that the artifact agrees with the guidelines on availability (Artifact Avaliable) and replicability (Results Replicated) dictated in https://www.acm.org/publications/policies/artifact-review-badging. The software was made available in an accessible archival repository, and thanks to the instructions provided in the accompanying webapge, it has been straightforward to replicate the experimental results from the article.

KW - Multivalued logics

KW - RCR replicated computation result report

KW - Spatio-temporal logics

U2 - 10.1145/3341093

DO - 10.1145/3341093

M3 - Journal article

VL - 29

JO - A C M Transactions on Modeling and Computer Simulation

JF - A C M Transactions on Modeling and Computer Simulation

SN - 1049-3301

IS - 4

M1 - 21

ER -