Problem
Research questions and friction points this paper is trying to address.
Wireless Body Area Networks
SmartBAN
Structured Behavioral Modeling
Internal Device Behaviors
Time-Division Multiple Access
SmartBAN on Silicon by Structured Behavioral Modeling
🤖 AI Summary
本文通过结构化行为建模和模型驱动实现，解决了SmartBAN标准中内部设备行为未定义的问题，包括相位控制、连接生命周期及时隙级调度策略。
📝 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.
Innovation
Methods, ideas, or system contributions that make the work stand out.
structured behavioral modeling
finite automata
model-driven implementation
nRF54L15 SoC
Zephyr RTOS
🔎 Similar Papers
No similar papers found.
