ABSTRACT
This chapter introduces the design and implementation specifics of the HyperSurface (HSF)Gateway. The controller interconnection forms the HSF Controller Network (CN) that must be characterized by scalability and robustness. The use of these simulations focused mostly on developing alternative deadlock-free designs and scenarios, rather than extracting useful measurements. In the context of our analysis, we employed the model checker tool UPPAAL to exhaustively check the state space of particular HSF-CN designs. Formal evaluation as part of the design process complements the use of simulation testing software, since it can be easily deployed to exhaustively check all the possible execution interleaving. In this section we present work in progress regarding the employment of feedback in the design of a beam steering application using the HSF paradigm. The chapter assesses the performance of the proposed models through simulation experiments. The Class Diagram is of course closely related to the Database Diagram described in the preceding section.
