@article{ART003212315},
author={Changbeom Choi and Seungho Yang and Jang Sooyoung},
title={Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism},
journal={Journal of Software Assessment and Valuation},
issn={2092-8114},
year={2025},
volume={21},
number={2},
pages={113-122}
TY - JOUR
AU - Changbeom Choi
AU - Seungho Yang
AU - Jang Sooyoung
TI - Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism
JO - Journal of Software Assessment and Valuation
PY - 2025
VL - 21
IS - 2
PB - Korea Software Assessment and Valuation Society
SP - 113
EP - 122
SN - 2092-8114
AB - This paper proposes a requirements specification and a static code verification based on the LLVM/Clang framework for simulation models based on the Discrete Event System (DES) formalism. In the modeling and simulation of complex systems, precise interaction between the model code and the simulation engine's API is essential for the early detection and resolution of code errors. This research defines requirement specifications like MUST-CALL, NEVER-CALL, and MUST-FOLLOW to support developers in strictly adhering to simulation model development guidelines. The proposed tool utilizes LLVM/Clang’s static analysis to parse C++ code and systematically check for violations of the defined requirement specifications before execution. A key contribution of this research is performing static code verification that reflects the specific characteristics of modeling based on the DES formalism. This approach aims to reduce runtime errors and improve model maintainability, ultimately contributing to the development of efficient and reliable models.
KW - Discrete Event System Formalism;Requirements Specification;Static Code Verification;Simulation Model;LLVM/Clang
DO -
UR -
ER -
Changbeom Choi, Seungho Yang and Jang Sooyoung. (2025). Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism. Journal of Software Assessment and Valuation, 21(2), 113-122.
Changbeom Choi, Seungho Yang and Jang Sooyoung. 2025, "Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism", Journal of Software Assessment and Valuation, vol.21, no.2 pp.113-122.
Changbeom Choi, Seungho Yang, Jang Sooyoung "Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism" Journal of Software Assessment and Valuation 21.2 pp.113-122 (2025) : 113.
Changbeom Choi, Seungho Yang, Jang Sooyoung. Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism. 2025; 21(2), 113-122.
Changbeom Choi, Seungho Yang and Jang Sooyoung. "Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism" Journal of Software Assessment and Valuation 21, no.2 (2025) : 113-122.
Changbeom Choi; Seungho Yang; Jang Sooyoung. Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism. Journal of Software Assessment and Valuation, 21(2), 113-122.
Changbeom Choi; Seungho Yang; Jang Sooyoung. Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism. Journal of Software Assessment and Valuation. 2025; 21(2) 113-122.
Changbeom Choi, Seungho Yang, Jang Sooyoung. Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism. 2025; 21(2), 113-122.
Changbeom Choi, Seungho Yang and Jang Sooyoung. "Requirements Specification and Static Code Verification of Simulation Models based on Discrete Event System Formalism" Journal of Software Assessment and Valuation 21, no.2 (2025) : 113-122.
