Unified Property Evaluations of Constrained-DEVS Models for Simulation and Model Checking

Soroosh Gholami, Hessam S. Sarjoughian

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Properties represent the state of a system at any instance of time or for a period of time. We consider properties as a common concept for Experimental Frame (EF) that can be used for simulation and modeling checking. This affords to define experimental frames that can evaluate the dynamics of models of systems purposed for both validation and verification. We show this approach through simulation of Parallel DEVS models as well as model checking of Constrained-DEVS models. We develop experiments for simulating and model checking a prototypical Network-on-Chip (NoC) system. The models and experiments are developed and executed using the DEVS-Suite tool. New capabilities of this tool include support for defining experimental frames that stimulate and monitor executions of models. The proposed approach with the developed execution engine affords both simulation validation and model checking verification.

Original languageEnglish (US)
Title of host publicationProceedings of the 2021 Annual Modeling and Simulation Conference, ANNSIM 2021
EditorsCristina Ruiz Martin, Maria Julia Blas, Alonso Inostrosa Psijas
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781565553750
DOIs
StatePublished - Jul 19 2021
Event2021 Annual Modeling and Simulation Conference, ANNSIM 2021 - Virtual, Fairfax, United States
Duration: Jul 19 2021Jul 22 2021

Publication series

NameProceedings of the 2021 Annual Modeling and Simulation Conference, ANNSIM 2021

Conference

Conference2021 Annual Modeling and Simulation Conference, ANNSIM 2021
Country/TerritoryUnited States
CityVirtual, Fairfax
Period7/19/217/22/21

Keywords

  • DEVS
  • Experimental Frame
  • Model Checking
  • Simulation
  • Validation
  • Verification

ASJC Scopus subject areas

  • Health(social science)
  • Hardware and Architecture
  • Engineering (miscellaneous)
  • Safety, Risk, Reliability and Quality
  • Modeling and Simulation

Fingerprint

Dive into the research topics of 'Unified Property Evaluations of Constrained-DEVS Models for Simulation and Model Checking'. Together they form a unique fingerprint.

Cite this