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