CS-Sched: Certified-Optimal Host-Layer Scheduling for Multi-Target BLE Channel Sounding Networks

This is the PREPRINT of a manuscript currently under review at the IEEE Internet of Things Journal (Manuscript ID: IoT-78244-2026). The paper presents CS-Sched, a host-layer scheduling framework for multi-target BLE Channel Sounding that requires no Controller modification and no departure from the BLE ecosystem: PAwR slot containers, KW47-derived timing admission control, disjoint tone-interleaved channel partitions, and deterministic intra-subevent TDMA. The per-round scheduling is formulated as discrete optimization and solved exactly with an SMT solver; optimality is certified per instance by UNSAT verdicts below the optimum, and a latency-measurement-budget Pareto front is computed with per-point certificates. To our knowledge, is the first multi-target CS scheduling framework whose feasibility conditions are certifiable per instance by an SMT solver, and we present these conditions as a candidate conformance criterion for future multi-target CS scheduling profiles. This upload contains: (1) the preprint PDF; (2) the LaTeX source package (main.tex, IEEEtran.cls, all figures); (3) an English verification report (SCHED-001~011, including protocol-level execution timing, collision-pressure ranging degradation, Z3 optimality certificates, certified Pto front, digital-key scenario capacity, Goodix GR5410 cross-platform evaluation, and release review); (4) simulation and solver scripts (Z3 optimal scheduling, Pareto solver, deployment checker, MATLAB KW47 digital twin); and (5)-readable validation logs (scale sweep, Z3 optimal summary, Pareto front, vehicle scenarios, collision ranging, twin summary, deployment check). All results are reproducible from the released parameter set. Validation is anchored on point-to-point KW47 measurements and a hardware-parameterized digital twin; multi-board end-to-end validation is identified as the immediate next step. Upon acceptance by IEEE, this record will be updated with the accepted's DOI and, where required, the accepted version of the manuscript. License: Documentation CC BY 4.0; Scripts MIT.