Paper Info
Title
Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation
Abstract
Safety-critical systems are often controlled by embedded computer systems. Their de- sign is challenging because of the risks connected with the unknown impact of system architecture on non-functional properties such as reliability and real-time capabilities. Model-based evaluation can help to select advantageous design alternatives. This paper proposes the modeling of technical system behavior with UML State Machines extended by stochastic properties (based on the UML Profile for Schedulability, Performance, and Time). The resulting models can be automatically transformed into a stochastic Petri net, for which powerful evaluation methods are available. For models of complex systems, only simulation is possible, which is not feasible for the estimation of safety measures because of the underlying rare events. We propose an evaluation of the resulting models with a recently developed variant of the RESTART rare-event simulation method. A part of the European Train Control System (ETCS) serves as an application example.
Year
Venue
Keywords
2009
MBEES
stochastic petri net,embedded computing,system architecture,real time,complex system,state machine
Field
DocType
Citations 
Unified Modeling Language,Computer science,Applications of UML,Rare event simulation,Embedded system
Conference
0
PageRank 
References 
Authors
0.34
8
2
Name
Order
Citations
PageRank
Armin Zimmermann102.03
Jan Trowitzsch200.34