• Journal of Astronomy and Space Sciences
• /
• v.13 no.2
• /
• pp.134-148
• /
• 1996

In this paper, in order to verify KITSAT 1/2 packet communication protocols, we model the AX.25 protocol and PACSAT protocol by using an extended Petri net and then verify the correctness, boundedness, liveness and deadlock freeness of packet protocols by utilizing reachability trees.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.4
• /
• pp.295-301
• /
• 2020

When a spacecraft in deep space falls into an abnormal state, an emergency communication channel between ground and the spacecraft is essential in order to perform analysis to the cause of the anomaly, and to remedy the spacecraft from the distressed state. Because the recovery actions generally comprises of long and complicated sequences of commands, the transmission of the recovery commands may require a reliable and a delay tolerant networking technology based on bundle routing. While the delay tolerant networking protocol becomes a prominent method interfacing ground and space into a internet-like Solar system network because it can address the issues of the severe communication problems in deep space, the communication system on the spacecraft which based on space packet protocol cannot use the delay tolerant networking technology directly. So a community of the consultative committee for space data systems starts a discussion of the first-hop last-hop mechanism to establish a feasible concept and standardization. This paper presents an enhanced concept of the first-hop last-hop by applying it a virtual cislunar communication environment, and we believe this contributes to make a way applicable to an interoperable relay concept of the first hop last hop between the delay tolerant networking and space packet protocol standard.

• Journal of Sensor Science and Technology
• /
• v.19 no.4
• /
• pp.297-305
• /
• 2010

A home healthcare system based wireless sensor network, which can continuously monitor and manage the elderly's electrocardiogram(ECG) signal at any space at home without space limit is proposed. The communication coverage of wireless network is expended by multi-hop wireless sensor network. In order to send the elderly's ECG data wirelessly, a small size ECG sensor node was designed to forward the ECG data over multi-hop relay network. The packet acquired by mobile ECG node is transmitted through wireless intermediate nodes to base station for analyzing the packet reception rate. Modified minimum cost forwarding(MMCF) protocol and flooding protocol are designed and implemented to check the transmission efficiency of a packet in a wireless sensor network. The developed MMCF protocol shows an advantage of high reception rate by reduced network traffic.

• Publications of The Korean Astronomical Society
• /
• v.29 no.3
• /
• pp.45-52
• /
• 2014

This paper describes the development of algorithm for direct data transmission between Raw VLBI Data Buffer (RVDB) and Huge Capacity Data Server (HCDS) operated in Korea-Japan Correlation Center (KJCC). The transmitted data is the VLBI observation data, which is recorded at each radio telescope site, and the data transmitting rate is varying from 1 Gbps, in usual case, upto 8 Gbps. The developed algorithm for data transmission enables the direct data transmission between RVDB and HCDS through 10 Gbps optical network using VLBI Data Interchange Format (VDIF). Proposed method adopts the conventional UDP/IP protocol, but in order to prevent the loss of data during data transmission, the packet error monitoring and data re-transmission functions are newly designed. The VDIF specification and VDIFCP (VDIF Control Protocol) are used for the direct data transmission between RVDB and HCDS. To validate the developed algorithm for data transmission, we conducted the data transmission from RVDB to HCDS, and compared to the transmitted data with the original data bit by bit. We confirmed that the transmitted data is identical to the original data without any loss and it has been recovered well even if there were some packet losses.

• Aerospace Engineering and Technology
• /
• v.12 no.2
• /
• pp.91-98
• /
• 2013

Computing environment of space explorer including LEO (Low Earth Orbit), GEO (Geosynchronous Earth Orbit) satellite may be considered as the same category of embedded system on the ground. But with comparison with personal computing environment it is widely accepted that the space computing is outdated and behind of state of the art. Especially file system which is nearly essential item in all ground computing environment including personal computer, workstation and server is rarely used in space explorer till lately. In this paper, a study of ESA PUS (Packet Utilization Standard) and CCSDS (Consultative Committee for Space Data Systems) community's activity, international trend, and applicable technical application for applying file system in oder to use these standards for utilizing the file system to deep space explorer is described.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.5
• /
• pp.1208-1220
• /
• 1996

