4.1. Wireless Graph Simulator and Experimental Setup
The experiments use a time-varying directed wireless graph generated under Random-Waypoint mobility. At each round, the simulator produces node features and edge features .
The node features are
and the edge features are
computed from a log-distance path-loss model with shadowing. Ground-truth positions satisfy
. The scaled training target is
, and localization error is reported in meters after rescaling.
The wireless graph is generated as a time-varying directed graph
over a rectangular area of size
. Each node
has a position
, where
and
. Node mobility follows a Random-Waypoint model. Each node selects a destination
uniformly inside the area and a speed
. During each time step
, the node position is updated as
where
is a small constant used to avoid division by zero. When a node reaches its destination, or when a pause/replanning event occurs, a new destination and speed are sampled.
Graph connectivity is determined using a distance-based communication rule. For two nodes
i and
j, the Euclidean distance is
A directed edge
is created if
where
is the communication radius. Therefore, the graph topology changes over time as nodes move.
For each edge
, the log-distance path-loss model with shadowing is used:
where
is the reference path loss at distance
,
n is the path-loss exponent, and
models log-normal shadowing. The received signal strength is then computed as
and the signal-to-noise ratio is
where
is the transmit power of node
i and
is the noise floor. The expected transmission count is approximated from the signal-to-noise ratio using
where
Finally, the received-signal-strength residue is computed as the difference between the measured received power and the expected received power without shadowing. Thus, each edge feature vector is defined as
This formulation provides a complete mathematical description of node mobility, graph connectivity, and edge-feature construction used in the simulator.
Node features are z-scored per round. The graph is partitioned across
K clients using a Dirichlet split with concentration parameter
, creating non-IID client subgraphs. The Dirichlet concentration parameter
controls the degree of non-independent client partitioning. Smaller values of
create more skewed client subsets, while larger values produce more balanced partitions. In this study,
was used as a moderate non-independent setting to evaluate the proposed framework under heterogeneous client data. However, we acknowledge that the model performance may change under stronger or weaker non-independent conditions. Future work will extend the sensitivity analysis to multiple values, such as
,
, and
, to quantify the robustness of the shared-backbone and freeze-to-heads strategy under different client heterogeneity levels. The experimental hyperparameters are
clients,
local steps,
rounds, Adam optimizer, learning rates
for backbones and
for heads, and hidden size 64.
Table 1 summarizes the main wireless graph simulation parameters used in this study. These parameters define the physical simulation area, node density, mobility behavior, propagation model, graph connectivity rule, client partitioning, and federated training configuration. The current evaluation is based on a controlled wireless graph simulator. This simulator-based setup is useful because it allows repeatable control over node mobility, graph topology, non-independent client partitions, node and edge features, and communication accounting across federated rounds. However, we acknowledge that simulator-only validation does not fully capture all practical effects of real wireless deployments, such as hardware impairments, multipath propagation, measurement noise, antenna placement, environmental blockage, and protocol-level behavior. Therefore, the reported results should be interpreted as proof-of-concept validation of the proposed communication-aware federated learning framework rather than final deployment-level performance.
The wireless graph is generated over a area with 60 wireless nodes. Node mobility follows a Random-Waypoint model with a speed range of 0.5–2.0 m/s. Wireless links are formed using a distance-based communication radius of 35 m. The propagation model uses a log-distance path-loss model with path-loss exponent 2.4 and shadowing standard deviation of 2.0 dB. Each node feature vector contains received signal strength statistics, neighbor count, mobility information, and transmit-power information, while each edge feature vector contains distance, signal-to-noise ratio, expected transmission count, and received-signal-strength residue. The federated setup uses five clients with non-IID client partitioning based on a Dirichlet distribution with concentration parameter . Training is performed for 40 global rounds with five local steps per round. The shared-backbone models use a freeze round of 10, after which only the task-specific heads are updated and communicated. The misuser detection task is formulated as binary node classification. The class distribution is controlled by the misuser-labeling rule described in the experimental setup, and the resulting positive and negative samples are used to compute precision, recall, F1-score, ROC-AUC, and PR-AUC. In terms of computational complexity, the MLP baseline processes nodes independently, so its cost scales mainly with the number of nodes and the hidden-layer dimensions. In contrast, the graph-based models include neighborhood aggregation, so their complexity depends on both the number of nodes and the number of edges in the local graph. Therefore, denser graphs increase local computation, while federated communication depends mainly on the number of transmitted model parameters rather than the number of local graph nodes. For reproducibility, all reported experiments specify the random seeds, the number of clients, the number of rounds, the local training steps, the learning rates, and the communication accounting assumptions.
4.3. Hardware-Oriented GNN-Lite Approximation
We developed a lightweight hardware prototype of the shared edge-aware inference path in Verilog and implemented it on an Artix-7 FPGA, as shown in
Figure 2. The full software GNN uses two NNConv layers with a hidden size of 64. It is important to note that the RTL prototype is not intended to be a bit-equivalent implementation of the two-layer NNConv software GNN used in the federated learning experiments. The software model uses dynamic edge-conditioned convolution, where edge attributes contribute to the generation of convolutional operations. Directly mapping this full NNConv structure to RTL would require substantially more arithmetic resources, memory access, and control logic. Therefore, the hardware prototype is designed as a hardware-oriented GNN-Lite approximation of the shared edge-aware inference path. Specifically, the dynamic NNConv kernel generation is replaced with a scalar edge-weighting function, followed by sequential multi-neighbor accumulation. This design preserves the key graph-inspired operation, namely edge-aware aggregation over neighboring nodes, while enabling a compact, low-power field-programmable gate array implementation.
The implemented hardware computes
where
is the current node feature vector,
is a neighbor feature vector, and the scalar edge weight is
This formulation preserves the edge-aware nature of the original model while reducing arithmetic and control complexity relative to dynamic NNConv kernel generation.
The architecture uses three main design choices: (i) multi-neighbor accumulation to better reflect graph-style aggregation; (ii) FSM-based sequential computation to reduce resource usage; and (iii) ROM-based storage of self, neighbor, edge, and head coefficients. The hidden activation is forwarded to two heads: a localization head that outputs and a misuser detection head that outputs a logit followed by threshold-based classification.
4.4. Misuser Detection Performance
Figure 3 compares MLP-based misuser detection under shared and separate training. The single-task misuser model (
MLP-Mis_only) is unstable and collapses to
after approximately 10 rounds, whereas the multi-task shared MLP maintains
–
across the training window. This indicates that the shared backbone provides a regularizing effect under non-IID data and class imbalance.
Figure 4 shows the GNN-based misuser results. Both
GNN-Shared and
GNN-Mis_only stabilize near
–
. After round
, the shared model switches to heads-only updates yet maintains competitive classification accuracy, indicating that freezing the backbone reduces communication without sacrificing misuser-detection quality. To provide a more complete evaluation of misuser detection beyond F1-score,
Table 2 reports precision, recall, ROC-AUC, and PR-AUC for the evaluated detection modes. Precision measures the reliability of positive misuser predictions, while recall measures the ability to identify actual misusers. ROC-AUC and PR-AUC provide threshold-independent measures of classification performance, and PR-AUC is especially useful under class imbalance. The added GraphSAGE-FedAvg baseline achieves the strongest misuser detection performance. However, the proposed GNN-Shared model remains important because it jointly supports localization and misuser detection within one shared federated framework, while also enabling communication reduction through the freeze-to-heads strategy and a lightweight hardware-oriented inference path. The FedProx-based MLP baselines do not improve over the original MLP-Mis_only baseline, while NNConv-FedProx achieves competitive precision but lower recall. Therefore, the additional baselines do not change the main conclusion of this work that the proposed shared federated GNN framework provides the best overall trade-off across localization, misuser detection, communication efficiency, and hardware-oriented deployment, even though some task-specific graph baselines may perform better on an individual task.
4.8. Multi-Seed Robustness Analysis
To evaluate the robustness of the reported results, the main experiments were repeated across five random seeds: 7, 11, 21, 42, and 100. These seeds affect model initialization, node mobility realization, graph construction, stochastic training behavior, and non-IID client partitioning.
Table 6 reports the mean and standard deviation of localization MAE, best misuser F1-score, and total communication cost over the five independent runs. The multi-seed results show that the main trends remain consistent across independent runs. The MLP-based models provide relatively stable localization performance, but their misuser detection performance remains low, with average best F1-scores of
and
for MLP-Shared and MLP-FedProx-0.01, respectively. This confirms that node-wise MLP models have limited ability to capture graph-dependent behavior for the misuser detection task. In contrast, the graph-based models provide stronger detection performance across the evaluated seeds. GraphSAGE-FedAvg achieves the best average robustness among the tested baselines, with the lowest localization MAE of
and the highest F1-score of
. GAT-FedAvg also provides strong localization performance, with a localization MAE of
, and achieves the lowest communication cost of
MB. However, its misuser detection score has a larger standard deviation, indicating higher sensitivity to random initialization, graph realization, or client partitioning. NNConv-FedAvg achieves strong average misuser detection performance, but its localization MAE has a high standard deviation, showing that this backbone is more sensitive to the training and graph-generation conditions. Overall, the multi-seed analysis demonstrates that graph-based federated learning is more robust than MLP-based learning for the joint wireless localization and misuser detection setting. The results also show that different graph backbones provide different trade-offs among localization accuracy, detection performance, communication cost, and stability. Therefore, the proposed federated graph-learning framework is flexible and can support different GNN backbones depending on the target deployment requirement.
4.9. Hardware Implementation Results
The FPGA implementation settings are summarized as follows. The hardware prototype was written in Verilog RTL and implemented using Vivado 2022.2. The target device was an Artix-7 FPGA. The design uses 16-bit signed fixed-point arithmetic with 8 fractional bits, supports four-neighbor sequential accumulation, and stores the self, neighbor, edge, and head coefficients using ROM-style constant storage. The accelerator is controlled by a finite-state machine and uses a 12.5 ns clock constraint, corresponding to 80 MHz operation. Post-implementation reports were used to obtain resource utilization, timing, and power estimates. The final multi-neighbor FSM-based architecture with ROM-stored coefficients achieved timing closure at an 80 MHz clock constraint.
Table 7 shows that the implementation has a compact hardware footprint: 213 LUTs, 111 FFs, 18 DSPs, no BRAMs, and 13 I/O ports. The measured timing summary reports a worst negative slack (WNS) of 0.532 ns. The estimated total on-chip power is 0.106 W, with only 0.001 W dynamic power and 0.104 W static power. The latency is 100 ns per node, with a throughput of 10 million node inferences per second. The proposed hardware accelerator achieves an estimated total energy consumption of 10.6 nJ per inference. These results indicate that the simplified edge-aware inference path can be realized with very low active power and modest resource usage. The current hardware prototype validates the feasibility of mapping the simplified GNN-Lite inference path to FPGA hardware. The validation includes implementation resource utilization, timing closure, power estimation, latency, throughput, and energy per inference. The reported total, dynamic, and static power values should be interpreted as post-implementation tool estimates rather than measured hardware power.
As shown in
Table 8, most existing FPGA GNN accelerators target high-throughput inference for large graph workloads and are implemented on more capable FPGA platforms or CPU–FPGA platforms.
In contrast, the proposed RTL GNN-Lite accelerator is intentionally compact and targets low-power wireless edge inference. The design uses only 213 LUTs, 111 FFs, 18 DSPs, and no BRAM on Artix-7, while achieving 100 ns latency at an 80 MHz clock constraint. Although the proposed accelerator is not designed for large-scale graph analytics, its small footprint and low total on-chip power make it suitable for embedded wireless nodes where area and energy budgets are limited. This comparison highlights the main hardware advantage of the proposed architecture: lightweight deployment rather than maximum cloud-scale throughput. This design has three main advantages. First, it performs true multi-neighbor aggregation rather than pairwise processing. Second, it adopts an FSM-based sequential architecture consistent with low-resource edge inference. Third, it moves the coefficients into ROM-style storage, improving modularity and making the implementation closer to a practical deployment path.