Program Analysis for Reliable Numerical Software
Program Analysis for Reliable Numerical Software
批准号:
0702622
负责人:
Zhendong Su
金额:
$40.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-09-01 至 2011-08-31
中文摘要
CCF-0702622程序分析可靠的数值软件振东SuMany软件系统涉及数值计算,这些系统中的数值错误可能是灾难性的。众所周知的例子包括火星气候轨道器的损失(由于测量单位的误用)和阿丽亚娜5号火箭的爆炸(由于溢出)。研究表明,即使在经过良好测试的代码中,这种错误也经常发生,因为测试数值软件很困难,而且几乎没有静态工具来帮助检测此类错误。该项目旨在开发实用的程序分析技术和工具,以帮助避免常见的数值错误。它主要集中在三个方面:(1)自动尺寸分析和单元检查;(2)静态检测未捕获的异常,如上溢和下溢;(3)误差传播和数值稳定性的静态估计。一般的方法是通过对IEEE浮点标准的形式语义进行建模,并使用适当的约束形式设计近似抽象语义,将这些问题转化为基于约束的程序分析。为了广泛传播研究结果,项目中开发的分析工具将被分发到公共领域,用于教学、研究和实验评估。
英文摘要
CCF-0702622 Program Analysis for Reliable Numerical SoftwareZhendong SuMany software systems involve numerical computation, and numerical errors in these systems can be disastrous. Well-known examples include the loss of the Mars Climate Orbiter (due to a misuse of measurement units) and the explosion of the Ariane 5 rocket (due to an overflow). Studies show that such errors often occur, even in well-tested code, because it is difficult to test numerical software and few static tools exist to help detect such kinds of errors.This project aims at developing practical program analysis techniques and tools to help avoid common classes of numerical errors. It focuses on three main aspects of the problem: (1) automatic dimensional analysis and unit checking, (2) static detection of uncaught exceptions such as overflows and underflows, and (3) static estimation of error propagation and numerical stability. The general approach is to cast these problems as constraint-based program analyses by modeling the formal semantics of the IEEE floating-point standards and designing approximate abstract semantics with appropriate constraint formalisms. For wide dissemination of the research results, analysis tools developed in the project will be distributed to the public domain for use in teaching, research, and experimental evaluation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Testing and Analysis for Reliable Numerical Software
-
批准号:1618158
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2016
-
负责人:Zhendong Su
-
依托单位:
SHF: Small: Compiler Validation via Equivalence Modulo Inputs
-
批准号:1528133
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2015
-
负责人:Zhendong Su
-
依托单位:
EAGER: Toward Numerically Robust Software
-
批准号:1349528
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2013
-
负责人:Zhendong Su
-
依托单位:
TWC: Small: Collaborative: Similary-Based Program Analyses for Eliminating Vulnerabilities
-
批准号:1319187
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2013
-
负责人:Zhendong Su
-
依托单位:
SHF: Small: Reusing Debugging Knowledge
-
批准号:1117603
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2011
-
负责人:Zhendong Su
-
依托单位:
TC: Small: Runtime and Static Analysis for Web Application Security
-
批准号:0917392
-
项目类别:Standard Grant
-
资助金额:$42.4万
-
财政年份:2009
-
负责人:Zhendong Su
-
依托单位:
CAREER: Reliability and Security of Database and Web Applications
-
批准号:0546844
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2006
-
负责人:Zhendong Su
-
依托单位:
Collaborative Research: CT-T: A Vertical Systems Framework for Effective Defense against Memory-Based Attacks
-
批准号:0627749
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2006
-
负责人:Zhendong Su
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
-
批准号:--
-
项目类别:合作创新研究团队
-
资助金额:--
-
批准年份:2024
-
负责人:姚韬
-
依托单位:
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
-
批准号:--
-
项目类别:外国学者研究基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:USHARANI HAREESH GOVINDARA JAN
-
依托单位:
基于Meta-analysis的新疆棉花灌水增产模型研究
-
批准号:41601604
-
项目类别:青年科学基金项目
-
资助金额:22.0万元
-
批准年份:2016
-
负责人:赵爱琴
-
依托单位:
大规模微阵列数据组的meta-analysis方法研究
-
批准号:31100958
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2011
-
负责人:赵洪雅
-
依托单位:
用“后合成核磁共振分析”(retrobiosynthetic NMR analysis)技术阐明青蒿素生物合成途径
-
批准号:30470153
-
项目类别:面上项目
-
资助金额:22.0万元
-
批准年份:2004
-
负责人:刘本叶
-
依托单位: