US-Italy Cooperative Research: Dependability Modeling and Analysis of Phased-Mission Systems

美意合作研究：分阶段任务系统的可靠性建模和分析

• 批准号: 9972009
• 负责人: Kishor Trivedi
• 金额: $ 2.2万
• 依托单位: Duke University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-08-01 至 2002-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9972009&HistoricalAwards=false
• 关键词: US; Italy; Cooperative; Research; Dependability

9972009TrivediThis two-year award supports US-Italy cooperative research in dependability modeling and analysis of phased-mission systems between Kishor Trivedi of Duke University and Andrea Bondavalli of the National University Center of Electronic Computing (CNUCE), an institute of the National Research Council (CNR) in Pisa, Italy. The objective of their research is to define a methodology for the modeling and analysis of phased-mission systems (PMS). Their approach to this problem involves the definition of a general modeling methodology, integration of the methodology into a tool for the automated evaluation of system dependability, and application of the methodology to the analysis of several realistic case studies. The US investigator brings to this collaboration expertise in modeling techniques for performance, reliability, and dependability evaluation. This is complemented by the Italian expertise in a hierarchical and modular approach to the modeling of PMS. Phased-mission are of strong interest for many industrial groups and represent an active area of research for application in such domains as aided-guide aircraft, nuclear power plant control, or on-board computing systems for long-life spacecraft.

9972009Trivedi 这个为期两年的奖项支持美国-意大利杜克大学的 Kishor Trivedi 和国家大学电子计算中心 (CNUCE)（国家研究委员会下属机构）的 Andrea Bondavalli 之间在分阶段任务系统可靠性建模和分析方面的合作研究（ CNR）在意大利比萨。他们的研究目标是定义一种用于分阶段任务系统 (PMS) 建模和分析的方法。 他们解决这个问题的方法包括定义通用建模方法，将该方法集成到自动评估系统可靠性的工具中，以及将该方法应用于几个实际案例研究的分析。 美国研究人员为此次合作带来了性能、可靠性和可靠性评估建模技术方面的专业知识。 意大利在 PMS 建模的分层和模块化方法方面的专业知识对此进行了补充。 分阶段任务引起了许多工业团体的浓厚兴趣，并且代表了辅助制导飞机、核电站控制或长寿命航天器的机载计算系统等领域的活跃研究领域。