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

Abdurrahman Alshareef, Hessam Sarjoughian

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations


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 languageEnglish (US)
Pages (from-to)84-95
Number of pages12
JournalSimulation Series
Issue number6
StatePublished - Jan 1 2018
EventInternational 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 2018Apr 18 2018


  • Behavioral specifications
  • Cyber-physical systems
  • Model-driven engineering
  • Parallel DEVS

ASJC Scopus subject areas

  • Computer Networks and Communications


Dive into the research topics of 'Model-driven time-accurate DEVS-based approaches for CPS design'. Together they form a unique fingerprint.

Cite this