[Zurück]

M. Rathmair, C. Luckeneder, H. Kaindl, C. Radojicic:
"Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems [Best Paper Award]";
Vortrag: 51st Hawaii International Conference on System Sciences (HICSS 2018), Waikoloa Village, Hawaii, USA; 02.01.2018 - 06.01.2018; in: "51st Hawaii International Conference on System Sciences (HICSS 2018)", Curran Associates, Inc., 1 (2018), ISBN: 978-0-9981331-1-9; S. 5655 - 5664.

For studying the effects of deviations for uncertain inputs
of systems, often multi-run simulation is employed, which is
time-consuming. Unfortunately, such simulations also do
not directly support the traceability of such effects. A semi-
symbolic modeling approach based on Affine Arithmetic
Forms allows the representation of uncertainty in terms of
ranges. Simulations of such models directly include prop-
agation of deviations and their traceability. This paper
presents such a semi-symbolic model of a cyber-physical
system including coordination of safety-critical and inter-
acting features. For feature coordination, this model intro-
duces handling discrete uncertainty with two different be-
havioral modes and their integration. Based on this model,
a single simulation run allowed us studying the effects of
several deviations. In addition, this modeling approach fa-
cilitates specific analyses of deviations based on the trace-
ability information. As a result from simulation and analy-
ses, we got a better understanding of the different deviation
propagations within our model.