Collaborative Research: Software and Hardware Support for Efficient Monitoring of Program Behavior

协作研究:高效监控程序行为的软硬件支持

基本信息

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

项目摘要

Proposal Numbers: CCF-0541080, CCF-0541075, and CCF-0541108Alessandro Orso, Johnathan Cook, Yan SolihinTitle: Collaborative Research: Software and Hardware Support for EfficientMonitoring of Program BehaviorPIs: Alessandro Orso, Milos Prvulovic, Jonathan Cook, and Yan SolihinBecause today's software is increasingly dynamic and runs in heterogeneous environments, it is difficult to assess software systems outside the actual context in which they execute. This situation has spurred much interest in efficient runtime monitoring of software systems' dynamic behavior in production environments. Most existing runtime monitoring approaches, however, suffer from three limitations: they are ad-hoc and hard to extend/adapt; they impose too much overhead to be practical; and they are defined within only one computational layer (hardware, O/S, VM, or software). This project will investigate and define a general, efficient runtime monitoring approach that leverages software and hardware capabilities in a synergistic way. In this approach, monitoring tasks will be specified using a language that provides suitable abstractions. These specifications will then be automatically analyzed and the monitoring tasks distributed across software and hardware layers to minimize performance overhead. This project will improve the state of the art by (1) providing hardware and software support for new monitoring activities currently neglected as impractical, (2) developing infrastructure and tools that will be made available to the research community, and (3) improving overall software quality through detection of and reaction to anomalous, erratic, or malicious software behavior.
提案编号:CCF-0541080、CCF-0541075和CCF-0541108 Alessandro Orso、Johnathan Cook、Yan Solihin标题:协作研究:软件和硬件支持对程序行为的有效监控PI:Alessandro Orso、Milos Prvulovic、Jonathan Cook和Yan Solihin由于今天的软件越来越动态,并且在异构环境中运行,很难在软件系统执行的实际环境之外评估软件系统。这种情况激发了人们对生产环境中软件系统动态行为的有效运行时监控的兴趣。 然而,大多数现有的运行时监控方法有三个局限性:它们是临时的,难以扩展/适应;它们施加太多的开销而不实用;它们仅在一个计算层(硬件,O/S,VM或软件)内定义。这个项目将研究和定义一个通用的,高效的运行时监控方法,以协同的方式利用软件和硬件功能。在这种方法中,将使用提供适当抽象的语言来指定监控任务。 然后,这些规范将被自动分析,监控任务将分布在软件和硬件层,以最大限度地减少性能开销。该项目将通过以下方式提高最新技术水平:(1)为目前因不切实际而被忽视的新监测活动提供硬件和软件支持;(2)开发可供研究界使用的基础设施和工具;(3)通过检测和应对异常、不稳定或恶意软件行为来提高整体软件质量。

项目成果

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

Jonathan Cook其他文献

Describing the landscape of nutrition- and diet-related randomized controlled trials: metaresearch study of protocols published between 2012 and 2022
描述营养与饮食相关随机对照试验的格局:对2012年至2022年间发表的试验方案的元研究
  • DOI:
    10.1016/j.ajcnut.2025.01.016
  • 发表时间:
    2025-04-01
  • 期刊:
  • 影响因子:
    6.900
  • 作者:
    Flávia Moraes Silva;Amanda Rodrigues Amorim Adegboye;Celeste Naude;Cintia Curioni;Fabio S Gomes;Gary S Collins;Gilberto Kac;Jennifer Anne de Beyer;Jonathan Cook;Leila Cheikh Ismail;Matthew J Page;Neha Khandpur;Sallie Lamb;Sally Hopewell;Shaima Saleh;Shona Kirtley;Simone Bernardes;Solange Durão;Colby J Vorland;Michael Maia Schlussel
  • 通讯作者:
    Michael Maia Schlussel
Invited Discussion on: The Effect of Hyaluronidase on Depth of Necrosis in Hyaluronic Acid Filling-Related Skin Complications
  • DOI:
    10.1007/s00266-020-01796-x
  • 发表时间:
    2020-06-04
  • 期刊:
  • 影响因子:
    2.800
  • 作者:
    Jonathan Cook;Jason N. Pozner
  • 通讯作者:
    Jason N. Pozner
Invited Discussion on: A Prospective Study Determining Patient Satisfaction with Combined Cryolipolysis and Shockwave Therapy Treatment for Non-Invasive Body Contouring
  • DOI:
    10.1007/s00266-021-02239-x
  • 发表时间:
    2021-03-25
  • 期刊:
  • 影响因子:
    2.800
  • 作者:
    Jonathan Cook;Jason N. Pozner
  • 通讯作者:
    Jason N. Pozner
Developing a patient and public involvement intervention to enhance recruitment and retention in surgical trials (PIRRIST): study protocol
  • DOI:
    10.1186/1745-6215-16-s2-p89
  • 发表时间:
    2015-11-16
  • 期刊:
  • 影响因子:
    2.000
  • 作者:
    Joanna Crocker;Sian Rees;Louise Locock;Sophie Petit-Zeman;Alan Chant;Shaun Treweek;Jonathan Cook;Nicola Farrar;Kerry Woolfall;Richard Bulbulia
  • 通讯作者:
    Richard Bulbulia
Difficulties with defining diagnostic accuracy study outcomes
  • DOI:
    10.1186/1745-6215-16-s2-p49
  • 发表时间:
    2015-11-16
  • 期刊:
  • 影响因子:
    2.000
  • 作者:
    Katie Banister;Craig Ramsay;Jonathan Cook;Charles Boachie;Augusto Azuara-Blanco
  • 通讯作者:
    Augusto Azuara-Blanco

