Collaborative Research: SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embedded Software
合作研究:SoD-TEAM:基于反馈的高度可靠嵌入式软件架构
基本信息
- 批准号:0613308
- 负责人:
- 金额:$ 5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2006
- 资助国家:美国
- 起止时间:2006-09-01 至 2006-10-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Title: "Collaborative Research: SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embedded Software"The focus of this project is on developing a theory and architectural framework for incorporating feedback control as a main principle of software engineering. This proposal develops scientific foundations, tools, and architectural design principles to improve the reliability and reduce the development cost of mission-critical software. Two common approaches to ensure reliable system behavior are: 1) Scientific foundations, tools, and architectural principles for ensuring elimination of errors, and 2) foundations, tools, and architectural principles for ensuring tolerance to such errors. While the first solution is sufficient, building completely error-free large-scale systems has been an elusive exercise as evidenced by experiences with today's engineering artifacts (e.g., recalls on vehicles, cascading power blackouts, etc). Consequently, a new approach to robust software design, development and certification is needed that addresses the increasing cost and safety implications of the current practices. Feedback control has proven to be a very successful tool for ensuring correct behavior of complex, poorly modeled systems in the presence of uncertainty. This project applies principles of feedback control and stability envelopes to the engineering of software systems.Program Manager: Anita J. La SalleDate:
职务名称:“合作研究:SoD-TEAM:基于反馈的高可靠嵌入式软件体系结构“本项目的重点是开发一个理论和架构框架,将反馈控制作为软件工程的主要原则。该方案为提高关键任务软件的可靠性和降低开发成本提供了科学的基础、工具和架构设计原则。确保可靠系统行为的两种常见方法是:1)确保消除错误的科学基础,工具和架构原则,以及2)确保对此类错误的容忍度的基础,工具和架构原则。虽然第一种解决方案已经足够了,但构建完全无错误的大规模系统一直是一项难以捉摸的工作,正如今天的工程工件(例如,车辆召回、连锁停电等)。因此,需要一种新的方法来设计、开发和认证强大的软件,以解决目前做法所带来的日益增加的成本和安全问题。反馈控制已被证明是一个非常成功的工具,以确保正确的行为的复杂的,不好的建模系统中存在的不确定性。该项目将反馈控制和稳定性包络的原则应用于软件系统的工程。项目经理:Anita J. La Salle日期:
项目成果
期刊论文数量(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 }}
Ella Atkins其他文献
Ella Atkins的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ella Atkins', 18)}}的其他基金
National Robotics Initiative (NRI) PI Meeting 2020 Technical Program Organization
国家机器人倡议(NRI)2020年PI会议技术项目组织
- 批准号:
1940652 - 财政年份:2019
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
CPS: Small: Cyber-Physical Communication for Cooperative Human-Robot Mobility
CPS:小型:用于协作人机移动的网络物理通信
- 批准号:
1739525 - 财政年份:2017
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
I/UCRC: University of Michigan Planning Grant: I/UCRC for the Center for Unmanned Aircraft Systems (C-UAS)
I/UCRC:密歇根大学规划拨款:I/UCRC 无人机系统中心 (C-UAS)
- 批准号:
1624632 - 财政年份:2016
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
CAREER: State-dependent Resource Management for Integrated Task and Motion Plans
职业:集成任务和运动计划的状态相关资源管理
- 批准号:
0732592 - 财政年份:2007
- 资助金额:
$ 5万 - 项目类别:
Continuing Grant
Collaborative Research: SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embedded Software
合作研究:SoD-TEAM:基于反馈的高度可靠嵌入式软件架构
- 批准号:
0650049 - 财政年份:2006
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
CAREER: State-dependent Resource Management for Integrated Task and Motion Plans
职业:集成任务和运动计划的状态相关资源管理
- 批准号:
0347461 - 财政年份:2004
- 资助金额:
$ 5万 - 项目类别:
Continuing Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: SoD-TEAM: Designing Tests for Evolving Software Systems
协作研究:SoD-TEAM:为不断发展的软件系统设计测试
- 批准号:
0725190 - 财政年份:2008
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Collaborative Research: SoD-TEAM: 'Values at Play: Integrating Ethical and Political Factors into System Design'
合作研究:SoD-TEAM:“发挥价值:将道德和政治因素融入系统设计”
- 批准号:
0924088 - 财政年份:2008
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Collaborative Research: SoD-TEAM: Designing Tests for Evolving Software Systems
协作研究:SoD-TEAM:为不断发展的软件系统设计测试
- 批准号:
0725202 - 财政年份:2008
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
SoD: Collaborative Research: Transparency and Legal Compliance in Software Systems
SoD:协作研究:软件系统的透明度和法律合规性
- 批准号:
0725152 - 财政年份:2007
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
SoD: Collaborative Research: Transparency and Legal Compliance in Software Systems
SoD:协作研究:软件系统的透明度和法律合规性
- 批准号:
0725144 - 财政年份:2007
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Collaborative Research: SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embdedded Software
合作研究:SoD-TEAM:基于反馈的高可靠性嵌入式软件架构
- 批准号:
0613665 - 财政年份:2006
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Collaborative Research: SoD-TEAM: Values at Play - Integrating Social Factors into Design
协作研究:SoD-TEAM:发挥价值 - 将社会因素融入设计
- 批准号:
0613893 - 财政年份:2006
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Collaborative Research: SoD-TEAM: "Values at Play: Integrating Ethical and Political Factors into System Design
合作研究:SoD-TEAM:“发挥价值:将伦理和政治因素融入系统设计
- 批准号:
0613867 - 财政年份:2006
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Collaborative Research: SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embedded Software
合作研究:SoD-TEAM:基于反馈的高度可靠嵌入式软件架构
- 批准号:
0650049 - 财政年份:2006
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Collaborative Research: SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embedded Software
合作研究:SoD-TEAM:基于反馈的高度可靠嵌入式软件架构
- 批准号:
0613655 - 财政年份:2006
- 资助金额:
$ 5万 - 项目类别:
Standard Grant