THURSDAY June 28, 1:30pm - 3:00pm | Room 3018
TOPIC AREA: DESIGN, IOT
KEYWORD: ARCHITECTURE & SYSTEM DESIGN, LOW-POWER & RELIABILITY
EVENT TYPE: RESEARCH REVIEWED

SESSION 71
Analysis and Runtime Support for Cyber-Physical Systems
Chair:
Chang Wanli - Singapore Institute of Technology, Singapore
Co-Chair:
Vijay Raghunathan - Purdue Univ., West Lafayette, IN
Cyber-physical systems (CPS) are complex systems that interact with the physical world by leveraging the intelligence and computing power of the cloud. Functional correctness is critical as errors can lead to disastrous consequences. The first paper is an analysis tool for extracting and validating implicit assumptions in medical CPS. The second paper proposes runtime support for timing monitoring in CPS. The third paper describes a runtime structure for operating an SoC at the minimum energy point using models constructed by machine-learning. Finally, the fourth paper presents a case study on edge-cloud collaborative processing for a surveillance application.

71.1Identifying Implicit Assumptions to Facilitate Validation in Medical Cyber-Physical System
 Speaker: Zhicheng Fu - Illinois Institute of Technology, Chicago, United States
 Authors: Zhicheng Fu - Illinois Institute of Technology, Chicago, United States
Zhao Wang - Illinois Institute of Technology, Chicago, IL
Chunhui Guo - Illinois Institute of Technology, Chicago, IL
Zhenyu Zhang - Illinois Institute of Technology, Chicago, IL
Shangping Ren - Illinois Institute of Technology, Chicago, IL
Lui Sha - Univ. of Illinois at Urbana-Champaign, Urbana, IL
71.2TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems
 Speaker: Mohammadreza Mehrabian - Arizona State Univ., Tempe, United States
 Authors: Mohammadreza Mehrabian - Arizona State Univ., Tempe, United States
Mohammad Khayatian - Arizona State Univ., Tempe, AZ
Ahmed Mousa - Arizona State Univ., Tempe, AZ
Aviral Shrivastava - Arizona State Univ., Phoenix, AZ
Ya-Shian Li-Baboud - National Institute of Standards and Technology, Gaithersburg, MD
Patricia Derler - National Instruments , Berkeley, California
Edward Griffor - National Institute of Standards and Technology, Gaithersburg, MD
Hugo A. Andrade - Xilinx Inc. & Univ. of Texas at Austin, Berkeley, CA
Marc Weiss - National Institute of Standards and Technology, Boulder, CO
John Eidson - Univ. of California, Berkeley, CA
Dhananjay Anand - National Institute of Standards and Technology, Gaithersburg, MD
71.3Runtime Adjustment of IoT SoCs for Minimum Energy Operation
 Speaker: Mehdi B. Tahoori - Karlsruhe Institute of Technology, Karlsruhe, Germany
 Authors: Mohammad Saber Golanbari - Karlsruhe Institute of Technology, Karlsruhe, Germany
Mehdi B. Tahoori - Karlsruhe Institute of Technology, Karlsruhe, Germany
71.4Edge-Cloud Collaborative Processing for Intelligent Internet of Things: A Case Study on Smart Surveillance
 Speaker: Burhan A. Mudassar - Georgia Institute of Technology, Atlanta, GA
 Authors: Burhan A. Mudassar - Georgia Institute of Technology, Atlanta, GA
Jong Hwan Ko - Georgia Institute of Technology, Atlanta, GA
Saibal Mukhopadhyay - Georgia Institute of Technology, Atlanta, GA