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.

Multi-model workload specifications and their application to cyber-physical systems

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

Optimal Coupling Pattern of Cyber-Physical Systems

An asymmetric interdependent networks model for cyber-physical systems

Towards formally analyzed Cyber-Physical Systems

Toward Online Hybrid Systems Model Checking of Cyber-Physical Systems' Time-Bounded Short-Run Behavior

Modelling and Analysing Resilient Cyber-Physical Systems

Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems

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

A Digital Twin Approach for Adaptive Compliance in Cyber-Physical Systems: Case of Smart Warehouse Logistics

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

Dependable Scheduling for Real-Time Workflows on Cyber–Physical Cloud Systems

Analysis and Design of Uncertain Cyber-Physical Systems

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

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model

Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures

Modelling multi-criticality vehicular software systems: evolution of an industrial component model

Simulation Based Formal Verification of Cyber-Physical Systems

A Security Cost Modelling Framework for Cyber-Physical Systems

A novel probabilistic modeling for multilateral random attacks in cyber‐physical system reliability analysis