In the context of critical embedded systems, verification of temporal and functional constraints in the worst-case is an essential property, not only to ensure the proper functioning of the system in its environment, but also and especially to guarantee strict certification requirements, particularly for avionics and space.
The opportunity to make this worst-case performance analysis since the early design phases will allow designers to make important decisions concerning the system’s parameters tuning and dimensioning, to avoid wasting time and costs in detailed and erroneous implementation.
The tool WoPANets (Worst-case Performance Analysis of Embedded Networks) provides a first answer to this design challenge. The first applications show that WoPANets reduces development time and costs, while meeting the system requirements since the early design phases.
- System level-performance evaluation of embedded networks to prove certification requirements
- Optimization-based process for design space exploration
- Reduction of the design process time and costs
- High interoperability thanks to its compatibility with existing design approaches, such as UML and AADL
- High level models of the most common real-time networks, i.e., Ethernet, AFDX, and in the near future Spacewire, NoC and Wireless
- Easy to use by any designer without any specific knowledge of the used analytical formalism due to an ergonomic GUI
- High modularity and scalability to integrate new formalisms and models
- Ergonomic Graphical User Interface to facilitate the use of WoPANets by any network designer, without any particular knowledge of modeling formalisms ;
- Analytical methods based on Network Calculus for modeling and conducting worst-case performance analysis, which unlike the formal verification methods allows to overcome the scalability problems ;
- Technological libraries of the most relevant real-time networks, i.e., Ethernet, AFDX and in the near future Spacewire, NoC and Wireless ;
- Optimization approaches to find an "optimal" setup, which meets the system requirements since the preliminary design stages.