AUTOMATED GENERATION OF HYBRID PROBABILISTIC RISK MODELS FROM SYSML V2 MODELS OF SOFTWARE-DEFINED MANUFACTURING SYSTEMS

被引：0

作者：

Grimmeisen, Philipp ^{[1
]}

Ma, Yuliang ^{[1
]}

Diaconeasa, Mihai A. ^{[2
]}

Morozov, Andrey ^{[1
]}

机构：

[1] Univ Stuttgart, Stuttgart, Germany

[2] North Carolina State Univ, Raleigh, NC USA

来源：

PROCEEDINGS OF ASME 2022 INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, IMECE2022, VOL 9 | 2022年

关键词：

Reliability Analysis; Hybrid Reliability Models; M2M Transformation; Markov Chains; Fault Trees;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Digital Twins emphasize the current trend in production system development. These systems are characterized by frequent software updates to address adjustable production processes and higher system flexibility. These software-intensive systems are safety-critical and require a thorough reliability analysis. This implies the necessity to automatically re-evaluate the reliability before each software update. In this paper, we introduce a new Model-to-Model (M2M) transformation method that enables the automatic generation of hybrid reliability models from the Digital Twin formalism based on SysML v2. The models of the Digital Twin are extended with reliability data. The method includes (i) transformation of behavioral models to Markov chains, (ii) transformation of structural models to fault trees, and (iii) the generation of hybrid reliability models based on the software and system structure. Besides, this paper describes an SDM-system, based on a robotic manipulator, that fulfills two different tasks depending on the uploaded software. This case study shows that our M2M transformation method enables continuous reliability assessment of SDM-systems.

引用

页数：10