论文标题
使用UML状态机从基于模型的功能描述中自动生成RAMS分析
Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines
论文作者
论文摘要
在当今的工业实践中，安全性，可靠性或可用性工件（例如断层树，马尔可夫模型或fmeas）主要由专家手动创建，通常与系统工程活动截然不同。涉及大量努力，成本和及时的要求，以进行所需的分析。在本文中，我们描述了一种新型的基于集成模型的系统工程和可靠性分析方法。系统组件的行为是通过确定预期/正确和不希望/错误行为的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.
