DC Field | Value | Language |
---|---|---|
dc.contributor.author | Arias, Jaime | - |
dc.contributor.author | Bae, Kyungmin | - |
dc.contributor.author | Olarte, Carlos | - |
dc.contributor.author | Ölveczky, Peter Csaba | - |
dc.contributor.author | Petrucci, Laure | - |
dc.contributor.author | Rømming, Fredrik | - |
dc.date.accessioned | 2023-02-27T04:40:26Z | - |
dc.date.available | 2023-02-27T04:40:26Z | - |
dc.date.created | 2023-02-27 | - |
dc.date.issued | 2022-12-07 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/115761 | - |
dc.description.abstract | This paper presents a rewriting logic semantics for parametric timed automata (PTAs) and shows that symbolic reachability analysis using Maude-with-SMT is sound and complete for the PTA reachability problem. We then refine standard Maude-with-SMT reachability analysis so that the analysis terminates when the symbolic state space of the PTA is finite. We show how we can synthesize parameters with our methods, and compare their performance with Imitator, a state-of-the-art tool for PTAs. The practical contributions are two-fold: providing new analysis methods for PTAs - -e.g. allowing more general state properties in queries and supporting reachability analysis combined with user-defined execution strategies - -not supported by Imitator, and developing symbolic analysis methods for real-time rewrite theories. | - |
dc.language | English | - |
dc.publisher | Association for Computing Machinery, Inc | - |
dc.relation.isPartOf | 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on | - |
dc.relation.isPartOf | FTSCS 2022 - Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, co-located with SPLASH 2022 | - |
dc.title | Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.identifier.bibliographicCitation | 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on, pp.3 - 15 | - |
dc.citation.conferenceDate | 2022-12-07 | - |
dc.citation.conferencePlace | NZ | - |
dc.citation.endPage | 15 | - |
dc.citation.startPage | 3 | - |
dc.citation.title | 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on | - |
dc.contributor.affiliatedAuthor | Bae, Kyungmin | - |
dc.description.journalClass | 1 | - |
dc.description.journalClass | 1 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
library@postech.ac.kr Tel: 054-279-2548
Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.