SHF: Small: Collaborative Research: Evidence-based Reliability Assessment of Software Product Lines
SHF: Small: Collaborative Research: Evidence-based Reliability Assessment of Software Product Lines
批准号:
0916275
负责人:
Robyn Lutz
金额:
$24.89万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-09-01 至 2013-08-31
中文摘要
这项提案将使用2009年《美国复苏和再投资法案》(公法111-5)提供的资金授予,并符合2009年3月20日题为《确保负责任地使用复苏法案资金》的白宫备忘录第2节规定的要求。作为认知计划官员,我还确认,该提案不支持恢复法案A分部1604节中描述的项目。这种合作研究将创造出提高软件产品线可靠性的技术。软件产品线是一系列软件系统,它们共享某些公共功能,并根据一组指定的变体而不同。软件产品线在工业中的使用迅速增长,因为这种重用降低了构建新系统的成本。可靠性对产品线开发人员很重要,因为许多产品线,如移动电话、工业机器人和外科成像系统,都需要可靠的操作。该项目致力于开发一个严格的软件产品线可靠性增量评估和预测框架(SPL-iRAP)。这项研究有三个主要目的:(1)开发软件产品线的可靠性建模技术,以处理变化和持续变化的影响;(2)基于经验数据,研究可靠性模型在整个产品线预测中的使用;(3)量化重用对软件质量的好处。研究人员将对学生,特别是女性和代表性不足的群体进行软件可靠性技术方面的培训,创建新的教学课程单元,并与产品线的工业开发商合作演示新技术。
英文摘要
This proposal will be awarded using funds made available by the American Recovery and Reinvestment Act of 2009 (Public Law 111-5), and meets the requirements established in Section 2 of the White House Memorandum entitled, Ensuring Responsible Spending of Recovery Act Funds, dated March 20, 2009. I also affirm, as the cognizant Program Officer, that the proposal does not support projects described in Section 1604 of Division A of the Recovery Act.This collaborative research will create techniques that improve the reliability of software product lines. A software product line is a family of software systems that share certain common features and differ according to a set of specified variations. Use of software product lines has grown rapidly in industry because such reuse reduces the cost of building new systems. Reliability is important to product-line developers since many product lines, such as mobile phones, industrial robots, and surgical imaging systems, require reliable operation. This project focuses on development of a rigorous framework for incremental assessment and prediction of software product line reliability (SPL-iRAP). The research has three major thrusts: (1) developing reliability modeling techniques for software product lines to handle the effects of variations and ongoing changes, (2) investigating the use of reliability models for prediction across the product line based on empirical data, and (3) quantifying the benefit of the reuse on software quality. The researchers will train students, particularly women and underrepresented groups, in software reliability techniques, create new curriculum units for teaching, and partner with industrial developers of product lines to demonstrate the new techniques.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Small: Towards Variability-Aware Software Analysis and Testing
-
批准号:2211589
-
项目类别:Standard Grant
-
资助金额:$29.88万
-
财政年份:2022
-
负责人:Robyn Lutz
-
依托单位:
FET: Medium: Design for Dependability in Systems of Molecular Programs
-
批准号:1900716
-
项目类别:Continuing Grant
-
资助金额:$80.0万
-
财政年份:2019
-
负责人:Robyn Lutz
-
依托单位:
CPS:Synergy: Safety-Aware Cyber-Molecular Systems
-
批准号:1545028
-
项目类别:Standard Grant
-
资助金额:$82.39万
-
财政年份:2015
-
负责人:Robyn Lutz
-
依托单位:
SHF: Medium: RUI: Collaborative Research: Advanced Traceability for Composing Product Line Safety Cases
-
批准号:1513717
-
项目类别:Standard Grant
-
资助金额:$42.39万
-
财政年份:2015
-
负责人:Robyn Lutz
-
依托单位:
Travel Support for Software Design and Productivity Summit
-
批准号:1143825
-
项目类别:Standard Grant
-
资助金额:$4.0万
-
财政年份:2011
-
负责人:Robyn Lutz
-
依托单位:
Safety Analysis of Evolving Product Lines
-
批准号:0541163
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Robyn Lutz
-
依托单位:
ITR: Collaborative Research: Natural Language in the Development of High-Confidence Software
-
批准号:0205588
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Robyn Lutz
-
依托单位:
Safety Analysis for Critical Product Lines
-
批准号:0204139
-
项目类别:Continuing Grant
-
资助金额:$27.92万
-
财政年份:2002
-
负责人:Robyn Lutz
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: