CAREER: Vertically Integrated Program Analysis for Embedded Software
CAREER: Vertically Integrated Program Analysis for Embedded Software
批准号:
0448047
负责人:
John Regehr
金额:
$40.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2005
资助国家:
美国
项目状态:
已结题
起止时间:
2005-05-01 至 2010-04-30
中文摘要
职业:嵌入式软件垂直集成程序分析近年来,在开发嵌入式软件的工具支持方面取得了很大进展。工具解决了各种各样的难题,例如,通过自动化容易出错的实现任务,通过消除冗余和低效的结构,以及通过保证不存在某些类型的错误,例如竞态条件或内存不足异常。这项nsf CAREER研究是关于垂直集成程序分析和转换(VIPAT)的,这是一种看待嵌入式软件工具的新方法:作为构建块的集合,可以以不同的方式连接在一起,以支持新的分析和转换。现有的工具变成了由高层策略控制的机制。VIPAT基于两个主要思想。首先,在不同抽象层次上操作的工具的垂直集成,它允许高级转换精确地定位于低层次资源使用最差的系统的目标部分。二是机制和政策相分离,在新形势下有效运用现有工具。这项研究是朝着这样一个世界迈出的一步,在这个世界中,可以对程序行为做出有意义的静态保证,并且软件可以自动专业化,以满足特定于平台和应用程序的需求,例如时间和能量限制。高级愿景是“无所畏惧的重用”:开发人员应该花更少的时间担心他们重用的组件的资源使用和潜在的故障模式。
英文摘要
CAREER: Vertically Integrated Program Analysis for Embedded SoftwareIn recent years, a great deal of progress has been made towards toolsupport for developing embedded software. Tools solve a variety ofdifficult problems, for example by automating error-proneimplementation tasks, by eliminating redundant and inefficientconstructs, and by guaranteeing the absence of certain classes oferrors, such as race conditions or out-of-memory exceptions. ThisNSF CAREER research is about Vertically Integrated Program Analysis andTransformation (VIPAT), a new way to look at embedded software tools:as a collection of building blocks that can be connected together indifferent ways to support novel analyses and transformations. Theexisting tools become mechanisms that are controlled by a high-levelpolicy. VIPAT is based on two main ideas. First, the verticalintegration of tools that operate at various levels of abstraction,which permits high-level transformations to be precisely targeted atparts of a system whose low-level resource usage is worst. Second, aclean separation between mechanism and policy, enabling effectivereuse of existing tools in new situations. This research is a steptowards a world where meaningful static guarantees about programbehavior can be made, and where software can be automaticallyspecialized to meet platform- and application-specific requirementssuch as time and energy constraints. The high-level vision is"fearless reuse": developers should spend less time worrying aboutresource usage and potential failure modes of components that theyreuse.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Medium: Formal Methods as a First-Class Citizen of a Mainstream Compiler Framework
-
批准号:1955688
-
项目类别:Continuing Grant
-
资助金额:$111.47万
-
财政年份:2020
-
负责人:John Regehr
-
依托单位:
TWC: Small: XCap: Practical Capabilities and Least Authority for Virtualized Environments
-
批准号:1319076
-
项目类别:Standard Grant
-
资助金额:$49.99万
-
财政年份:2013
-
负责人:John Regehr
-
依托单位:
SHF: Small: Collaborative Research: Diversity and Feedback in Random Testing for Systems Software
-
批准号:1218026
-
项目类别:Standard Grant
-
资助金额:$24.9万
-
财政年份:2012
-
负责人:John Regehr
-
依托单位:
CSR: Small: Beating Implementations of C++11 Concurrency Into Shape
-
批准号:1218022
-
项目类别:Standard Grant
-
资助金额:$46.77万
-
财政年份:2012
-
负责人:John Regehr
-
依托单位:
MRI: Evolutionary Development of an Advanced Distributed Testbed
-
批准号:0723248
-
项目类别:Continuing Grant
-
资助金额:$170.4万
-
财政年份:2007
-
负责人:John Regehr
-
依托单位:
CRI: CRD: Keeping Emulab Tuned and Humming
-
批准号:0709427
-
项目类别:Continuing Grant
-
资助金额:$199.99万
-
财政年份:2007
-
负责人:John Regehr
-
依托单位:
Collaborative Research: CSR---EHS: Improving Sensor Network Software Reliability through Language, Tool, and OS Co-Design
-
批准号:0615367
-
项目类别:Continuing Grant
-
资助金额:$21.0万
-
财政年份:2006
-
负责人:John Regehr
-
依托单位:
NeTS-FIND: Collaborative Research: Towards Complexity-Oblivious Network Management
-
批准号:0627086
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:John Regehr
-
依托单位:
MRI: Development of Next-Generation Network Research Testbeds
-
批准号:0321350
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:John Regehr
-
依托单位:
海外基金