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

Date
2018-01-03
Authors
Rathmair, Michael
Luckeneder, Christoph
Kaindl, Hermann
Radojicic, Carna
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Description
Keywords
Metrics, Models, and Simulation for Cyber-Physical Systems, Semi-symbolic simulation, affine arithmetic, feature coordination, cyber-physical systems, adaptive cruise control
Citation
Rights
Access Rights
Email libraryada-l@lists.hawaii.edu if you need this content in ADA-compliant format.