BROWSE
Detail
Journal Article
Verification Method for Discrete Event Simulation based on Discrete Event System Formalism
Cited 1 time in 
Share 
Share
- Authors
- Sooyoung Jang, Changbeom Choi
- Issue Date
- 2023-10
- Citation
- International Journal of Industrial Engineering : Theory Applications and Practice, v.30, no.5, pp.1313-1327
- ISSN
- 1072-4761
- Publisher
- University of Texas at El Paso
- Language
- English
- Type
- Journal Article
- Abstract
- As simulation models become more complex, their requirement specifications also become more complicated and difficult to verify. This study proposes requirement modeling and verification methods using discrete event systems based on a discrete event system formalism. This process involves describing the requirements, translating them into a requirement model, and verifying whether the target system satisfies them. The benefits include automated verification and simplified event monitoring using a discrete event system formalism. The main contributions of this study are the proposed requirement discrete event system model, the logic and translation method, and the verification process. In addition, this study introduces the requirements for engagement simulation with multiple agents and its discrete event system model as a case study.
- KSP Keywords
- Case studies, Discrete Event(DE), Discrete Event Systems, Engagement simulation, Event Monitoring, Modeling and verification, Multiple Agents, Requirement modeling, Requirement specifications, Simulation Model, Verification method