Tracing and Sampling for Real-Time partially simulated Avionics SystemsAnalysis of Real-Time Avionics Systems from Tracing and Sampling dataTrace abstraction and correlation techniques for real-time avionic systemsVisualization of Avionic System Traces