#3708. Automated Transformation of uml/sysml Behavioral Diagrams for Stochastic Error Propagation Analysis of Autonomous Systems

October 2026publication date
Proposal available till 06-06-2025
4 total number of authors per manuscript0 $

The title of the journal is available only for the authors who have already paid for
Journal’s subject area:
Language and Linguistics;
Linguistics and Language;
Education;
Places in the authors’ list:
place 1place 2place 3place 4
FreeFreeFreeFree
2350 $1200 $1050 $900 $
Contract №3708.1 Contract №3708.2 Contract №3708.3 Contract №3708.4
1 place - free (for sale)
2 place - free (for sale)
3 place - free (for sale)
4 place - free (for sale)

Abstract:
Modern technical systems consist of heterogeneous components, including mechanical parts, hardware, and the extensive software part that allows the autonomous system operation. Recently, we introduced a stochastic dual-graph error propagation model (DEPM). This model captures the 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 (SMD), extended with activity diagrams (ADs), to a hierarchical DEPM. This method will help reliability engineers to keep error propagation models to date and ensure their consistency with the available system models.
Keywords:
autonomous system operation; automated transformation; dual-graph error;

Contacts :
0