文章基本信息

标题：Automatic Transformation of UML System Models for Model-based Error Propagation Analysis of Mechatronic Systems
本地全文：下载
作者：Kai Ding ; Thomas Mutzke ; Andrey Morozov 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2016
卷号：49
期号：21
页码：439-446
DOI：10.1016/j.ifacol.2016.10.643
语种：English
出版社：Elsevier
摘要：Mechatronic systems consist of heterogeneous components: mechanical parts, hardware, and software. Appropriate models, which describe the mutual physical interaction on common Abstract levels, are required. UML is a widely accepted candidate for design and model-based analysis of the mechatronic systems. For the error propagation analysis on system level we have introduced a stochastic dual-graph error propagation model. This model captures control and data flow aspects of the system and allows the computation of various reliability metrics using discrete time Markov chain models. In our recent case-studies, UML Activity Diagrams have been used as baseline models. However, the transformation process was not fully automatic. This process is not so straightforward, despite the obvious structural similarities of the activity diagrams and our error propagation models. This article presents a new fully automatic method for the transformation of annotated activity diagrams. The transformation algorithm is described in detail with formal set-based mathematical notations. The article addresses both theoretical and technical sides of the problem. The method is demonstrated as a part of a complete analytical workflow in the frame of a mechatronic case study.
关键词：UMLActivity DiagramsControl FlowData FlowError Propagation AnalysisDual-graph Error Propagation ModelMedical Patient Table