使用UML状态机从基于模型的功能描述自动生成RAMS分析
Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines
摘要：
在当今的工业实践中，安全性、可靠性或可用性工件（如故障树、马尔可夫模型或FMEA）主要由专家手动创建，通常与系统工程活动分离。进行所需的分析需要付出巨大的努力、费用和及时的要求。在本文中，我们描述了一种新的集成的基于模型的方法，系统工程和可靠性分析。系统组件的行为由UML状态机指定，确定预期/正确和不期望/错误的行为。基于这些信息，我们的方法自动生成不同的可靠性分析的故障树的形式。因此，可以很容易地评估替代系统布局。这同样适用于诸如控制器之类的逻辑单元的逻辑输入-输出关系的简单变化。我们说明了我们的方法的可行性与简单的例子的帮助下，使用所提出的概念的原型实现。
英文摘要：
In today's industrial practice, safety, reliability or availability artifacts such as fault trees, Markov models or FMEAs are mainly created manually by experts, often distinctively decoupled from systems engineering activities. Significant efforts, costs and timely requirements are involved to conduct the required analyses. In this paper, we describe a novel integrated model-based approach of systems engineering and dependability analyses. The behavior of system components is specified by UML state machines determining intended/correct and undesired/faulty behavior. Based on this information, our approach automatically generates different dependability analyses in the form of fault trees. Hence, alternative system layouts can easily be evaluated. The same applies for simple variations of the logical input-output relations of logical units such as controllers. We illustrate the feasibility of our approach with the help of simple examples using a prototypical implementation of the presented concepts.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