Jonathan Cook的其他文献

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

{{ truncateString('Jonathan Cook', 18)}}的其他基金

Collaborative Research:Beyond Representation: Adversity Experiences on STEM Motivation, Performance, and Persistence
合作研究:超越表征:逆境经历对 STEM 动机、表现和毅力的影响
  • 批准号:
    2100283
  • 财政年份:
    2021
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Reducing Attrition in STEM Doctoral Education: A Longitudinal Investigation using Momentary Assessment and Social Psychological Intervention
减少 STEM 博士教育中的人员流失:利用瞬时评估和社会心理干预进行的纵向调查
  • 批准号:
    1661214
  • 财政年份:
    2017
  • 资助金额:
    $ 15万
  • 项目类别:
    Continuing Grant
Methodology State-of-the-art workshop: Choosing the target difference (“effect size”) for a randomised controlled trial
最先进的方法论研讨会:为随机对照试验选择目标差异(“效应大小”)
  • 批准号:
    MC_PC_16101
  • 财政年份:
    2016
  • 资助金额:
    $ 15万
  • 项目类别:
    Intramural
Evaluating the role of expertise-based trial designs in trials of surgical interventions
评估基于专业知识的试验设计在手术干预试验中的作用
  • 批准号:
    G1002292/2
  • 财政年份:
    2013
  • 资助金额:
    $ 15万
  • 项目类别:
    Fellowship
MRI: Acquisition of an Instrument for Research in Irregularly Parallel Big Data Computation
MRI:购买用于不规则并行大数据计算研究的仪器
  • 批准号:
    1337884
  • 财政年份:
    2013
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Evaluating the role of expertise-based trial designs in trials of surgical interventions
评估基于专业知识的试验设计在手术干预试验中的作用
  • 批准号:
    G1002292/1
  • 财政年份:
    2011
  • 资助金额:
    $ 15万
  • 项目类别:
    Fellowship
Assessing methods to specify the targeted difference for a randomised controlled trial
评估指定随机对照试验目标差异的方法
  • 批准号:
    G0902147/1
  • 财政年份:
    2010
  • 资助金额:
    $ 15万
  • 项目类别:
    Research Grant
Statistical methods for randomised surgical trials
随机手术试验的统计方法
  • 批准号:
    G0601938/1
  • 财政年份:
    2007
  • 资助金额:
    $ 15万
  • 项目类别:
    Fellowship
CRI: Infrastructure for Networked Sensor Information Technology
CRI:网络传感器信息技术基础设施
  • 批准号:
    0551734
  • 财政年份:
    2006
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Active Support for the Evolution of Component-Based Software
积极支持基于组件的软件的发展
  • 批准号:
    0306457
  • 财政年份:
    2003
  • 资助金额:
    $ 15万
  • 项目类别:
    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: Frameworks: Quakeworx - An extensible software framework for earthquake simulations
协作研究:框架:Quakeworx - 用于地震模拟的可扩展软件框架
  • 批准号:
    2311207
  • 财政年份:
    2023
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Collaborative Research: Elements: Lattice QCD software for nuclear physics on heterogeneous architectures
合作研究:Elements:用于异构架构核物理的 Lattice QCD 软件
  • 批准号:
    2311430
  • 财政年份:
    2023
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Collaborative Research: CCRI: New: A Scalable Hardware and Software Environment Enabling Secure Multi-party Learning
协作研究:CCRI:新:可扩展的硬件和软件环境支持安全的多方学习
  • 批准号:
    2347617
  • 财政年份:
    2023
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Collaborative Research: DESC: Type 1: Software-Hardware Recycling and Repair Dataset Infrastructure (SHReDI) for Sustainable Computing
合作研究:DESC:类型 1:用于可持续计算的软硬件回收和修复数据集基础设施 (SHReDI)
  • 批准号:
    2324949
  • 财政年份:
    2023
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Assessing the Relationship Between Privacy Regulations and Software Development to Improve Rulemaking and Compliance
合作研究:DASS:评估隐私法规与软件开发之间的关系以改进规则制定和合规性
  • 批准号:
    2317185
  • 财政年份:
    2023
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR: Small: Expediting Continual Online Learning on Edge Platforms through Software-Hardware Co-designs
协作研究:企业社会责任:小型:通过软硬件协同设计加快边缘平台上的持续在线学习
  • 批准号:
    2312157
  • 财政年份:
    2023
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: A hardware-software co-design approach for high-performance in-memory analytic data processing
协作研究:SHF:中:用于高性能内存分析数据处理的硬件软件协同设计方法
  • 批准号:
    2312741
  • 财政年份:
    2023
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Collaborative Research: CCRI: New: Syntactic Differencing Infrastructure for Software Evolution Research
合作研究:CCRI:新:软件进化研究的句法差异基础设施
  • 批准号:
    2232594
  • 财政年份:
    2023
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Learning Semantics of Code To Automate Software Assurance Tasks
协作研究:SHF:媒介:学习代码语义以自动化软件保障任务
  • 批准号:
    2313054
  • 财政年份:
    2023
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
COLLABORATIVE RESEARCH: EAGER: Towards Building a CyberInfrastructure for Facilitating the Assessment, Dissemination, Discovery, & Reuse of Software and Data Products
合作研究:渴望:建立网络基础设施以促进评估、传播、发现、
  • 批准号:
    2314202
  • 财政年份:
    2023
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了