Please use this identifier to cite or link to this item: http://hdl.handle.net/10125/50597

Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems

File Size Format  
paper0710.pdf 1.05 MB Adobe PDF View/Open

Item Summary

Title:Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems
Authors:Rathmair, Michael
Luckeneder, Christoph
Kaindl, Hermann
Radojicic, Carna
Keywords:Metrics, Models, and Simulation for Cyber-Physical Systems
Semi-symbolic simulation, affine arithmetic, feature coordination, cyber-physical systems, adaptive cruise control
Date Issued:03 Jan 2018
Abstract: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 propagation of deviations and their traceability. This paper presents such a semi-symbolic model of a cyber-physical system including coordination of safety-critical and interacting features. For feature coordination, this model introduces handling discrete uncertainty with two different behavioral 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 facilitates specific analyses of deviations based on the traceability information. As a result from simulation and analyses, we got a better understanding of the different deviation propagations within our model.
Pages/Duration:10 pages
URI:http://hdl.handle.net/10125/50597
ISBN:978-0-9981331-1-9
DOI:10.24251/HICSS.2018.708
Rights:Attribution-NonCommercial-NoDerivatives 4.0 International
https://creativecommons.org/licenses/by-nc-nd/4.0/
Appears in Collections: Metrics, Models, and Simulation for Cyber-Physical Systems


Please email libraryada-l@lists.hawaii.edu if you need this content in ADA-compliant format.

This item is licensed under a Creative Commons License Creative Commons