Mining Timed Regular Specifications from System Traces

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.