SGER: Theoretical Foundations and Advanced Analysis in Real-Time, Hybrid, and Embedded Systems

该SGER奖支持对实时、混合和嵌入式系统的理论基础和高级分析的研究和开发。这项研究预计将有助于在这些研究学科的联系中更深入地整合理论基础和高级分析。 它有四个重点领域：基本方法，理论验证，可扩展性分析和随机分析。这项研究也有望有助于一个新的网络物理系统（CPS）的愿景正在开发的NSF的计算机和网络系统部门。 CPS研究的目标是新的科学和工程方法，整合未来工程系统的交互网络和物理元素。CPS寻求新的设计原则和系统技术，可以经常产生高置信度的物理和工程系统。 本研究将为物理动力学和网络动力学的深度融合提供理论基础

This SGER award supports a study for the investigation and development of theoretic foundations and advanced analysis of real-time, hybrid, and embedded systems. The study is expected to contribute towards the deeper integration of theoretical foundations and advanced analysis at the nexus of these research disciplines. It has four focus areas: fundamental methodology, theoretical verification, schedulability analysis, and stochastic analysis.This study is also expected to contribute to a new Cyber-Physical Systems (CPS) vision being developed in NSF's Computer and Network Systems division. The goal of CPS research is new science and engineering methodologies that integrate the interacting cyber and physical elements of future engineered systems. CPS seeks new design principles and systems technology that can routinely yield high-confidence physical and engineered systems. This study will contribute theoretical foundations for the deep integration of physical and cyber dynamics