Measurement-based analysis of software timing behavior provides important insight and evidence for flight certification of modern avionics systems. For multicore systems, however, this analysis is challenging due to interference effects from shared hardware resource usage. We present an approach to multicore timing analysis that uses interference generators to stress interference channels in multicore systems. The test methodology comprises two steps. First, platform characterization measures the sensitivity of the hardware and RTOS to targeted interference channels using a combination of interference generators. Second, software characterization measures the timing behavior of instrumented applications while interference is generated on shared resources.
翻译:对软件计时行为的计量分析为现代航空系统飞行认证提供了重要的洞察力和证据。然而,对于多核心系统来说,这一分析具有挑战性,因为共享硬件资源的使用产生了干扰效应。我们提出了一个多核心计时分析方法,利用干扰源对多核心系统中的压力干扰渠道进行压力干扰。测试方法包括两个步骤。首先,平台定性测量测量硬件和RTOS对使用干扰源组合的定向干扰渠道的敏感度。第二,软件定性测量测量仪器应用的时间安排行为,同时对共享资源进行干扰。