CPS: Medium: Timing-Centric Software
CPS:中:以时序为中心的软件
基本信息
- 批准号:1035672
- 负责人:
- 金额:$ 75万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2010
- 资助国家:美国
- 起止时间:2010-09-15 至 2014-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The objective of this research is to define programming abstractions with temporal semantics for distributed cyber-physical systems. The approach is to create a coordination language for distributed embedded software that blends naturally with models of physical dynamics. The coordination language is based on a rigorous discrete-event concurrent model of computation. It will be used by system designers to construct models from which software implementations are derived. The objective is distributed software that, if it compiles for a platform, delivers precisely the temporal semantics specified in the model.Intellectual merit: This project addresses the core abstractions of computing, which throughout the 20th century, have abstracted away time, and of physical dynamics, which have omitted software and network behaviors. For cyber-physical systems, both are inappropriate. This project is developing new time-centric abstractions for software, programming models, analysis techniques, and integration of software and network models with physical dynamics.Broader impacts: Besides the considerable economic and societal impact of CPS in general, the project is expected to have considerable impact on engineering and computer science education. Its focus on engineering applications and on sound computer science methods will erode the boundaries between these disciplines that hamper competitiveness of our students. A new generation of students is needed to dramatically improve our energy efficiency, manufacturing capabilities, transportation efficiency, instrumentation prowess (and hence, scientific knowledge), and infrastructure robustness. Because of the broad societal implications of the work, it will help attract to engineering and computer science a more diverse talent pool.
本研究的目的是为分布式网络物理系统定义具有时态语义的编程抽象。该方法是为分布式嵌入式软件创建一种协调语言,该语言自然地与物理动力学模型相结合。协调语言是基于严格的离散事件并发计算模型。它将被系统设计人员用来构建模型,从这些模型中导出软件实现。目标是分布式软件,如果它编译的平台,提供精确的时间语义中指定的model.Intellectual优点:这个项目地址的核心抽象计算,其中整个20世纪世纪,已经抽象了时间,和物理动力学,省略了软件和网络行为。对于网络物理系统,两者都不合适。该项目正在开发新的以时间为中心的软件抽象,编程模型,分析技术,软件和网络模型与物理动力学的集成。更广泛的影响:除了CPS的一般可观的经济和社会影响,该项目预计将对工程和计算机科学教育产生相当大的影响。它对工程应用和健全的计算机科学方法的关注将削弱这些学科之间的界限,阻碍我们学生的竞争力。我们需要新一代的学生来大幅提高我们的能源效率、制造能力、运输效率、仪器仪表能力(以及科学知识)和基础设施的稳健性。由于这项工作的广泛社会影响,它将有助于吸引工程和计算机科学更多样化的人才库。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Edward Lee其他文献
Effect of Omecamtiv Mecarbil on the Pharmacokinetics of Metformin, a Probe Substrate for MATE1/MATE2-K, in Healthy Subjects
Omecamtiv Mecarbil 对健康受试者中 MATE1/MATE2-K 探针底物二甲双胍药代动力学的影响
- DOI:
10.1007/s40261-021-01051-4 - 发表时间:
2021 - 期刊:
- 影响因子:3.2
- 作者:
A. Trivedi;R. Oberoi;Pegah Jafarinasabian;Hanze Zhang;Marintan Spring;Stephen Flach;Siddique A Abbasi;S. Dutta;Edward Lee - 通讯作者:
Edward Lee
Investigating the return predictability of changes in corporate borrowing
研究企业借款变化的回报可预测性
- DOI:
10.1080/00014788.2006.9730012 - 发表时间:
2006 - 期刊:
- 影响因子:1.7
- 作者:
Edward Lee;K. Stathopoulos;Mark T. Hon - 通讯作者:
Mark T. Hon
A Modular Quintic Calabi–Yau Threefold of Level 55
55 级的模块化五重卡拉比-丘三倍
- DOI:
- 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
Edward Lee - 通讯作者:
Edward Lee
Herpes simplex virus type 2 coinfection does not accelerate CD4 count decline in untreated HIV infection.
单纯疱疹病毒 2 型合并感染不会加速未经治疗的 HIV 感染中 CD4 计数的下降。
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:11.8
- 作者:
D. Tan;J. Raboud;R. Kaul;J. Brunetta;C. Kaushic;C. Kovacs;Edward Lee;J. Luetkehoelter;A. Rachlis;F. Smaill;M. Smieja;S. Walmsley - 通讯作者:
S. Walmsley
Corporate strategy financialized: Conjuncture, arbitrage and earnings capacity in the S&P500
- DOI:
10.1016/j.accfor.2010.08.002 - 发表时间:
2010-09-01 - 期刊:
- 影响因子:
- 作者:
Tord Andersson;Colin Haslam;Edward Lee;George Katechos;Nick Tsitsianis - 通讯作者:
Nick Tsitsianis
Edward Lee的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Edward Lee', 18)}}的其他基金
CPS: TTP Option: Small: Consistency vs. Availability in Cyber-Physical Systems
CPS:TTP 选项:小:网络物理系统中的一致性与可用性
- 批准号:
2233769 - 财政年份:2023
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
CPS: Small: Reconciling Safety with the Internet for Cyber-Physical Systems
CPS:小型:协调网络物理系统的安全与互联网
- 批准号:
1836601 - 财政年份:2018
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
CPS: Breakthrough: A Mathematical Theory of Cyber-Physical Systems
CPS:突破:网络物理系统的数学理论
- 批准号:
1446619 - 财政年份:2015
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
Collaborative Research: CSR-EHS: Pret: Precision Timed Architectures
协作研究:CSR-EHS:Pret:精确定时架构
- 批准号:
0720882 - 财政年份:2007
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
CSR-SGER: Cyber-Physical Systems - Are Computing Foundations Adequate?
CSR-SGER:网络物理系统 - 计算基础是否足够?
- 批准号:
0647591 - 财政年份:2006
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
SUPERB (Summer Undergraduate Progam in Engineering Research at Berkeley)
SUPERB(伯克利工程研究夏季本科课程)
- 批准号:
0453604 - 财政年份:2005
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
Design Methodology for Signal Processing
信号处理的设计方法
- 批准号:
9201605 - 财政年份:1992
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
Prototype Learning Laboratory Extension
原型学习实验室扩建
- 批准号:
8751111 - 财政年份:1988
- 资助金额:
$ 75万 - 项目类别:
Continuing grant
PYI: Communications, Signal Processing Applications of Computer Software & Hardware
PYI:计算机软件的通信、信号处理应用
- 批准号:
8657523 - 财政年份:1987
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
相似海外基金
RII Track-4:@NASA: Bluer and Hotter: From Ultraviolet to X-ray Diagnostics of the Circumgalactic Medium
RII Track-4:@NASA:更蓝更热:从紫外到 X 射线对环绕银河系介质的诊断
- 批准号:
2327438 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
Collaborative Research: Topological Defects and Dynamic Motion of Symmetry-breaking Tadpole Particles in Liquid Crystal Medium
合作研究:液晶介质中对称破缺蝌蚪粒子的拓扑缺陷与动态运动
- 批准号:
2344489 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
Collaborative Research: AF: Medium: The Communication Cost of Distributed Computation
合作研究:AF:媒介:分布式计算的通信成本
- 批准号:
2402836 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
Collaborative Research: AF: Medium: Foundations of Oblivious Reconfigurable Networks
合作研究:AF:媒介:遗忘可重构网络的基础
- 批准号:
2402851 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
Collaborative Research: CIF: Medium: Snapshot Computational Imaging with Metaoptics
合作研究:CIF:Medium:Metaoptics 快照计算成像
- 批准号:
2403122 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
- 批准号:
2403134 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
Collaborative Research: CyberTraining: Implementation: Medium: Training Users, Developers, and Instructors at the Chemistry/Physics/Materials Science Interface
协作研究:网络培训:实施:媒介:在化学/物理/材料科学界面培训用户、开发人员和讲师
- 批准号:
2321102 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
Collaborative Research: CyberTraining: Implementation: Medium: Transforming the Molecular Science Research Workforce through Integration of Programming in University Curricula
协作研究:网络培训:实施:中:通过将编程融入大学课程来改变分子科学研究人员队伍
- 批准号:
2321045 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
Collaborative Research: CyberTraining: Implementation: Medium: Training Users, Developers, and Instructors at the Chemistry/Physics/Materials Science Interface
协作研究:网络培训:实施:媒介:在化学/物理/材料科学界面培训用户、开发人员和讲师
- 批准号:
2321103 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
- 批准号:
2322534 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant