The Delay Tolerant Networks protocol (DTN) provides a solution for the integration of space and ground, where the transport layer uses the bundle protocol to connect different restricted networks and uses the storage-hosting-forwarding method to achieve reliable transmission of data packets. This paper uses Specification Description Language (SDL) formal description language to map the information delivery between different modules to transfer of states under different input conditions between state machines. Based on this, SDL simulation language is used to model and simulate the target. The correctness of the execution process of each module under given input parameters is dynamically verified through message sequence diagrams. Finally, the simulation verification results are analyzed and explained.
Access to the requested content is limited to institutions that have purchased or subscribe to SPIE eBooks.
You are receiving this notice because your organization may not have SPIE eBooks access.*
*Shibboleth/Open Athens users─please
sign in
to access your institution's subscriptions.
To obtain this item, you may purchase the complete book in print or electronic format on
SPIE.org.
INSTITUTIONAL Select your institution to access the SPIE Digital Library.
PERSONAL Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.