SOISTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems
pdf
Abstract: We will introduce SOlSTICe, a software synthesis framework that addresses the timing challenges in CPS by quantitatively exploring timing constraints for multiple conflicting design metrics and across multiple abstraction layers, and using these timing constraints to drive the design space exploration. Building SOlSTICe includes three closely-related research themes: (1) formulating and exploring timing contracts to co-design functionality and software architecture with respect to various design metrics (e.g., performance, security, schedulability) and to conduct hierarchical refinement across abstraction layers, (2) exploring the generation of software tasks from functional models and the mapping of those tasks onto hardware platforms with holistic timing consideration throughout the synthesis process, and (3) co-simulating functional and architectural models with explicit representation and evaluation of timing contracts to complement the proposed analytical synthesis algorithms.
Qi Zhu is an Assistant Professor at the Department of Electrical and Computer Engineering in University of California, Riverside. Prior to joining UCR, Dr. Zhu was a research scientist at the Strategic CAD Labs in Intel from 2008 to 2011. Dr. Zhu received a Ph.D. in EECS from University of California, Berkeley in 2008, and a B.E. in CS from Tsinghua University in 2003. His research interests include model-based design and software synthesis for cyber-physical systems, CPS security, energy-efficient buildings and infrastructures, and system-on-chip design. He received the National Science Foundation (NSF) CAREER award in 2016. He received best paper awards at the Design Automation Conference (DAC) 2006, DAC 2007, International Conference on Cyber-Physical Systems (ICCPS) 2013, and ACM Transactions on Design Automation of Electronic Systems (TODAES) 2016. Dr. Zhu has served on the technical program committees and as session organizer and chair for a number of international conferences, including DAC, ICCAD, DATE, ASP-DAC, CODES+ISSS, RTSS, RTAS, SAC, SIES, MEMOCODE, etc. He is a member and the education committee chair of the IEEE Technical Committee on Cybernetics for Cyber-Physical Systems (CCPS). He received the ACM SIGDA Service Award in 2015.
Submitted by Qi Zhu
on
Abstract: We will introduce SOlSTICe, a software synthesis framework that addresses the timing challenges in CPS by quantitatively exploring timing constraints for multiple conflicting design metrics and across multiple abstraction layers, and using these timing constraints to drive the design space exploration. Building SOlSTICe includes three closely-related research themes: (1) formulating and exploring timing contracts to co-design functionality and software architecture with respect to various design metrics (e.g., performance, security, schedulability) and to conduct hierarchical refinement across abstraction layers, (2) exploring the generation of software tasks from functional models and the mapping of those tasks onto hardware platforms with holistic timing consideration throughout the synthesis process, and (3) co-simulating functional and architectural models with explicit representation and evaluation of timing contracts to complement the proposed analytical synthesis algorithms.
Qi Zhu is an Assistant Professor at the Department of Electrical and Computer Engineering in University of California, Riverside. Prior to joining UCR, Dr. Zhu was a research scientist at the Strategic CAD Labs in Intel from 2008 to 2011. Dr. Zhu received a Ph.D. in EECS from University of California, Berkeley in 2008, and a B.E. in CS from Tsinghua University in 2003. His research interests include model-based design and software synthesis for cyber-physical systems, CPS security, energy-efficient buildings and infrastructures, and system-on-chip design. He received the National Science Foundation (NSF) CAREER award in 2016. He received best paper awards at the Design Automation Conference (DAC) 2006, DAC 2007, International Conference on Cyber-Physical Systems (ICCPS) 2013, and ACM Transactions on Design Automation of Electronic Systems (TODAES) 2016. Dr. Zhu has served on the technical program committees and as session organizer and chair for a number of international conferences, including DAC, ICCAD, DATE, ASP-DAC, CODES+ISSS, RTSS, RTAS, SAC, SIES, MEMOCODE, etc. He is a member and the education committee chair of the IEEE Technical Committee on Cybernetics for Cyber-Physical Systems (CCPS). He received the ACM SIGDA Service Award in 2015.