HyPTA Timing Tool Test Effectiveness for WCET Analysis Tools Avionics Europe 2013 Zoë Stephenson [email protected] 1 Confidence in software tools rests on…