In this paper, the performance of a Carrier Sense Multiple Access/Collision avoidance (CSMA/CA) protocol using stop-and-Wait automatic Repeat reQuest, which is adapted as a draft standard in IEEE 802.11, is analyzed using a mathematical method based on a renewal theory, and simulation checks are performed, which confirm the goodness of our anlysis. In order to anlayze of CSMA/CA, we model that network is composed of finite populationand channel is slotted. And, we consider the CSMA/CA protocol as a hybrid protocol of 1-persistent CSMA and p-persistent CSMA protocol. As resuls of analysis, we have found that the throughput is degraded and packet delay is increased as the number of stations, Acknowledgement (ACK) length and Distributed coordination function Inter Frame Space (DIFS) length are increased.

• Convergence Security Journal
• /
• v.3 no.3
• /
• pp.1-6
• /
• 2003

The IPv6 was suggested as an ultimate solution of problems that IPv4 protocol maintains limitations to apply to new technology of data service and the lack of IPv4 address space. So it is expected to transfer IPv4 to IPv6 gradually. In the Ipv6 environment, it is easier to apply security policies and transmits a secure packet applied the security policies, with the content in the Header itself. By this reason, this paper describes about the implementation of DHCPv6 server to perform a connection of IPv6 network and IPv4 network, and the application of secure packet with the security policies for clients. Further, it performs the process of the massages inside the DHCPv6 server to be used in the IPv6 environment in the future.

• Journal of Communications and Networks
• /
• v.16 no.6
• /
• pp.656-666
• /
• 2014

In delay tolerant networks (DTNs), delay is inevitable; thus, making better use of buffer space to maximize the packet delivery rate is more important than delay reduction. In DTNs, epidemic routing is a well-known routing protocol. However, epidemic routing is very sensitive to buffer size. Once the buffer size in nodes is insufficient, the performance of epidemic routing will be drastically reduced. In this paper, we propose a buffer scheme to optimize the performance of epidemic routing on the basis of the Lagrangian and dual problem models. By using the proposed optimal buffer scheme, the packet delivery rate in epidemic routing is considerably improved. Our simulation results show that epidemic routing with the proposed optimal buffer scheme outperforms the original epidemic routing in terms of packet delivery rate and average end-to-end delay. It is worth noting that the improved epidemic routing needs much less buffer size compared to that of the original epidemic routing for ensuring the same packet delivery rate. In particular, even though the buffer size is very small (e.g., 50), the packet delivery rate in epidemic routing with the proposed optimal buffer scheme is still 95.8%, which can satisfy general communication demand.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.16 no.6
• /
• pp.1161-1174
• /
• 2021

UDP is an unreliable data transmission protocol, in contrast to TCP, which implements reliable data delivery based on flow control and retransmission methods. However, the TCP operation algorithm for guaranteeing reliability is inefficient in improving transmission performance, and above all, there is no need to transmit data using the TCP method for fields that do not require perfect integrity. In this paper, we intend to discuss ways to improve the stability while maintaining the existing performance of UDP. To this end, a program applied with packet buffering and relaying techniques was developed, and the performance and stability of the experiment were verified.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.6A
• /
• pp.651-659
• /
• 2004

The Fast Handover protocol ［1］ provides seameless handover in wireless If networks by minimizing handover latency, which uses anticipation based on layer 2 (L2) trigger information. Therefore, it incurs higher signaling costs compared with the basic Mobile U protocol. Furthermore, since the L2 trigger is based on fluctuating wireless channel states, the handover anticipation may sometimes be incorrect. In the case of incorrect anticipation, unnecessary buffer space may be used for the purpose of providing a smooth handover. Therefore, it is essentical to analyze these overhead costs, in order to evaluate and compare the performance of Fast Handover with that of the basic Mobile U protocol. In this paper, we analyzed the overhead associated with Fast Handover including the signaling cost and the packet delivery cost. We formulated these costs based on a timing diagram and compared Fast Handover with basic Mobile Ipv6 in terms of their packet loss rates and buffer requirements. Also, we studied the impact of the L2 triggering time on the total overhead cost.