I/UCRC for Advanced Computing and Communication: Architecture-Based Estimation of Software Reliability
I/UCRC for Advanced Computing and Communication: Architecture-Based Estimation of Software Reliability
批准号:
9714965
负责人:
Kishor Trivedi
金额:
$5.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1997
资助国家:
美国
项目状态:
已结题
起止时间:
1997-09-01 至 2000-08-31
中文摘要
摘要EEC-9714797 MATHUR 这个为期两年的项目是一个合作的“TIE”研究,涉及两个多大学工业/大学合作研究中心(I/UCRC)。 普渡大学的I/UCRC软件工程研究中心和杜克大学的I/UCRC高级计算和通信研究中心将在“基于架构的软件可靠性评估”项目上进行合作。" 普渡大学研究中心将:1.)评估模拟和基于执行的方法对软件可靠性的价值,2.)调查可靠性估计的准确性, 3.)第三章研究使用接口突变的接口可靠性的估计。 杜克大学的研究网站将:1。研究用于估计组件和应用程序可靠性的组合覆盖率和基于时间的方法,以及2.)研究组件间和组件内依赖性的依赖性建模。 在项目的第二年,这两个研究中心将与同一个大型商业系统一起工作。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Fast Sign-Off of Machine Learning Systems: From Circuit-Level Modeling to Statistical System Validation
-
批准号:1813567
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2018
-
负责人:Kishor Trivedi
-
依托单位:
TWC: TTP Option: Small: Collaborative: SRN: On Establishing Secure and Resilient Networking Services
-
批准号:1523994
-
项目类别:Standard Grant
-
资助金额:$23.7万
-
财政年份:2015
-
负责人:Kishor Trivedi
-
依托单位:
NeTS: Small: Collaborative Research: Analytic Modeling and Enhancement of Vehicular Ad Hoc Networks for Safety Related Applications
-
批准号:1017722
-
项目类别:Standard Grant
-
资助金额:$14.75万
-
财政年份:2010
-
负责人:Kishor Trivedi
-
依托单位:
Collaborative Research: CT-ER MiMANSaS: Metrics, Models and Analysis of Network Security and Survivability
-
批准号:0831325
-
项目类别:Standard Grant
-
资助金额:$14.64万
-
财政年份:2008
-
负责人:Kishor Trivedi
-
依托单位:
Collaborative Project: NSF Partnership in the Center for Advanced Computing and Communication
-
批准号:9980591
-
项目类别:Continuing Grant
-
资助金额:$19.9万
-
财政年份:1999
-
负责人:Kishor Trivedi
-
依托单位:
US-Italy Cooperative Research: Dependability Modeling and Analysis of Phased-Mission Systems
-
批准号:9972009
-
项目类别:Standard Grant
-
资助金额:$2.2万
-
财政年份:1999
-
负责人:Kishor Trivedi
-
依托单位:
U.S.-Korea Cooperative Research on Performance Analysis Methodology for the Future Wireless Communicatin Systems
-
批准号:9727221
-
项目类别:Standard Grant
-
资助金额:$5.08万
-
财政年份:1998
-
负责人:Kishor Trivedi
-
依托单位:
Challenges in CISE: TUNE: System Support for Memory-Friendly Programming
-
批准号:9726370
-
项目类别:Continuing Grant
-
资助金额:$154.79万
-
财政年份:1997
-
负责人:Kishor Trivedi
-
依托单位:
Industry/University Cooperative Research Center for Advanced Computing and Communication
-
批准号:9418765
-
项目类别:Continuing Grant
-
资助金额:$114.81万
-
财政年份:1994
-
负责人:Kishor Trivedi
-
依托单位:
I/UCRC for Computer Engineering System Center, A Planning Grant Proposal
-
批准号:9312908
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1993
-
负责人:Kishor Trivedi
-
依托单位:
CS&E Research Associate: High Performance Computing in Stochastic Modeling
-
批准号:9310243
-
项目类别:Standard Grant
-
资助金额:$4.62万
-
财政年份:1993
-
负责人:Kishor Trivedi
-
依托单位:
Towards a Theory of Hierarchical Modeling
-
批准号:9108114
-
项目类别:Continuing Grant
-
资助金额:$15.72万
-
财政年份:1991
-
负责人:Kishor Trivedi
-
依托单位:
Analysis of Parallel and Distributed Systems (Computer Science)
-
批准号:8302000
-
项目类别:Standard Grant
-
资助金额:$9.69万
-
财政年份:1983
-
负责人:Kishor Trivedi
-
依托单位:
Sfc Travel Support (In Indian Currency) to Collaborate on Computer Systems at Indian Institute of Science, Bangalore, India, January 1, 1982
-
批准号:8120702
-
项目类别:Standard Grant
-
资助金额:$0.26万
-
财政年份:1982
-
负责人:Kishor Trivedi
-
依托单位:
Problems in Computer Configuration Design
-
批准号:7822327
-
项目类别:Standard Grant
-
资助金额:$14.51万
-
财政年份:1979
-
负责人:Kishor Trivedi
-
依托单位:
Travel to Attend Parallel Computers - Parallel Mathematics Imacs (Aica) - Gi Symposium, Munich, Germany, 03/14-16/1977
-
批准号:7709515
-
项目类别:Standard Grant
-
资助金额:$0.08万
-
财政年份:1977
-
负责人:Kishor Trivedi
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Capture and Release of Droplets Using Advanced Materials for High Technology Applications
-
批准号:52073127
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2020
-
负责人:Alidad Amirfazli
-
依托单位:
面向用户体验的IMT-Advanced系统跨层无线资源分配技术研究
-
批准号:61201232
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2012
-
负责人:胡亚辉
-
依托单位:
LTE-Advanced中继网络关键技术研究
-
批准号:61171096
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2011
-
负责人:王献
-
依托单位:
IMT-Advanced协作中继网络中的网络编码研究
-
批准号:61040005
-
项目类别:专项基金项目
-
资助金额:10.0万元
-
批准年份:2010
-
负责人:王静
-
依托单位:
基于干扰预测的IMT-Advanced多小区干扰抑制技术研究
-
批准号:61001116
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2010
-
负责人:许晓东
-
依托单位:
面向IMT-Advanced的移动组播关键技术研究
-
批准号:61001071
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2010
-
负责人:王海波
-
依托单位: