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

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

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.