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
Contributor
Advisor
Department
Instructor
Depositor
Speaker
Researcher
Consultant
Interviewer
Annotator
Journal Title
Journal ISSN
Volume Title
Publisher
Volume
Number/Issue
Starting Page
Ending Page
Alternative Title
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
Extent
10 pages
Format
Geographic Location
Time Period
Related To
Proceedings of the 51st Hawaii International Conference on System Sciences
Table of Contents
Rights
Attribution-NonCommercial-NoDerivatives 4.0 International
Rights Holder
Local Contexts
Email libraryada-l@lists.hawaii.edu if you need this content in ADA-compliant format.