RaPTEX uses the approach shown above figure to allow straightforward protocol stack design, synthesis, and analysis. A user selects and configures a network stack from predefined protocols or directly composes source-level components in the graphical toolbox. From the users design choices, formulae for theoretical analysis and source code with files are composed. The source code is then compiled to assembly code to be injected in the emulation. The evaluation results derived from theoretical analysis and the emulation are used to refine the system design until it satisfies the performance requirements.