2017 International Conference On Computer Aided Design

The Premier Conference Devoted to Technical Innovations in Electronic Design Automation

November 13-16, 2017Irvine Marriott Irvine, CA

MP Associates, Inc.
TUESDAY November 14, 4:15pm - 6:15pm | Newport & Marina
EVENT TYPE: SPECIAL SESSION
SESSION 7C
Cross-layer Dependability of Medical CPS
Moderator:
Yu Jiang - Tsinghua Univ.
Organizers:
Lui Sha - Univ. of Illinois at Urbana-Champaign
Shangping Ren - Illinois Institute of Technology
Medical Cyber-Physical Systems are safety-critical interconnected, intelligent systems of medical devices and applications, and have witnessed breakthroughs in interacting with patients in medical and healthcare. Originally, medical CPS design is a cross-layer effort requiring expertise from completely different fields: from high level models and treatment guidelines, implemented by software code and protocols, running on hardware platforms. These multiple layers of abstraction with well-defined interfaces allow these groups to work independently. However, as technology scaling, these independently designed layers pose a serious dependability problem. For example, high level models assume sensor values being instantaneously available to the controller, or software often assumes an error-free operation from hardware. As implementation platforms become more complex and distributed, these assumptions are increasingly not true. As a result, a provably dependable medical device controller at the model level might not perform as desired in a concrete implementation. This problem is slowly extending to the circuit and semiconductor level because of semiconductor aging, soft errors and manufacturing variabilities stemming from semiconductor scaling. As a result, the underlying hardware processor platform in the future cannot assumed to be fault free and this has to be accounted for at the higher layers of design abstraction. Therefore, we have a great necessity to explore and exploit the challenges and solutions in this cross-layer dependability of medical CPS. This special session contains four presentations, focuses on bringing together current research ideas and techniques from researchers and practitioners, with the final goal of sharing their specific challenges and solutions for cross-layer dependability of safety-critical medical CPS, starting from high-level models, to software code, architectures, protocol, and finally to circuits and semiconductors

7C.1An Assessment of Vulnerability of Hardware Neural Networks to Dynamic Voltage and Temperature Variations
 Speaker: Xun Jiao - Univ. of California, San Diego
 Authors: Xun Jiao - Univ. of California, San Diego
Mulong Luo - Univ. of California, San Diego
Jeng-Hau Lin - Univ. of California, San Diego
Rajesh K Gupta - Univ. of California, San Diego
7C.2Dependable Integrated Clinical System Architecture with Runtime Verification
 Speaker: Yu Jiang - Tsinghua Univ.
 Authors: Yu Jiang - Tsinghua Univ.
Mingzhe Wang - Tsinghua Univ.
Han Liu - Tsinghua Univ.
Mohammad Hosseini - Univ. of Illinois at Urbana-Champaign
Jiaguang Sun - Tsinghua Univ.
7C.3Toward Safe Interoperations in Network Connected Medical CPS Using Open-Loop Safe Protocol
 Speaker: Andrew Y.-Z Ou - University of Illinios at Urbana-Champaign
 Authors: Andrew Y.-Z Ou - University of Illinios at Urbana-Champaign
Maryam Rahmaniheris - University of Illinois at Urbana Champaign
Yu Jiang - Tsinghua Univ.
Po-Liang Wu - Univ. of Illinois at Urbana-Champaign
Lui Sha - Univ. of Illinois at Urbana-Champaign
7C.4Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines
 Speaker: Chunhui Guo - Illinois Institute of Technology
 Authors: Chunhui Guo - Illinois Institute of Technology
Zhicheng Fu - Illinois Institute of Technology
Zhenyu Zhang - Illinois Institute of Technology
Shangping Ren - Illinois Institute of Technology
Lui Sha - Univ. of Illinois at Urbana-Champaign