Formal worst-case timing analysis of Ethernet TSN's time-aware and peristaltic shapers.

Daniel Thiele Rolf Ernst Jonas Diemer

Published in: VNC (2015)

Keyphrases

worst case
lower bound
average case
high speed
greedy algorithm
approximation algorithms
np hard
upper bound
tcp ip
error bounds
knowledge base
data acquisition
multi class
special case
formal specification
computational complexity
formal methods
formal models
running times
search engine