使用 UML 状态机从基于模型的功能描述自动生成 RAMS 分析
软件工程
2021-06-04 v2 系统与控制
系统与控制
摘要
在当今的工业实践中，安全性、可靠性或可用性等工件（如故障树、马尔可夫模型或 FMEA）主要由专家手动创建，通常与系统工程活动明显脱节。进行所需的分析涉及大量的工作、成本和时间要求。在本文中，我们描述了一种新颖的、集成的基于模型的系统工程与可信性分析方法。系统组件的行为由 UML 状态机指定，以确定预期/正确的行为和意外/故障的行为。基于这些信息，我们的方法自动生成不同形式的可信性分析，即故障树。因此，可以轻松评估替代的系统布局。对于逻辑单元（如控制器）的逻辑输入-输出关系的简单变化也是如此。我们通过使用所提出概念的原型实现的简单示例来说明我们方法的可行性。
引用
@article{arxiv.2005.01993,
title = {Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines},
author = {Christof Kaukewitsch and Henrik Papist and Marc Zeller and Martin Rothfelder},
journal= {arXiv preprint arXiv:2005.01993},
year = {2021}
}