Simulation and verification of bundle protocol based on SDL

Zhou Li; Jicheng Dong; Shuai Lang

doi:10.1117/12.3011617

7 December 2023 Simulation and verification of bundle protocol based on SDL

Zhou Li, Jicheng Dong, Shuai Lang

Proceedings Volume 12941, International Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 2023); 129412G (2023) https://doi.org/10.1117/12.3011617
Event: Third International Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 203), 2023, Yinchuan, China

Abstract

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.

(2023) Published by SPIE. Downloading of the abstract is permitted for personal use only.

Citation Download Citation

Zhou Li, Jicheng Dong, and Shuai Lang "Simulation and verification of bundle protocol based on SDL", Proc. SPIE 12941, International Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 2023), 129412G (7 December 2023); https://doi.org/10.1117/12.3011617

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

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.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available

Members: $17.00

Non-members: $21.00 ADD TO CART

PROCEEDINGS
8 PAGES

DOWNLOAD PAPER SAVE TO MY LIBRARY

GET CITATION

RIGHTS & PERMISSIONS

Get copyright permission Get copyright permission on Copyright Marketplace

KEYWORDS

Signal processing

Data transmission

Relays

Data modeling

Network architectures

Modeling

Process modeling

RELATED CONTENT

Passive location method-based UAV formation positioning model
Proceedings of SPIE (May 23 2023)

Simulation of indirect reciprocity based lane changing in Internet of...
Proceedings of SPIE (May 08 2022)

Research on combat information link of aircraft group mixed formation
Proceedings of SPIE (June 16 2023)

Modelling and control for laser based welding processes modern...
Proceedings of SPIE (March 06 2017)

ManST a real time scalable and dynamic test system...
Proceedings of SPIE (April 28 2004)

Integrated aircraft network based on IP hierarchical structure
Proceedings of SPIE (April 08 2024)

Web traffic prediction with artificial neural networks
Proceedings of SPIE (February 23 2005)

Subscribe to Digital Library

Receive Erratum Email Alert

Keywords/Phrases

Search In:

Publication Years