RTaW-Pegase : analyzing Ethernet and AFDX networks
RTaW-Pegase is a tool to compute upper bounds on communication delays and buffer utilization in switched Ethernet networks. In particular, it is able to analyse and validate AFDX networks (Avionics Full-Duplex Switched Ethernet) which is used in most recent large civil airplanes.
Key Benefits
RTaW-Pegase helps the designer to achieve a tight and safe dimensioning of the hardware and software architecture, and provides formal proofs of the temporal behavior of the communication system. RTaW-Pegase can be used for design space exploration: optimizing network topologies (e.g., number and location of switches), data streams routing and allocation of the software functions on the stations.
- RTaW-Pegase is an efficient tool: it provides bounds close to the actual real worst-case, avoiding over-provisioning of resources. RTaW-Pegase has been developed in tight cooperation with academic researchers in the context of the Pegase project and it integrates the latest results in the Network Calculus theory.
- RTaW-Pegase is a safe tool: it relies on the strong mathematical background of Network Calculus, its algorithms are described in a formal manner and proved in peer-reviewed academic papers (no black-box), it shares unitary tests with some existing academics tools and it has been developed with the best practice of software engineering: code generation from UML models, continuous integration, unit test with 100% code coverage, code static analysis, etc.
- RTaW-Pegase is a practical tool: it has been designed from the requirements expressed by embedded network engineers working on aerospace systems
Screenshot of RTaW-Pegase showing the topology of a large AFDX network.
The results panel shows the computed Worst-Case Traversal Times, where red means that the time constraint cannot be guaranteed for a given virtual link.
RTaW-Pegase is able to automatically identify “unfavorable” trajectories of the system leading to degraded performances for each of the streams. Visualizing them with a Gantt diagram helps to pinpoint what can be improved.
Interested in a free evaluation version of RTaW-Pegase? Contact the product manager at jorn.migge@realtimeatwork.com .
News and upcoming events
- 2012/04: NETAIRBENCH – the benchmark generator for avionics systems will be open-sourced,
- 2012/02: comprehensive experimental study of RTaW-Pegase on hundreds of realistic AFDX configurations presented at ERTSS 2012. Download paper here,
- 2011/11: RTaW-Pegase received the best demo award at the Open Demo Session of Real-Time Techniques and Technologies of the 32nd IEEE Real-Time Systems Symposium,
- 2011/10: paper describing and proving the correctness of some algorithms implemented in RTaW-Pegase presented at at the 1st International Workshop on Worst-case Traversal Time (download paper),
- 2011/10: publication at SAE Aerotech 2011 presenting experiments of RTaW-Pegase on real AFDX configurations (download paper – see slides below).
