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.

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