An improved timed automata model for computing exact worst-case delays of AFDX periodic flows.

Muhammad Adnan, Jrme Scharbarg, Jean-Luc Ermont, Christian Fraboul

Browse the full ETFA paper archive.