NESTING ALGORITHM FOR DUAL-GRAPH ERROR PROPAGATION MODELS

2021 ◽  
Vol 3 (2) ◽  
pp. 5-11
Author(s):  
Fusheng Zhao ◽  
Andrey Morozov ◽  
Nafisa Yusupova ◽  
Kalus Janschek
Keyword(s):  
Error Propagation ◽  
Dual Graph ◽  
Propagation Models ◽  
Nesting Algorithm

Automated Transformation of UML/SysML Behavioral Diagrams for Stochastic Error Propagation Analysis of Autonomous Systems

2021 ◽  
Author(s):  
Andrey Morozov ◽  
Thomas Mutzke ◽  
Kai Ding
Keyword(s):  
Error Propagation ◽  
System Modeling ◽  
Dual Graph ◽  
Medical Patient ◽  
Transformation Method ◽  
Propagation Model ◽  
Probabilistic Model Checking ◽  
Model Based ◽  
Propagation Analysis ◽  
Error Propagation Analysis

Abstract Modern technical systems consist of heterogeneous components, including mechanical parts, hardware, and the extensive software part that allows the autonomous system operation. The heterogeneity and autonomy require appropriate models that can describe the mutual interaction of the components. UML and SysML are widely accepted candidates for system modeling and model-based analysis in early design phases, including the analysis of reliability properties. UML and SysML models are semi-formal. Thus, transformation methods to formal models are required. Recently, we introduced a stochastic Dual-graph Error Propagation Model (DEPM). This model captures control and data flow structures of a system and allows the computation of advanced risk metrics using probabilistic model checking techniques. This article presents a new automated transformation method of an annotated State Machine Diagram, extended with Activity Diagrams, to a hierarchical DEPM. This method will help reliability engineers to keep error propagation models up to date and ensure their consistency with the available system models. The capabilities and limitations of transformation algorithm is described in detail and demonstrated on a complete model-based error propagation analysis of an autonomous medical patient table.

Vapour-liquid equilibrium in the ternary system cyclohexane-acetic acid-propionic acid

1989 ◽  
Vol 54 (11) ◽  
pp. 2840-2847 ◽  
Author(s):  
Ivona Malijevská ◽  
Alena Maštalková ◽  
Marie Sýsová
Keyword(s):  
Acetic Acid ◽  
Ternary System ◽  
Propionic Acid ◽  
Activity Coefficients ◽  
Error Propagation ◽  
Analytical Techniques ◽  
Liquid Equilibrium ◽  
Consistency Test ◽  
Propagation Law ◽  
Equilibrium Data

Isobaric equilibrium data (P = 101.3 kPa) for the system cyclohexane-acetic acid-propionic acid have been measured by two different analytical techniques. Activity coefficients calculated by simultaneous solving of equations for the chemical and phase equilibria were subjected to a consistency test based on inaccuracies determined from the error propagation law, and were correlated by Wilson’s equation. The activity coefficients measured were compared with those calculated from binary vapour-liquid equilibrium data and with values predicted by the UNIFAC method.

Sign in / Sign up

Export Citation Format

Share Document