I/UCRC for Advanced Computing and Communication: Architecture-Based Estimation of Software Reliability
用于高级计算和通信的 I/UCRC:基于体系结构的软件可靠性估计
基本信息
- 批准号:9714965
- 负责人:
- 金额:$ 5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1997
- 资助国家:美国
- 起止时间:1997-09-01 至 2000-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
ABSTRACT EEC-9714797 MATHUR This two year project is a collaborative"TIE" study involving two multi-university Industry/University Cooperative Research Centers (I/UCRC). The Purdue University research site of the I/UCRC for Software Engineering and the Duke University research site of the I/UCRC for Advanced Computing and Communication will collaborate on the project "Architecture-Based Estimation of Software Reliability." The Purdue research site will: 1.) assess the value of both simulation and execution based approaches to software reliability, 2.) investigate the accuracy of reliability estimates and 3.) investigate the use of interface mutation for the estimation of interface reliability. The Duke University research site will: 1.) investigate the combined coverage and time-based approach for the estimation of component and application reliability and also 2.) investigate dependency modeling for inter- and intra- component dependencies. Both research sites will work together with the same large commercial system in the second year of the project.
摘要EEC-9714797 MATHUR 这个为期两年的项目是一个合作的“TIE”研究,涉及两个多大学工业/大学合作研究中心(I/UCRC)。 普渡大学的I/UCRC软件工程研究中心和杜克大学的I/UCRC高级计算和通信研究中心将在“基于架构的软件可靠性评估”项目上进行合作。" 普渡大学研究中心将:1.)评估模拟和基于执行的方法对软件可靠性的价值,2.)调查可靠性估计的准确性, 3.)第三章研究使用接口突变的接口可靠性的估计。 杜克大学的研究网站将:1。研究用于估计组件和应用程序可靠性的组合覆盖率和基于时间的方法,以及2.)研究组件间和组件内依赖性的依赖性建模。 在项目的第二年,这两个研究中心将与同一个大型商业系统一起工作。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Kishor Trivedi其他文献
The reliability of life-critical computer systems
- DOI:
10.1007/bf00264310 - 发表时间:
1986-11-01 - 期刊:
- 影响因子:0.500
- 作者:
Robert Geist;Mark Smotherman;Kishor Trivedi;Joanne Bechta Dugan - 通讯作者:
Joanne Bechta Dugan
The Effect of Detection and Restoration Times for Error Recovery in Communication Networks
- DOI:
10.1023/a:1018722928191 - 发表时间:
1997-06-01 - 期刊:
- 影响因子:3.900
- 作者:
Dimitris Logothetis;Kishor Trivedi - 通讯作者:
Kishor Trivedi
DASON: Dependability Assessment Framework for Imperfect Distributed SDN Implementations
DASON:不完美的分布式 SDN 实施的可靠性评估框架
- DOI:
10.1109/tnsm.2020.2973925 - 发表时间:
2020-06 - 期刊:
- 影响因子:5.3
- 作者:
Petra Vizarreta;Kishor Trivedi;Veena Mendiratta;Wolfgang Kellerer;Carmen Mas-Machuca - 通讯作者:
Carmen Mas-Machuca
Kishor Trivedi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Kishor Trivedi', 18)}}的其他基金
SHF: Small: Fast Sign-Off of Machine Learning Systems: From Circuit-Level Modeling to Statistical System Validation
SHF:小型:机器学习系统的快速签核:从电路级建模到统计系统验证
- 批准号:
1813567 - 财政年份:2018
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
TWC: TTP Option: Small: Collaborative: SRN: On Establishing Secure and Resilient Networking Services
TWC:TTP 选项:小型:协作:SRN:关于建立安全和弹性的网络服务
- 批准号:
1523994 - 财政年份:2015
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
NeTS: Small: Collaborative Research: Analytic Modeling and Enhancement of Vehicular Ad Hoc Networks for Safety Related Applications
NeTS:小型:协作研究:用于安全相关应用的车辆自组织网络的分析建模和增强
- 批准号:
1017722 - 财政年份:2010
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Collaborative Research: CT-ER MiMANSaS: Metrics, Models and Analysis of Network Security and Survivability
合作研究:CT-ER MiMANSaS:网络安全和生存能力的指标、模型和分析
- 批准号:
0831325 - 财政年份:2008
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Collaborative Project: NSF Partnership in the Center for Advanced Computing and Communication
合作项目:美国国家科学基金会 (NSF) 高级计算和通信中心合作伙伴关系
- 批准号:
9980591 - 财政年份:1999
- 资助金额:
$ 5万 - 项目类别:
Continuing Grant
US-Italy Cooperative Research: Dependability Modeling and Analysis of Phased-Mission Systems
美意合作研究:分阶段任务系统的可靠性建模和分析
- 批准号:
9972009 - 财政年份:1999
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
U.S.-Korea Cooperative Research on Performance Analysis Methodology for the Future Wireless Communicatin Systems
美韩合作研究未来无线通信系统性能分析方法
- 批准号:
9727221 - 财政年份:1998
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Challenges in CISE: TUNE: System Support for Memory-Friendly Programming
CISE 中的挑战:TUNE:内存友好型编程的系统支持
- 批准号:
9726370 - 财政年份:1997
- 资助金额:
$ 5万 - 项目类别:
Continuing Grant
Industry/University Cooperative Research Center for Advanced Computing and Communication
先进计算与通信产学合作研究中心
- 批准号:
9418765 - 财政年份:1994
- 资助金额:
$ 5万 - 项目类别:
Continuing Grant
I/UCRC for Computer Engineering System Center, A Planning Grant Proposal
I/UCRC 计算机工程系统中心规划拨款提案
- 批准号:
9312908 - 财政年份:1993
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
相似国自然基金
面向用户体验的IMT-Advanced系统跨层无线资源分配技术研究
- 批准号:61201232
- 批准年份:2012
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
LTE-Advanced中继网络关键技术研究
- 批准号:61171096
- 批准年份:2011
- 资助金额:60.0 万元
- 项目类别:面上项目
IMT-Advanced协作中继网络中的网络编码研究
- 批准号:61040005
- 批准年份:2010
- 资助金额:10.0 万元
- 项目类别:专项基金项目
面向IMT-Advanced的移动组播关键技术研究
- 批准号:61001071
- 批准年份:2010
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
基于干扰预测的IMT-Advanced多小区干扰抑制技术研究
- 批准号:61001116
- 批准年份:2010
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
相似海外基金
CC* Planning: Leading Advanced University Computing for Higher Education (LAUNCH) MSU
CC* 规划:领先的高等教育先进大学计算 (LAUNCH) MSU
- 批准号:
2346088 - 财政年份:2024
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
EAGER: SPRITE: Sensor Processing and Realtime Intelligence at The Edge - Supporting the National Discovery Cloud for Climate with Advanced Networking, Cloud, and Edge Computing
EAGER:SPRITE:边缘传感器处理和实时智能 - 通过先进的网络、云和边缘计算支持国家气候发现云
- 批准号:
2335335 - 财政年份:2023
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Equipment: MRI: Track 1 Acquisition of a GPU-Accelerated Computing Cluster for Advanced Optimization and Design in Multidisciplinary Research and Education
设备:MRI:Track 1 获取 GPU 加速计算集群,用于多学科研究和教育中的高级优化和设计
- 批准号:
2320649 - 财政年份:2023
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Conference: Practice and Experience in Advanced Research Computing (PEARC23)
会议:高级研究计算的实践和经验(PEARC23)
- 批准号:
2328478 - 财政年份:2023
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
CC* Regional Computing: Enhancing Computing At Regional Schools in the Rocky Mountain Advanced Computing Consortium (RMACC)
CC* 区域计算:增强落基山高级计算联盟 (RMACC) 区域学校的计算能力
- 批准号:
2322260 - 财政年份:2023
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
CC* CIRA: Alabama Advanced Research Computing Consortium (AARCC)
CC* CIRA:阿拉巴马州高级研究计算联盟 (AARCC)
- 批准号:
2201340 - 财政年份:2022
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Semiconductor circuit design in advanced silicon technologies for next-generation communication, computing and automation
采用先进硅技术的半导体电路设计,用于下一代通信、计算和自动化
- 批准号:
RGPIN-2022-04158 - 财政年份:2022
- 资助金额:
$ 5万 - 项目类别:
Discovery Grants Program - Individual
IRES Track I: Advanced Engineering and Scientific Computing Research in Sweden
IRES Track I:瑞典的先进工程和科学计算研究
- 批准号:
2153488 - 财政年份:2022
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
Canada-UK Quantum Technologies call: Advanced Manufacturing Toolkit for Quantum Sensing and Quantum Computing
加拿大-英国量子技术呼吁:用于量子传感和量子计算的先进制造工具包
- 批准号:
556328-2020 - 财政年份:2022
- 资助金额:
$ 5万 - 项目类别:
Alliance Grants
Using quantum and hybrid advanced computing to reduce aviation carbon emissions and environmental impact
利用量子和混合先进计算减少航空碳排放和环境影响
- 批准号:
10042971 - 财政年份:2022
- 资助金额:
$ 5万 - 项目类别:
Grant for R&D