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: Research
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.
Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints
A paper presenting a new approach to system analysis using model-based constraints to automatically identify unwanted behaviors in real-time and multicore systems.
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.
Traçage de systèmes Linux multi-coeurs en temps réel
Ma thèse de maîtrise sur le traçage des systèmes Linux multi-coeurs en temps réel, évaluant l'impact du traçage sur les latences et proposant des améliorations.
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.