Reproducibility Data and Code for “A Verification-Oriented CTMC–DES Workflow for Stochastic Mobile-Service Systems: An Energy-Constrained UAV–IoT Case Study

Description

This dataset provides the reproducibility materials supporting the manuscript “A Verification-Oriented CTMC–DES Workflow for Stochastic Mobile-Service Systems: An Energy-Constrained UAV–IoT Case Study.” It contains the finite-state CTMC reference implementation, a separately coded discrete-event simulation (DES), stability-certificate and load-screen records, BMMAP/PH scenario experiments, polling and route comparisons, battery-aware design results, SLA discovery and fresh-stream confirmation outputs, and provenance/verification records. The CTMC and DES share the same written stochastic specification but use different computational representations; agreement is used for internal cross-implementation verification rather than independent-team replication or field validation. Version 2 updates the dataset title and descriptive metadata to align with the current manuscript framing; the underlying reproducibility files are unchanged.

Steps to reproduce

Extract the ZIP archive, read the included README/provenance files, and run the CTMC and DES scripts using the recorded experiment folders and parameter files. Reproduce verification, design, and SLA outputs as documented.

Institutions

• Sangji University

  Gangwon-do, Wŏnju

Categories

Licence