期刊
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
卷 17, 期 2, 页码 -出版社
ASSOC COMPUTING MACHINERY
DOI: 10.1145/3147660
关键词
Timed regular expressions; timed automata; specification mining; real-time systems
Temporal properties define the order of occurrence and timing constraints on event occurrence. Such specifications are important for safety-critical real-time systems. We propose a framework for automatically mining temporal properties that are in the form of timed regular expressions (TREs) from system traces. Using an abstract structure of the property, the framework constructs a finite state machine to serve as an acceptor. We analytically derive speedup for the fragment and confirm the speedup using empirical validation with synthetic traces. The framework is evaluated on industrial-strength safety-critical real-time applications using traces with more than 1 million entries.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据