Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays.

Jérôme Ermont Christian Fraboul

Published in: ETFA (2013)

Keyphrases

end to end
timed automata
worst case
model checking
wireless ad hoc networks
multipath
admission control
congestion control
upper bound
management system
real time
ad hoc networks
content delivery
high bandwidth
service delivery