Mining Timed Regular Specifications from System Traces

TitleMining Timed Regular Specifications from System Traces
Publication TypeJournal Article
Year of Publication2018
AuthorsNarayan, A., G. Cutulenco, Y. Joshi, and S. Fischmeister
JournalACM 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.

Refereed DesignationRefereed
Related files: 


Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.