课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
服务器应用程序中的软件故障是保持系统可用性的重要问题。 在没有完美的软件,本研究的重点是容忍和恢复错误,利用软件的弹性:正常的代码恢复某些故障时,低级别的故障被操作系统或适当的仪器屏蔽的能力。 软件弹性是利用引入救援点,位置在应用程序代码中处理程序员预期的故障,这是自动重新利用和测试,安全地使故障恢复从一个更大的类的意外故障。 救援点从未知故障中恢复软件,同时通过模仿已知错误条件下的系统行为来维护系统完整性和可用性。 它们使用模糊识别,使用检查点重新启动机制创建,并进行测试,然后使用二进制补丁注入生产代码。 这种方法掩盖了失败,允许继续执行程序,同时最大限度地减少不希望的副作用,使应用程序恢复和软件自我修复。
英文摘要
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
  • 负责人:
    高学文
  • 依托单位: