CPS: Breakthrough: Collaborative Research: A Framework for Extensibility-Driven Design of Cyber-Physical Systems
CPS:突破:协作研究:网络物理系统可扩展性驱动设计的框架
基本信息
- 批准号:1646381
- 负责人:
- 金额:$ 20万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2016
- 资助国家:美国
- 起止时间:2016-09-01 至 2018-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
A longstanding problem in the design of cyber-physical systems is the inability and ineffectiveness in coping with software and hardware evolutions over the lifetime of a design or across multiple versions in the same product family. The objective of this project is to develop a systematic framework for designing extensible cyber-physical systems that can enable efficient and correct updates with minimal redesign and re-verification efforts. The intellectual merits are (1) a new and unified framework that optimizes system extensibility by addressing both functional correctness and platform feasibility, and (2) new algorithms for functional verification with platform consideration, software architecture synthesis driven by extensibility metrics, and integration of verification and synthesis for joint design space exploration. The project?s broader significance and importance are (1) enabling engineers to cope with continual changes in cyber-physical design components or operating conditions, thereby significantly reducing redesign and re-verification cost, (2) providing a general framework for designing extensible systems that is applicable to a wide range of systems including robotic, automotive, and avionic systems, and (3) providing new methodologies and techniques that facilitate the training of undergraduate and graduate students to meet the design challenges of cyber-physical systems.Many cyber-physical systems today are one-off designs -- systems designed without future changes in mind. The proposed extensibility-driven design (EDD) framework treats extensibility as a first-class design objective and addresses it with a holistic consideration of functional properties and platform implementation. An EDD design flow provides the following capabilities. At the initial design stage, EDD identifies certain constraints (e.g., timing) that are critical for functional correctness, and explores the design space to maximize the amount of future software and hardware changes that can be made without violating these constraints. During design updates, EDD first determines whether it is possible to accommodate the updates through software architecture re-synthesis, so as to avoid costly re-verification. In the cases where the updates violate existing platform constraints and requirements, EDD selectively modifies some of them to explore feasible changes while minimizing re-verification efforts.
信息物理系统设计中的一个长期存在的问题是,在设计的生命周期内或在同一产品系列的多个版本中,无法有效地应对软件和硬件的演变。该项目的目标是开发一个系统框架,用于设计可扩展的网络物理系统,从而能够以最少的重新设计和重新验证工作进行有效和正确的更新。智能的优点是:(1)一个新的和统一的框架,优化系统的可扩展性,解决功能的正确性和平台的可行性,和(2)新的算法,功能验证与平台的考虑,软件架构综合驱动的可扩展性指标,并整合验证和综合联合设计空间探索。项目?的更广泛的意义和重要性是:(1)使工程师能够科普信息物理设计组件或操作条件的持续变化,从而显著降低重新设计和重新验证成本,(2)为设计可扩展系统提供通用框架,该框架适用于包括机器人、汽车和航空电子系统在内的广泛系统,(3)提供新的方法和技术,促进本科生和研究生的培训,以满足信息物理系统的设计挑战。今天,许多信息物理系统是一次性的设计-系统设计没有考虑未来的变化。所提出的可扩展性驱动的设计(EDD)框架将可扩展性作为一个一流的设计目标,并解决它的功能属性和平台实现的整体考虑。EDD设计流程提供以下功能。在初始设计阶段,EDD确定某些约束(例如,时序),这对功能的正确性至关重要,并探索设计空间,以最大限度地提高未来的软件和硬件的变化,而不违反这些约束。在设计更新期间,EDD首先确定是否可以通过软件架构重新合成来适应更新,以避免昂贵的重新验证。在更新违反现有平台限制和要求的情况下,EDD有选择地修改其中一些,以探索可行的更改,同时最大限度地减少重新验证工作。
项目成果
期刊论文数量(5)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking
使用统计模型检查对不确定性感知混合 AADL 设计进行定量性能评估
- DOI:10.1109/tcad.2017.2681076
- 发表时间:2017-03
- 期刊:
- 影响因子:2.9
- 作者:Yongxiang Bao;陈铭松;Qi Zhu;Tongquan Wei;Frederic Mallet;Tingliang Zhou
- 通讯作者:Tingliang Zhou
Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management
- DOI:10.1109/smartcomp.2017.7946999
- 发表时间:2017-05
- 期刊:
- 影响因子:0
- 作者:Bowen Zheng;Chung-Wei Lin;Hengyi Liang;Shin'ichi Shiraishi;Wenchao Li;Qi Zhu
- 通讯作者:Bowen Zheng;Chung-Wei Lin;Hengyi Liang;Shin'ichi Shiraishi;Wenchao Li;Qi Zhu
Extensibility-Driven Automotive In-Vehicle Architecture Design
可扩展性驱动的汽车车载架构设计
- DOI:10.1145/3061639.3072956
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:Zhu, Qi;Liang, Hengyi;Zhang, Licong;Roy, Debayan;Li, Wenchao;Chakraborty, Samarjit
- 通讯作者:Chakraborty, Samarjit
Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling Under Thermal and Energy Variations
热和能量变化下 MPSoC 任务分配和调度的面向可持续性的评估和优化
- DOI:10.1109/tsusc.2017.2723500
- 发表时间:
- 期刊:
- 影响因子:3.9
- 作者:Mingsong Chen;Xinqian Zhang;Haifeng Gu;Tongquan Wei;Qi Zhu
- 通讯作者:Qi Zhu
Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities
- DOI:10.1109/tcad.2016.2633961
- 发表时间:2017-09
- 期刊:
- 影响因子:2.9
- 作者:S. Seshia;Shiyan Hu;Wenchao Li;Qi Zhu
- 通讯作者:S. Seshia;Shiyan Hu;Wenchao Li;Qi Zhu
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Qi Zhu其他文献
Analysis of temperature distributions in diode-pumped alkali vapor lasers
二极管泵浦碱金属蒸气激光器的温度分布分析
- DOI:
10.1016/j.optcom.2010.02.014 - 发表时间:
2010-06 - 期刊:
- 影响因子:2.4
- 作者:
Qi Zhu;Bailiang Pan;Li Chen;Yajuan Wang et al. - 通讯作者:
Yajuan Wang et al.
Learning robust latent representation for discriminative regression
学习判别回归的稳健潜在表示
- DOI:
10.1016/j.patrec.2018.04.016 - 发表时间:
2019 - 期刊:
- 影响因子:5.1
- 作者:
Jinrong Cui;Qi Zhu;Ding Wang;Zuoyong Li - 通讯作者:
Zuoyong Li
Using Linear Discriminant Analysis to Fuse Bimodal Biometrics Traits in Complex Space
- DOI:
10.1109/cicn.2012.203 - 发表时间:
2012-11 - 期刊:
- 影响因子:0
- 作者:
Qi Zhu - 通讯作者:
Qi Zhu
Structure characterization and photoluminescence properties of (Y0.95-xGdxEu0.05)2O3 red phosphors converted from layered rare-earth hydroxide (LRH) nanoflakes
层状稀土氢氧化物(LRH)纳米片转化的(Y0.95-xGdxEu0.05)2O3红色荧光粉的结构表征和光致发光性能
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:6.2
- 作者:
Qi Zhu;Xiaodong Li;Xudong Sun;Yoshio Sakka - 通讯作者:
Yoshio Sakka
Effects of Hot Protons on the Pitch Angle Scattering of Ring Current Protons by EMIC Waves
热质子对EMIC波环流质子俯仰角散射的影响
- DOI:
10.1029/2021ja030255 - 发表时间:
2022-03 - 期刊:
- 影响因子:0
- 作者:
Qi Zhu;Xing Cao;Binbin Ni;Xudong Gu;Xin Ma - 通讯作者:
Xin Ma
Qi Zhu的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Qi Zhu', 18)}}的其他基金
Collaborative Research: FuSe: R3AP: Retunable, Reconfigurable, Racetrack-Memory Acceleration Platform
合作研究:FuSe:R3AP:可重调、可重新配置、赛道内存加速平台
- 批准号:
2328973 - 财政年份:2024
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
Collaborative Research: DESC: Type I: FLEX: Building Future-proof Learning-Enabled Cyber-Physical Systems with Cross-Layer Extensible and Adaptive Design
合作研究:DESC:类型 I:FLEX:通过跨层可扩展和自适应设计构建面向未来的、支持学习的网络物理系统
- 批准号:
2324936 - 财政年份:2024
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
FMSG: Cyber: Learning Foundation Models for Manufacturing Design Automation
FMSG:网络:制造设计自动化的学习基础模型
- 批准号:
2328032 - 财政年份:2024
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: Synergy: Securing the Timing of Cyber-Physical Systems
CPS:协同:确保网络物理系统的时序
- 批准号:
1839511 - 财政年份:2018
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CAREER: SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems
职业:SolSTice:网络物理系统的带有定时合同的软件综合
- 批准号:
1834701 - 财政年份:2018
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
CPS: Breakthrough: Collaborative Research: A Framework for Extensibility-Driven Design of Cyber-Physical Systems
CPS:突破:协作研究:网络物理系统可扩展性驱动设计的框架
- 批准号:
1834324 - 财政年份:2018
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: Synergy: Securing the Timing of Cyber-Physical Systems
CPS:协同:确保网络物理系统的时序
- 批准号:
1646641 - 财政年份:2016
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CAREER: SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems
职业:SolSTice:网络物理系统的带有定时合同的软件综合
- 批准号:
1553757 - 财政年份:2016
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
相似国自然基金
Ru@掺氮碳壳纳米反应器空间-电子耦合调控及其热力学-动态稳定性协同突破机制
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
美国敏感数据跨境传输禁令下浙江算力产业反制突围面临的障碍与突破路径研究
- 批准号:2025C25002
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
构建支撑浙江省前沿科技突破的多层次科技人才发展机制研究
- 批准号:2025C25046
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
重庆市承接跨境电商产业转移的驱动机理、瓶颈突破与制度创新研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
突破HSF1抑制剂研发难题: 基于活性位
点的DTHIB改造、新骨架的发现与机制研
究
- 批准号:
- 批准年份:2025
- 资助金额:10.0 万元
- 项目类别:省市级项目
低空飞行器安全关键技术预见与创新突破路径研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
具有突破黏膜屏障能力的纳米递送系统调控黏膜疫苗免疫效能的机理研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
双重创新优化视阈下浙江省关键核心技术突破路径与政策研究
- 批准号:2025C35014
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于突破性双靶点AAV基因疗法,治疗SMA脊髓性肌萎缩症
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
创新生态系统驱动部件与集成关键核心技术瓶颈突破的路径及战略研究
- 批准号:2025JJ20075
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
相似海外基金
CPS: Breakthrough: Collaborative Research: Track and Fallback: Intrusion Detection to Counteract Carjack Hacks with Fail-Operational Feedback
CPS:突破:协作研究:跟踪和回退:入侵检测通过失败操作反馈来对抗劫车黑客
- 批准号:
2011620 - 财政年份:2019
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: Breakthrough: Collaborative Research: WARP: Wide Area assisted Resilient Protection
CPS:突破:协作研究:WARP:广域辅助弹性保护
- 批准号:
1855854 - 财政年份:2018
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: Breakthrough: Collaborative Research: A Framework for Extensibility-Driven Design of Cyber-Physical Systems
CPS:突破:协作研究:网络物理系统可扩展性驱动设计的框架
- 批准号:
1834324 - 财政年份:2018
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: Breakthrough: Collaborative Research: Transactive Control of Smart Railway Grid
CPS:突破:协作研究:智能铁路电网的交互控制
- 批准号:
1644874 - 财政年份:2017
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: Breakthrough: Collaborative Research: . Transactive control of smart railway grid.
CPS:突破:协作研究:。
- 批准号:
1644877 - 财政年份:2017
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: Breakthrough: Collaborative Research: A Framework for Extensibility-Driven Design of Cyber-Physical Systems
CPS:突破:协作研究:网络物理系统可扩展性驱动设计的框架
- 批准号:
1646497 - 财政年份:2016
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: Breakthrough: Collaborative Research: Track and Fallback: Intrusion Detection to Counteract Carjack Hacks with Fail-Operational Feedback
CPS:突破:协作研究:跟踪和回退:入侵检测通过失败操作反馈来对抗劫车黑客
- 批准号:
1646317 - 财政年份:2016
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: TTP Option: Breakthrough: Collaborative Sensing: An Approach for Immediately Scalable Sensing in Buildings
CPS:TTP 选项:突破:协作传感:建筑物中立即可扩展传感的方法
- 批准号:
1646501 - 财政年份:2016
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: Breakthrough: Collaborative Research: Track and Fallback: Intrusion Detection to Counteract Carjack Hacks with Fail-Operational Feedback
CPS:突破:协作研究:跟踪和回退:入侵检测通过失败操作反馈来对抗劫车黑客
- 批准号:
1645987 - 财政年份:2016
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: Breakthrough: Collaborative Research: The Interweaving of Humans and Physical Systems: A Perspective From Power Systems
CPS:突破:协作研究:人类与物理系统的交织:电力系统的视角
- 批准号:
1544548 - 财政年份:2015
- 资助金额:
$ 20万 - 项目类别:
Standard Grant