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条所述的项目。这种合作研究将创造出提高软件产品线可靠性的技术。软件产品线是一组软件系统,它们共享某些共同的特性,并根据一组指定的变体而有所不同。软件产品线的使用在工业中迅速增长,因为这样的重用降低了构建新系统的成本。可靠性对产品线开发人员来说很重要,因为许多产品线,如移动电话、工业机器人和外科成像系统,都需要可靠的操作。这个项目的重点是开发一个严格的框架,用于软件产品线可靠性的增量评估和预测(sl - 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
-
负责人:何祖华
-
依托单位: