课题基金 / 基金详情

TC: Small: Exploiting Software Elasticity for Automatic Software Self-Healing

TC: Small: Exploiting Software Elasticity for Automatic Software Self-Healing
TC:小:利用软件弹性实现自动软件自我修复
批准号:
0914845
负责人:
Jason Nieh
金额:
$45.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-09-01 至 2013-08-31

项目摘要

项目成果

Jason Nieh的其他基金

相似基金

相关文献

中文摘要
翻译
服务器应用程序中的软件故障是维护系统可用性的一个重大问题。在没有完美软件的情况下,这项研究的重点是通过利用软件弹性来容错和恢复错误:当操作系统或适当的工具屏蔽低级别故障时,常规代码从某些故障中恢复的能力。通过引入救援点来利用软件弹性,救援点是应用程序代码中用于处理程序员预期的故障的位置,它们被自动重新调整用途并进行测试,以安全地实现从更大类别的意外故障中的故障恢复。救援点通过模拟已知错误条件下的系统行为,从未知故障中恢复软件,同时保持系统的完整性和可用性。它们使用Fuzing进行识别,使用检查点重启机制创建,并进行测试,然后使用二进制修补注入到生产代码中。这种方法屏蔽了故障,以允许继续执行程序,同时将不良副作用降至最低,从而实现了应用程序恢复和软件自我修复。
英文摘要
Software failures in server applications are a significant problem for preserving system availability. In the absence of perfect software, this research focuses on tolerating and recovering from errors by exploiting software elasticity: the ability of regular code to recover from certain failures when low-level faults are masked by the operating system or appropriate instrumentation. Software elasticity is exploited by introducing rescue points, locations in application code for handling programmer-anticipated failures, which are automatically repurposed and tested for safely enabling fault recovery from a larger class of unanticipated faults. Rescue points recover software from unknown faults while maintaining system integrity and availability by mimicking system behavior under known error conditions. They are identified using fuzzing, created using a checkpoint-restart mechanism, and tested then injected into production code using binary patching. This approach masks failures to permit continued program execution while minimizing undesirable side-effects, enabling application recovery and software self-healing.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FMitF: Track I: Verifying System Software on an Arm Multiprocessor Hardware Model
  • 批准号:
    2124080
  • 项目类别:
    Standard Grant
  • 资助金额:
    $75.0万
  • 财政年份:
    2021
  • 负责人:
    Jason Nieh
  • 依托单位:
FMitF: Track I: A Secure and Verifiable Commodity Hypervisor
  • 批准号:
    1918400
  • 项目类别:
    Standard Grant
  • 资助金额:
    $75.0万
  • 财政年份:
    2019
  • 负责人:
    Jason Nieh
  • 依托单位:
TWC: TTP Option: Small: A Linux ARM Hypervisor for System Security
  • 批准号:
    1422909
  • 项目类别:
    Standard Grant
  • 资助金额:
    $63.51万
  • 财政年份:
    2014
  • 负责人:
    Jason Nieh
  • 依托单位:
CSR: Medium: A Virtual Smartphone and Tablet System Architecture
  • 批准号:
    1162447
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $78.3万
  • 财政年份:
    2012
  • 负责人:
    Jason Nieh
  • 依托单位:
国内基金
海外基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
  • 依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2022
  • 负责人:
    张祥忠
  • 依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2019
  • 负责人:
    高学文
  • 依托单位: