Model-driven time-accurate DEVS-based approaches for CPS design

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.