SmartBAN on Silicon by Structured Behavioral Modeling
Networking and Internet Architecture
Summary
The authors studied SmartBAN, a wireless body network standard designed for medical devices, that had not been fully implemented on commercial hardware before. They created clear models to explain how devices connect and communicate, then built it on a real commercial chip running an operating system. Their tests showed the system works reliably with very little timing delay and high data delivery over long periods. They compared it to Bluetooth Low Energy and found SmartBAN is more precise but uses more energy, mostly due to software rather than the protocol itself.
Authors
Masato Yoshimi, Takahiro Ito, Kento Tanaka, Hirokazu Tanaka
Abstract
Wireless body area networks (WBANs) are a key enabling technology for the Internet of Medical Things (IoMT). SmartBAN, standardized by ETSI and later adopted as an IEC international standard, defines a lightweight WBAN protocol with time-division multiple access (TDMA)-based physical (PHY) and media access control (MAC) layers, yet no implementation on commercial hardware has been reported. The standard specifies frame formats and channel structure but leaves internal device behaviors unspecified: phase control and connection lifecycle lack transition logic, while slot-level timing and scheduling policy lack parametric guidance. This paper addresses these omissions through structured behavioral modeling and model-driven implementation. Two Mealy-type finite automata -- one for the Hub (3 states, 5 transitions), one for each Node (5 states, 8 transitions) -- capture phase control and connection lifecycle as a hardware-independent design blueprint whose transition tables map directly to firmware dispatch logic; slot-level timing and scheduling policy are resolved through realization on the nRF54L15, a commercial Arm Cortex-M33 wireless system-on-chip (SoC) running Zephyr real-time operating system (RTOS). Experiments with sixteen concurrently scheduled sensor nodes over 25 hours validate the design for the initial connection and uplink data paths: all 13 modeled transitions were exercised with sub-millisecond per-slot timing jitter ($P_{99} <$ 754 $μ$s, slot-independent across all 16 slots), 99.99% packet delivery, and autonomous disconnection recovery. A same-SoC Bluetooth Low Energy (BLE) comparison quantifies the determinism-efficiency tradeoff: SmartBAN achieves substantially lower timing jitter at higher energy cost, the majority of which is attributable to software radio processing rather than the protocol-level duty cycle.