Abstract:Time plays a major role in the specification of Cyber-physical Systems (CPS) behavior with concurrency, timeliness, asynchrony, and resource limits as their main characteristics. In addition to timeliness , the specification of CPS needs to assess and unambiguously define its behavior with respect to the other Quality-of-Information (QoI) properties: (1) Correctness, (2) Completeness, (3) Consistency, and (4) Accuracy. Very often, CPS need to handle these QoI properties, and any combination thereof, multiple times when performing computation and communication processes. However, a model-driven and systematic approach to specify CPS behavior that jointly considers combined QoI aspects is possible but missing in existing methodologies. As the first contribution of this work, we provide an extension to an established model of computation (MoC) based on “Functions driven by Finite State Machine” (FunState) to enable a model-driven composition mechanism to create CPS behavior specifications from reusable components. Second, we present a novel set of design patterns to illustrate the modeling of QoI-aware CPS specifications that can be applied in several state-of-the-art Electronic System Level (ESL) methodologies. The time semantics of the MoC are formalized using the tagged-signal-model, and the presented model-driven approach enables the composition of multiple design patterns. The main benefits of the presented model-driven approach and design patterns to create CPS specifications are as follows: (a) reduce modeling effort, errors, and time through the reuse of known recipes to re-incurring tasks and allow to automatically generate repetitive control flows based on extended Finite State Machines; (b) increase system robustness and facilitate the creation of holistic QoI management allowing to unambiguously define system behavior for scenarios with single/multiple QoI requirement violations in different models of computation; (c) dynamically validate timing behavior of system implementations to enable a multi-objective optimization of nonfunctional properties that influence CPS timing. We demonstrate the aforementioned benefits through the modeling and evaluation of an infrastructure-assisted automated driving case study using Infrastructure-to-Vehicle (I2V) communications to distribute QoI critical road environment information.

Research and Design for the Modeling of Simulation of CPS

An asymmetric interdependent networks model for cyber-physical systems

Optimal Coupling Pattern of Cyber-Physical Systems

Model-based Construction and Verification of Cyber-Physical Systems.

Robustness Improvement for Cyber Physical System Based on an Optimization Model of Interdependent Constraints

Modeling and Simulation Framework for Cyber Physical Systems

Dependable Model-driven Development of CPS

Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical Systems

An Event-Driven Modeling And Simulation Method For Cyber-Physical Power System

Simulation-oriented Model Reuse in Cyber-Physical Systems: A Method Based on Constrained Directed Graph

Modelling and Analysing Resilient Cyber-Physical Systems

Modeling Analysis and Control Research Framework of Cyber Physical Power Systems

An Extensible Use Case Modeling Approach for Cyber-Physical Systems (Cpss).

Summary and Prospect of Cyber Physical Power System Simulation

Unified Graphical Co-modelling, Analysis and Verification of Cyber-physical Systems by Combining AADL and Simulink/Stateflow

Analyzing Early Requirements of Cyber-physical Systems Through Structure and Goal Modeling

An Intelligent Switching Method of Multi-Resolution Models Oriented for Complex System Co-Simulation

Modelling and platform application of the behaviour of a cyber physical production system

From abstract modelling to remote cyber-physical integration/interoperability testing

An effective framework to simulate the cyber-physical systems with application to the building and energy saving

Modeling and Checking for Cyber-Physical System Based on Hybrid Interface Automata