Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN
Patrick Keller, Nicolas Navet · 2022
Assessing traversal times is the main concern in the verification of embedded real-time networks. Schedulability analysis, as it provides firm guarantees, is the preferred technique for the designers of critical systems. There are however contexts where it is not economically or technically feasible to develop one, typically when the software and hardware components have not been designed with predictability in mind, e.g. as soon as TCP-based traffic is involved in network communication or when the hardware platform is too complex (e.g. heterogeneous System-on-Chips).