References of "Fumey, Marc"
     in
Bookmark and Share    
Peer Reviewed
See detailIntegrating end-system frame scheduling for more accurate AFDX timing analysis
Boyer, Marc; Santinelli, Luca; Navet, Nicolas UL et al

Scientific Conference (2014, February 07)

Avionics systems distributed on AFDX networks are subject to stringent real-time constraints that require guaranteeing the Worst-Case Traversal Time (WCTT) on the network for each of the data flows. Over ... [more ▼]

Avionics systems distributed on AFDX networks are subject to stringent real-time constraints that require guaranteeing the Worst-Case Traversal Time (WCTT) on the network for each of the data flows. Over the last 10 years, since the initial use of Network Calculus in certification, important progresses have been made in AFDX timing verification. The maximum pessimism for the latencies is now known to range from 10 to 25% on realistic systems. Further progresses towards more accurate timing analysis can still be made by considering additional temporal information. In this paper, we show that integrating the knowledge of the scheduling of the frames that is done within an end-system in the timing analysis enables to dramatically reduce the WCTT bounds computed by Network Calculus. Indeed, in our experiments performed on a realistic configuration provided by Thales Avionics, this technique reduces the WCTT upper bound by 40% on average over all flows. The reason is that the scheduling of the frames shapes the outgoing traffic, reducing thus peaks of load on the outgoing traffic , which can be accounted for in the timing analysis. Importantly, because the scheduling of the frames within the end-systems is in the scope of the network supplier, unlike the scheduling of tasks done at the application level, the approach presented here does not imply major changes in the design process. [less ▲]

Detailed reference viewed: 99 (6 UL)
Full Text
Peer Reviewed
See detailCombining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support
Boyer, Marc; Navet, Nicolas UL; Fumey, Marc et al

in Proceedings of the 5th European Conference for Aeronautics and Space Sciences (EUCASS) (2013, July 01)

The Deficit Round Robin (DRR) policy can be used at the outgoing ports of communication switches to schedule distinct classes of frames, providing each class with a guaranteed share of the network ... [more ▼]

The Deficit Round Robin (DRR) policy can be used at the outgoing ports of communication switches to schedule distinct classes of frames, providing each class with a guaranteed share of the network bandwidth. The independence between traffic classes helps to improve the incremental design process, incremental certification and scheduling flows with mixed criticalities. DRR leads however to a less efficient use of hardware resources, this is why we also envisage the combined use of DRR and Static Priority (SP). We then provide a first quantitative assessment on a realistic case-study about the use of DRR, possibly combined with SP, in avionics networking and shed some light on its range of applicability. [less ▲]

Detailed reference viewed: 71 (3 UL)