Execution trace‐based model verification to analyze multicore and real‐time systems
A research paper presenting methods for model verification based on execution traces to effectively analyze complex multicore and real-time systems.
Tagged: Tracing
Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing
A research paper introducing methods to automatically generate constraint models for real-time applications by analyzing execution traces and recurring event patterns.
R-SHT: a State History Tree with R-Tree Properties for Analysis and Visualization of Highly Parallel System Traces
An improved state history tree data structure combining R-Tree properties for faster access and efficient visualization of complex parallel system traces.
Runtime verification of real-time applications using trace data and model requirements
My PhD thesis on monitoring and analyzing multicore systems through tracing and automated verification techniques to detect anomalies in real-time applications.
Enhanced State History Tree (eSHT): A Stateful Data Structure for Analysis of Highly Parallel System Traces
An improved data structure (eSHT) for efficiently storing and querying state history from highly parallel system traces, reducing disk usage and query time.
Linux Low-Latency Tracing for Multicore Hard Real-Time Systems
Research on improving Linux tracing tools for hard real-time systems, focusing on minimizing latency impact and optimizing multicore performance.
Tracing and Sampling for Real-Time Systems
A presentation on techniques for tracing and sampling real-time Linux systems while minimizing performance impact, focusing on the LTTng tracer.
High Performance Tracing Tools for Multicore Linux Hard Real-Time Systems
Research on high-performance tracing tools for multicore Linux hard real-time systems, ensuring minimal impact on system latency and performance.