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

该SGER奖支持对实时、混合和嵌入式系统的理论基础和高级分析的研究和开发。预计这项研究将有助于更深入地整合这些研究学科的理论基础和高级分析。它有四个重点领域：基本方法论、理论验证、可调度性分析和随机分析。这项研究也有望为NSF计算机和网络系统部门正在开发的新的网络物理系统(CPS)愿景做出贡献。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