|Title||Mining Timed Regular Specifications from System Traces|
|Publication Type||Journal Article|
|Year of Publication||2018|
|Authors||Narayan, A., G. Cutulenco, Y. Joshi, and S. Fischmeister|
|Journal||ACM Transactions on Embedded Computing Systems|
Temporal properties define the order of occurrence and timing constraints on event occurrence. Such specifi- cations 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 syn- thetic traces. The framework is evaluated on industrial-strength safety-critical real-time applications using traces with more than 1 million entries.