论文信息 - PEGASE - A Robust and Efficient Tool for Worst-Case Network Traversal Time Evaluation on AFDX - 字舞流文

PEGASE - A Robust and Efficient Tool for Worst-Case Network Traversal Time Evaluation on AFDX

[1] Geert Jan Olsder,et al. Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[2] Wilton R. Abbott,et al. Network Calculus , 1970 .

[3] Eric Thierry,et al. An Algorithmic Toolbox for Network Calculus , 2008, Discret. Event Dyn. Syst..

[4] Cheng-Shang Chang,et al. Performance guarantees in communication networks , 2000, Eur. Trans. Telecommun..

[5] M. Boyer,et al. Tightening end to end delay upper bound for AFDX network calculus with rate latency FIFO servers using network calculus , 2008, 2008 IEEE International Workshop on Factory Communication Systems.

[6] Rene L. Cruz,et al. A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[7] Laurent George,et al. The Trajectory Approach for the End-to-End Response Times with Non-preemptive FP/EDF , 2004, SERA.

[8] Rene L. Cruz,et al. A calculus for network delay, Part II: Network analysis , 1991, IEEE Trans. Inf. Theory.

[9] J.-B. Grieu,et al. Analyse et évaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques , 2004 .

[10] Marc Boyer. NC-Maude: A Rewriting Tool to Play with Network Calculus , 2010, ISoLA.

[11] Marc Boyer. Half-modeling of shaping in FIFO net with network calculus , 2010 .