Optimized design of a Human Intranet network

We address the design space exploration of wireless body area networks for wearable and implantable technologies, a task that is increasingly challenging as the number and variety of devices per person grow. Our method efficiently decomposes the problem into smaller subproblems by coordinating specialized analysis and optimization techniques. We leverage mixed integer linear programming to generate candidate network configurations based on coarse energy estimations. Accurate discrete-event simulation is used to check the feasibility of the proposed configurations under reliability constraints and guide the search to achieve fast convergence. Numerical results show that our application-specific approach substantially reduces the exploration time with respect to generic optimization techniques and helps provide clear identification of promising solutions.

[1]  Alberto L. Sangiovanni-Vincentelli,et al.  A mixed discrete-continuous optimization scheme for Cyber-Physical System architecture exploration , 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[2]  Claire M. Lochner,et al.  Monitoring of Vital Signs with Flexible and Wearable Medical Devices , 2016, Advanced materials.

[3]  Peter A. Dinda,et al.  Automated construction of fast and accurate system-level models for wireless sensor networks , 2011, 2011 Design, Automation & Test in Europe.

[4]  Athanassios Boulis,et al.  Performance and scalability evaluation of the Castalia wireless sensor network simulator , 2010, SimuTools.

[5]  Alberto L. Sangiovanni-Vincentelli,et al.  Optimized selection of reliable and cost-effective cyber-physical system architectures , 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[6]  David Atienza,et al.  Knowledge-based design space exploration of wireless sensor networks , 2012, CODES+ISSS '12.

[7]  Alberto L. Sangiovanni-Vincentelli,et al.  Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design , 2007, Proceedings of the IEEE.

[8]  Alberto L. Sangiovanni-Vincentelli,et al.  A Contract-Based Methodology for Aircraft Electric Power System Design , 2014, IEEE Access.

[9]  David B. Smith,et al.  Efficient conditional-probability link modeling capturing temporal variations in body area networks , 2012, MSWiM '12.

[10]  P. Gburzynski,et al.  Controlled flooding in wireless ad-hoc networks , 2004, International Workshop on Wireless Ad-Hoc Networks, 2004..

[11]  Kok-Kiong Yap,et al.  To Hop or Not to Hop: Network Architecture for Body Sensor Networks , 2009, 2009 6th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks.

[12]  Jan M. Rabaey,et al.  The human intranet — Where swarms and humans meet , 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[13]  David Atienza,et al.  Design exploration of energy-performance trade-offs for wireless sensor networks , 2012, DAC Design Automation Conference 2012.

[14]  Paolo Fiorini,et al.  Human++: Emerging Technology for Body Area Networks , 2006, 2006 IFIP International Conference on Very Large Scale Integration.