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

Abdurrahman Alshareef, Hessam Sarjoughian

Research output: Contribution to journalConference article

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 languageEnglish (US)
Pages (from-to)84-95
Number of pages12
JournalSimulation Series
Volume50
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

Fingerprint

Systems analysis
Model checking
Decision making
Communication
Cyber Physical System

Keywords

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

ASJC Scopus subject areas

  • Computer Networks and Communications

Cite this

Model-driven time-accurate DEVS-based approaches for CPS design. / Alshareef, Abdurrahman; Sarjoughian, Hessam.

In: Simulation Series, Vol. 50, No. 6, 01.01.2018, p. 84-95.

Research output: Contribution to journalConference article

@article{fc8c7318ef6640d8b8940bac9a39d118,
title = "Model-driven time-accurate DEVS-based approaches for CPS design",
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.",
keywords = "Behavioral specifications, Cyber-physical systems, Model-driven engineering, Parallel DEVS",
author = "Abdurrahman Alshareef and Hessam Sarjoughian",
year = "2018",
month = "1",
day = "1",
language = "English (US)",
volume = "50",
pages = "84--95",
journal = "Simulation Series",
issn = "0735-9276",
number = "6",

}

TY - JOUR

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

AU - Alshareef, Abdurrahman

AU - Sarjoughian, Hessam

PY - 2018/1/1

Y1 - 2018/1/1

N2 - 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.

AB - 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.

KW - Behavioral specifications

KW - Cyber-physical systems

KW - Model-driven engineering

KW - Parallel DEVS

UR - http://www.scopus.com/inward/record.url?scp=85055329931&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85055329931&partnerID=8YFLogxK

M3 - Conference article

VL - 50

SP - 84

EP - 95

JO - Simulation Series

JF - Simulation Series

SN - 0735-9276

IS - 6

ER -