Using the Discrete Event System Specification to model Quantum Key Distribution system components

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.

Modeling quantum optics for quantum key distribution system simulation

“…This design acts as a hybrid-like simulation capability as it abstracts continuous-time QKD system signals (e.g., electrical signals and optical pulses) into a representation suitable as events within the DES. 9 We formed a research team consisting of subject matter experts from the quantum physics, optical physics, electrical engineering, computer engineering, systems engineering, and software engineering disciplines. We worked together to determine the necessary detail level for each modeled component.…”

“…The parameters necessary to model a coherent optical pulse are contained in Equation (9). In this section, we present each of the parameters and provide a brief description of the parameter and its units.…”

“…This design acts as a hybrid-like simulation capability as it abstracts continuous-time QKD system signals (e.g., electrical signals and optical pulses) into a representation suitable as events within the DES. 9…”

Discrete Event Simulation of the quantum channel within a Quantum Key Distribution system

“…Combining a QKD-generated key with a One-time Pad (OTP) cryptographic algorithm realizes an “unconditionally secure” cryptosystem that provides significant benefits in military applications. 2 For example, QKD-secured communication channels can be used to connect command and control nodes, connecting commanders with their leadership through terrestrial, ground-to-space, space-to-ground, and space-to-space circuits. Commercial QKD systems are available today and several governments have already instituted QKD to secure communication circuits.…”

A Systems-Of-Systems Conceptual Model and Live Virtual Constructive Simulation Framework for Improved Nuclear Disaster Emergency Preparedness, Response, and Mitigation

“…incident management systems" (Sugiyama 2011). , "[Conceptual modeling] is almost certainly the most important aspect of a simulation project" and is widely discussed in the literature (Hamilton 2006;Özhan et al 2008;Robinson 2008a,b;Robinson 2010;Gaffney and Vincent 2011;Graniela and Proctor 2012;Sokolowski et al 2012;Çelik et al 2013;Morris et al 2014;Ünal and Topçu 2014). Our CM approach incorporates legacy models and the notional federation shown in Figure 2 within the context of SoS.…”