Execution trace‐based model verification to analyze multicore and real‐time systems
Research on model verification from execution traces to analyze multicore and real-time systems, detect timing issues, and reduce debugging work.
Tagged: Multicore
Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints
Research on detecting scheduling, priority, and timing problems in real-time and multicore systems using trace analysis and model constraints.
Linux Low-Latency Tracing for Multicore Hard Real-Time Systems
Research on low-latency Linux tracing for multicore hard real-time systems, focusing on LTTng overhead, RCU, and performance analysis.
High Performance Tracing Tools for Multicore Linux Hard Real-Time Systems
Research on LTTng-based tracing tools for multicore hard real-time Linux systems with low overhead and predictable latency impact.