Runtime and Static Verification of Concurrent Systems

并发系统的运行时和静态验证

基本信息

  • 批准号:
    0916438
  • 负责人:
  • 金额:
    $ 48.55万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2009
  • 资助国家:
    美国
  • 起止时间:
    2009-08-01 至 2014-07-31
  • 项目状态:
    已结题

项目摘要

The project will develop techniques for monitoring systems to check if their executions satisfy a property specified by an automaton or a temporal logic specification. Systems to be monitored are modeled as a stochastic system. The project proposes accuracy measures that denote how accurately the desired property is monitored. The research will implement the accuracy measures as monitors for such systems. The research will also develop active monitors that interact with the underlying system to ensure the correctness properties, as well as techniques for detection of failures from a system?s external behavior and static verification techniques based on model checking employing symmetry based reduction. The work will lead to mathematically rigorous and powerful techniques that will improve the reliability of increasingly complex systems.
该项目将开发用于监控系统的技术,以检查其执行是否满足自动机或时序逻辑规范指定的属性。被监控的系统被建模为一个随机系统。该项目提出了准确性措施,表明如何准确地监测所需的财产。 该研究将实施作为此类系统的监测器的准确性措施。该研究还将开发与底层系统交互的主动监视器,以确保正确性,以及用于检测系统故障的技术。的外部行为和静态验证技术的基础上,采用基于对称性的约简模型检测。 这项工作将导致数学上严格和强大的技术,将提高日益复杂的系统的可靠性。

项目成果

期刊论文数量(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 }}

Aravinda Sistla其他文献

Aravinda Sistla的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Aravinda Sistla', 18)}}的其他基金

SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms
SHF:媒介:协作研究:差分隐私机制的验证
  • 批准号:
    1901069
  • 财政年份:
    2019
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Standard Grant
SHF: Small: Static and Dynamic Techniques for Correctness of Probabilistic Systems
SHF:小:概率系统正确性的静态和动态技术
  • 批准号:
    1319754
  • 财政年份:
    2013
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Standard Grant
CPS: Small: Monitoring Techniques for Safety Critical Cyber-Physical Systems
CPS:小型:安全关键网络物理系统的监控技术
  • 批准号:
    1035914
  • 财政年份:
    2010
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Continuing Grant
Collaborative Research: CSR--EHS: Property-Based Development of Reactive and Embedded Systems
合作研究:CSR--EHS:反应式和嵌入式系统的基于属性的开发
  • 批准号:
    0720525
  • 财政年份:
    2007
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Standard Grant
SGER: Monitoring Off-the-shelf Components
SGER:监控现成组件
  • 批准号:
    0742686
  • 财政年份:
    2007
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Standard Grant
ITR: COLLABORATIVE RESEARCH: Towards a Seamless Process for the Development of Embedded Systems
ITR:协作研究:实现嵌入式系统开发的无缝流程
  • 批准号:
    0205365
  • 财政年份:
    2002
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Continuing Grant
Automated Methods for Verification of Concurrent Software Systems
并行软件系统验证的自动化方法
  • 批准号:
    9988884
  • 财政年份:
    2000
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Standard Grant
Triggers and Queries in Distributed Software Systems for Moving Objects
移动对象分布式软件系统中的触发器和查询
  • 批准号:
    9803974
  • 财政年份:
    1998
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Standard Grant
Similarity Based Retrieval From Video and Pictorial Databases
从视频和图片数据库中进行基于相似性的检索
  • 批准号:
    9711925
  • 财政年份:
    1997
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Continuing Grant
Formal Methods in Concurrent and Distributed Systems
并发和分布式系统中的形式化方法
  • 批准号:
    9623229
  • 财政年份:
    1996
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Standard Grant

相似海外基金

Static Verification for Fearless GPU programming
无畏 GPU 编程的静态验证
  • 批准号:
    2204986
  • 财政年份:
    2022
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Standard Grant
CCF: SHF: Medium: Collaborative Research: A Static and Dynamic Verification Framework for Parallel Programming
CCF:SHF:媒介:协作研究:并行编程的静态和动态验证框架
  • 批准号:
    1302524
  • 财政年份:
    2013
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Continuing Grant
CCF: SHF: Medium: Collaborative Research: A Static and Dynamic Verification Framework for Parallel Programming
CCF:SHF:媒介:协作研究:并行编程的静态和动态验证框架
  • 批准号:
    1302449
  • 财政年份:
    2013
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Continuing Grant
CCF: SHF: Medium: Collaborative: A Static and Dynamic Verification Framework for Parallel Programming
CCF:SHF:媒介:协作:并行编程的静态和动态验证框架
  • 批准号:
    1302570
  • 财政年份:
    2013
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Continuing Grant
program verification by combining dynamic and static analysis
动态与静态分析相结合的程序验证
  • 批准号:
    392064-2010
  • 财政年份:
    2012
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
program verification by combining dynamic and static analysis
动态与静态分析相结合的程序验证
  • 批准号:
    392064-2010
  • 财政年份:
    2011
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
program verification by combining dynamic and static analysis
动态与静态分析相结合的程序验证
  • 批准号:
    392064-2010
  • 财政年份:
    2010
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Practical advances in interface specification languages and tools for extended static checking and formal verification
用于扩展静态检查和形式验证的接口规范语言和工具的实际进展
  • 批准号:
    261573-2003
  • 财政年份:
    2007
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Discovery Grants Program - Individual
Practical advances in interface specification languages and tools for extended static checking and formal verification
用于扩展静态检查和形式验证的接口规范语言和工具的实际进展
  • 批准号:
    261573-2003
  • 财政年份:
    2006
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Discovery Grants Program - Individual
Practical advances in interface specification languages and tools for extended static checking and formal verification
用于扩展静态检查和形式验证的接口规范语言和工具的实际进展
  • 批准号:
    261573-2003
  • 财政年份:
    2005
  • 资助金额:
    $ 48.55万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了