DEVS-scripting: A Black-Box Test Frame for Devs Models

Matthew B. McLaughlin, Hessam S. Sarjoughian

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

5 Scopus citations


Experimental frames have been used in DEVS-based simulations to drive scenarios through injecting inputs and interpreting outputs. This design has traditionally called for separate models with distinct roles: generator, acceptor, and transducer. In certain controlled experiments such as model testing, sequential programming offers a simpler design with many benefits, specifically: code reduction, test case development throughput, and diagnostics for failed tests. This research offers a test framework that is derived from atomic DEVS and facilitates testing through scripting. The challenge for this research is to prove DEVS semantics are maintained when the experimental frame is tightly controlled by a script. Our solution uses a separate thread for this script and synchronizes program execution switching with a nest lock. Synchronization is key in showing that this design maintains DEVS semantics by nesting script code within the state transition functions of DEVS modeling components.

Original languageEnglish (US)
Title of host publicationProceedings of the 2020 Winter Simulation Conference, WSC 2020
EditorsK.-H. Bae, B. Feng, S. Kim, S. Lazarova-Molnar, Z. Zheng, T. Roeder, R. Thiesing
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages12
ISBN (Electronic)9781728194998
StatePublished - Dec 14 2020
Event2020 Winter Simulation Conference, WSC 2020 - Orlando, United States
Duration: Dec 14 2020Dec 18 2020

Publication series

NameProceedings - Winter Simulation Conference
ISSN (Print)0891-7736


Conference2020 Winter Simulation Conference, WSC 2020
Country/TerritoryUnited States

ASJC Scopus subject areas

  • Software
  • Modeling and Simulation
  • Computer Science Applications


Dive into the research topics of 'DEVS-scripting: A Black-Box Test Frame for Devs Models'. Together they form a unique fingerprint.

Cite this