CSR---VCM: Autonomic Mechanisms for Reducing System Downtime due to Maintenance and Upgrades
CSR---VCM: Autonomic Mechanisms for Reducing System Downtime due to Maintenance and Upgrades
批准号:
0717544
负责人:
Gail Kaiser
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-08-01 至 2010-07-31
中文摘要
该项目研究和开发自主机制,以减少因软件维护和升级而导致的系统停机时间。该项目涉及操作系统升级以及应用程序升级,重点是独立的二进制可执行应用程序。其主要目标是减少修补程序和更新将“破坏”与旧版本良好配合的环境的预期功能的可能性--在维护期间和维护后总体上最大化可用性和可靠性,同时施加最小的管理开销。这些贡献主要来自一种将应用程序实例与操作系统实例分离的虚拟化体系结构,使两者都能够独立更新。通过网络下载传播的结果将改善遗留应用程序的可用性,不需要访问源代码、修改、重新编译、重新链接或特定于应用程序的语义知识,并在商品操作系统和硬件上高效和安全地执行。
英文摘要
The project investigates and develops autonomic mechanisms forreducing system downtime due to software maintenance and upgrades.The project addresses operating system upgrades and also applicationupgrades, focusing on standalone binary-executable applications. Themain goal is to lessen the possibility that patches and updates will``break'' expected functionality of the environment that worked finetogether with the old version -- overall maximizing availability andreliability both during and after maintenance while imposing littlemanagement overhead. The contributions stem primarily from avirtualization architecture that decouples application instances fromoperating system instances, enabling either to be independentlyupdated. The results, disseminated via web download, will improveavailability of legacy applications, with no source code access,modification, recompilation, relinking or application-specificsemantic knowledge, and perform efficiently and securely on commodityoperating systems and hardware.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SaTC: CORE: Medium: Cannot Trust Anything: A Tiny TCB Architecture for Secure Containers
-
批准号:2247370
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2023
-
负责人:Gail Kaiser
-
依托单位:
SHF: Small: Preponderance of the Evidence for Behavioral Code Similarities
-
批准号:1815494
-
项目类别:Standard Grant
-
资助金额:$49.66万
-
财政年份:2018
-
负责人:Gail Kaiser
-
依托单位:
TWC: Medium: Toward Trustworthy Mutable Replay for Security Patches
-
批准号:1563555
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2016
-
负责人:Gail Kaiser
-
依托单位:
SHF: MEDIUM: Achieving Software Reliability without True Test Oracles
-
批准号:1161079
-
项目类别:Continuing Grant
-
资助金额:$89.46万
-
财政年份:2012
-
负责人:Gail Kaiser
-
依托单位:
Smart Event Models and Architectures
-
批准号:0203876
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2002
-
负责人:Gail Kaiser
-
依托单位:
Component Technologies for Next-Generation Software Development Environments
-
批准号:9970790
-
项目类别:Continuing Grant
-
资助金额:$22.5万
-
财政年份:1999
-
负责人:Gail Kaiser
-
依托单位:
CISE Research Instrumentation: Semantics-based Prefetching for Mobile Computing
-
批准号:9529304
-
项目类别:Standard Grant
-
资助金额:$4.67万
-
财政年份:1996
-
负责人:Gail Kaiser
-
依托单位:
Components for Decentralized Process-Centered Environments
-
批准号:9301092
-
项目类别:Continuing Grant
-
资助金额:$21.7万
-
财政年份:1993
-
负责人:Gail Kaiser
-
依托单位:
Multi-Agent Rule-Based Development Environments
-
批准号:9106368
-
项目类别:Continuing Grant
-
资助金额:$23.63万
-
财政年份:1991
-
负责人:Gail Kaiser
-
依托单位:
Distributed Language-based Environments
-
批准号:9000930
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1990
-
负责人:Gail Kaiser
-
依托单位:
CISE Research Instrumentation
-
批准号:8920080
-
项目类别:Standard Grant
-
资助金额:$4.41万
-
财政年份:1990
-
负责人:Gail Kaiser
-
依托单位:
Presidential Young Investigator Award: Computer Science (Software)
-
批准号:8858029
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1988
-
负责人:Gail Kaiser
-
依托单位:
Distributed Language-based Environments
-
批准号:8802741
-
项目类别:Standard Grant
-
资助金额:$14.63万
-
财政年份:1988
-
负责人:Gail Kaiser
-
依托单位:
国内基金
海外基金
基于VCM概念的轮式移动机器人自适应机构设计及研究
-
批准号:50905005
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2009
-
负责人:裴旭
-
依托单位: