@inproceedings{165405ef69574e8b88c8cac9c4586a63,
title = "Unified Property Evaluations of Constrained-DEVS Models for Simulation and Model Checking",
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.",
keywords = "DEVS, Experimental Frame, Model Checking, Simulation, Validation, Verification",
author = "Soroosh Gholami and Sarjoughian, {Hessam S.}",
note = "Publisher Copyright: {\textcopyright} 2021 SCS.; 2021 Annual Modeling and Simulation Conference, ANNSIM 2021 ; Conference date: 19-07-2021 Through 22-07-2021",
year = "2021",
month = jul,
day = "19",
doi = "10.23919/ANNSIM52504.2021.9552138",
language = "English (US)",
series = "Proceedings of the 2021 Annual Modeling and Simulation Conference, ANNSIM 2021",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
editor = "Martin, {Cristina Ruiz} and Blas, {Maria Julia} and Psijas, {Alonso Inostrosa}",
booktitle = "Proceedings of the 2021 Annual Modeling and Simulation Conference, ANNSIM 2021",
}