Abstract
In this paper, we present modeling a Quantum Key Distribution (QKD) system with its components using the Discrete Event System Specification (DEVS) formalism. The DEVS formalism assures the developed component models are composable and exhibit well-defined temporal behavior independent of the simulation environment. These attributes enable users to assemble a valid simulation using any collection of compatible components to represent complete QKD system architectures. To illustrate the approach, we introduce a prototypical “prepare and measure” QKD system, decompose one of its subsystems, and present the detailed modeling of the subsystem using the DEVS formalism. The developed models are provably composable and exhibit behavior suitable for the intended analytic purpose, thus improving the validity of the simulation. Finally, we examine issues identified during the verification of the conceptual DEVS model and discuss the impact of these findings on implementing a hybrid QKD simulation framework.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 457-480 |
| Number of pages | 24 |
| Journal | Journal of Defense Modeling and Simulation |
| Volume | 12 |
| Issue number | 4 |
| DOIs | |
| State | Published - Oct 1 2015 |
Fingerprint
Keywords
- Conceptual modeling
- Discrete Event Simulation
- Discrete Event System Specification
- Quantum Key Distribution
- modeling and simulation
ASJC Scopus subject areas
- Modeling and Simulation
- Engineering (miscellaneous)
Cite this
Using the Discrete Event System Specification to model Quantum Key Distribution system components. / Morris, Jeffrey; Grimaila, Michael R.; Hodson, Douglas D.; McLaughlin, Colin V.; Jacques, David R.
In: Journal of Defense Modeling and Simulation, Vol. 12, No. 4, 01.10.2015, p. 457-480.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Using the Discrete Event System Specification to model Quantum Key Distribution system components
AU - Morris, Jeffrey
AU - Grimaila, Michael R.
AU - Hodson, Douglas D.
AU - McLaughlin, Colin V.
AU - Jacques, David R.
PY - 2015/10/1
Y1 - 2015/10/1
N2 - In this paper, we present modeling a Quantum Key Distribution (QKD) system with its components using the Discrete Event System Specification (DEVS) formalism. The DEVS formalism assures the developed component models are composable and exhibit well-defined temporal behavior independent of the simulation environment. These attributes enable users to assemble a valid simulation using any collection of compatible components to represent complete QKD system architectures. To illustrate the approach, we introduce a prototypical “prepare and measure” QKD system, decompose one of its subsystems, and present the detailed modeling of the subsystem using the DEVS formalism. The developed models are provably composable and exhibit behavior suitable for the intended analytic purpose, thus improving the validity of the simulation. Finally, we examine issues identified during the verification of the conceptual DEVS model and discuss the impact of these findings on implementing a hybrid QKD simulation framework.
AB - In this paper, we present modeling a Quantum Key Distribution (QKD) system with its components using the Discrete Event System Specification (DEVS) formalism. The DEVS formalism assures the developed component models are composable and exhibit well-defined temporal behavior independent of the simulation environment. These attributes enable users to assemble a valid simulation using any collection of compatible components to represent complete QKD system architectures. To illustrate the approach, we introduce a prototypical “prepare and measure” QKD system, decompose one of its subsystems, and present the detailed modeling of the subsystem using the DEVS formalism. The developed models are provably composable and exhibit behavior suitable for the intended analytic purpose, thus improving the validity of the simulation. Finally, we examine issues identified during the verification of the conceptual DEVS model and discuss the impact of these findings on implementing a hybrid QKD simulation framework.
KW - Conceptual modeling
KW - Discrete Event Simulation
KW - Discrete Event System Specification
KW - Quantum Key Distribution
KW - modeling and simulation
UR - http://www.scopus.com/inward/record.url?scp=84954569300&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84954569300&partnerID=8YFLogxK
U2 - 10.1177/1548512914554404
DO - 10.1177/1548512914554404
M3 - Article
AN - SCOPUS:84954569300
VL - 12
SP - 457
EP - 480
JO - Journal of Defense Modeling and Simulation
JF - Journal of Defense Modeling and Simulation
SN - 1548-5129
IS - 4
ER -