Abstract
Performance analysis and verification of Cyber-Physical Systems (CPS) is of utmost importance due to the cruciality of the decision making in such systems. Therefore, modeling can be beneficial especially for issues related to the tight coupling between computational and physical parts. In this work, we utilize the extensive research on the simulation and model-checking for designing computational-physical interactions in the context of CPS. We also propose an action-level model-driven activity modeling approach based on DEVS. We employ time intervals (TIs) to govern communication between computational and physical components at the level of actions. We extend the activities metamodel to instantiate activities suitable for time-critical cyber-physical systems. We create a DEVS-Suite generic library to simulate these models conforming to the parallel DEVS formalism. We demonstrate with a traffic vehicle intersection model and discuss some verification capabilities.
Original language | English (US) |
---|---|
Pages (from-to) | 84-95 |
Number of pages | 12 |
Journal | Simulation Series |
Volume | 50 |
Issue number | 6 |
State | Published - Jan 1 2018 |
Event | International Symposium on Model-Driven Approaches for Simulation Engineering, Mod4Sim 2018, Part of the 2018 Spring Simulation Multi-Conference, SpringSim 2018 - Baltimore, United States Duration: Apr 15 2018 → Apr 18 2018 |
Keywords
- Behavioral specifications
- Cyber-physical systems
- Model-driven engineering
- Parallel DEVS
ASJC Scopus subject areas
- Computer Networks and Communications