• Journal of Korea Multimedia Society
• /
• v.22 no.8
• /
• pp.913-922
• /
• 2019

The Internet of Things (IoT) envisions smart objects collecting and sharing data at a massive scale via the Internet. One challenging issue is how to disseminate data to relevant data consuming objects efficiently. In such a massive IoT network, Mission critical data dissemination imposes constraints on the message transfer delay between objects. Due to the low power and communication range of IoT objects, data is relayed over multi-hops before arriving at the destination. In this paper, we propose a quorum-based adaptive dissemination algorithm (QADA) for the critical data in the monitoring-based applications of massive IoTs. To design QADA, we first design a new stepped-triangular grid structures (sT-grid) that support data dissemination, then construct a triangular grid overlay in the fog layer on the lower IoT layer and propose the data dissemination algorithm of the publish/subscribe model that adaptively uses triangle grid (T-grid) and sT-grid quorums depending on the mission critical in the overlay constructed to disseminate the critical data, and evaluate its performance as an analytical model.

• Journal of Information Technology Applications and Management
• /
• v.27 no.3
• /
• pp.69-75
• /
• 2020

In this paper, we applied the shape parameters of the exponentialized exponential life distribution widely used in the field of software reliability, and compared the reliability properties of the software using the non-homogeneous Poisson process in finite failure. In addition, the average value function is also a non-decreasing form. In the case of the larger the shape parameter, the smaller the estimated error in predicting the predicted value in comparison with the true value, so it can be regarded as an efficient model in terms of relative accuracy. Also, in the larger the shape parameter, the larger the estimated value of the coefficient of determination, which can be regarded as an efficient model in terms of suitability. So. the larger the shape parameter model can be regarded as an efficient model in terms of goodness-of-fit. In the form of the reliability function, it gradually appears as a non-increasing pattern and the higher the shape parameter, the lower it is as the mission time elapses. Through this study, software operators can use the pattern of mean square error, mean value, and hazard function as a basic guideline for exploring software failures.

• Korean Journal of Remote Sensing
• /
• v.18 no.3
• /
• pp.147-153
• /
• 2002

The real-time reception and recording of down-link mission data from a satellite requires the highest reliability because the data lost in receiving process cannot be recovered. The data receiving and recording system has moved from a set of dedicated hardware and software components to commercial-off-the-shelf (COTS) components in order to reduce the system cost as well as to upgrade the system easily for handling other satellite data. The use of COTS hardware and middleware components prevents the system developer from correcting or modifying the internal operations of the COTS components, and hence, instant performance degradation of the COTS components which affects the reliable data acquisition must be covered by a software algorithm. This paper introduces the instant performance problem of a COTS data recording device which leads to the data loss in the real-time data reception and recording process. As a result, the requirement of the modification of the conventional data read/write technique is issued. In order to overcome the data loss problem due to the use of COTS components and the conventional software technique, a new algorithm called a software buffering technique is proposed. The experiments show that the application of the proposed technique results in reliable real-time reception and recording of high speed serial data.

• Journal of Information Technology Applications and Management
• /
• v.28 no.4
• /
• pp.13-20
• /
• 2021

In this paper, I was applied the life distribution following linear failure rate distribution, Lindley distribution and Burr-Hatke exponential distribution extensively used in the arena of software reliability and were associated the reliability possessions of the software using the nonhomogeneous Poisson process with finite failure. Furthermore, the average value functions of the life distribution are non-increasing form. Case of the linear failure rate distribution (exponential distribution) than other models, the smaller the estimated value estimation error in comparison with the true value. In terms of accuracy, since Burr-Hatke exponential distribution and exponential distribution model in the linear failure rate distribution have small mean square error values, Burr-Hatke exponential distribution and exponential distribution models were stared as the well-organized model. Also, the linear failure rate distribution (exponential distribution) and Burr-Hatke exponential distribution model, which can be viewed as an effectual model in terms of goodness-of-fit because the larger assessed value of the coefficient of determination than other models. Through this study, software workers can use the design of mean square error, mean value function as a elementary recommendation for discovering software failures.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.07a
• /
• pp.33-36
• /
• 2016

발사통제시스템의 주요 구성장치인 카운트다운 타임 생성 시스템은 카운트다운 신호를 생성하여 타 시스템에 제공하는 임무를 수행한다. 발사 관련 주요 장비들은 카운트다운 타임 생성 장치로부터 수신한 카운트다운 타임 정보에 따라 기능 수행을 하므로 안정적인 카운트다운 타임의 제공이 필수적이다. 따라서 카운트다운 타임 생성 시스템은 신뢰성과 고장 감내성을 보장하기 위한 설계가 요구된다. 이를 위해서는 시스템의 신뢰성을 보장하기 위한 방안으로 구성 장치들을 이중화하고 고장을 실시간 감시하여 고장 발생시 Active 장치에서 Standby 장치로의 절체 운용에 대한 설계가 필요하다. 본 논문에서는 카운트다운 타임 생성 장치의 이중화 설계에 따른 실시간 고장 감지 및 절체 운용 방법과 기능 시험 결과에 대하여 기술하였다.

• Journal of Aerospace System Engineering
• /
• v.6 no.4
• /
• pp.34-39
• /
• 2012

CubeSats classified as pico-class satellite require a ground station to track the satellite, transmit a command, and receive an on-orbit data such as SOH (State-of-Health) and mission data according to the operation plan. For this, ground station system has to be properly designed to perform a communication to with the satellite with enough up- and down-link budgets. In this study, a conceptual design of the ground station has been performed for the CubeSat named as STEP Cube Lab. (Cube Laboratory for Space Technology Experimental Project). The paper includes a ground station hardware interface design, link budget analysis and a ground station software realization. In addition, the operation plan of the ground station has been established considering the STEP Cube Lab. mission requirements.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.39 no.7
• /
• pp.660-665
• /
• 2011

Reconfigurable Flight Simulator for an airborne tactical mission based on virtual reality technology is developed as a software configurable cockpit with computer display as virtual instruments. It can simulate F-15K, KF-16, T/A-50 class fighter and depending on simulated cockpit, control stick and throttle are replaceable. For effective immersion, Video See-Through type HMD is applied.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.12
• /
• pp.1238-1243
• /
• 2008

This paper presents an HILS(Hardware in the Loop Simulations) based experimental study for the UAV's flight trajectory planning/generation algorithms and guidance/control laws. For the various mission that is loaded on each waypoint, proper trajectory planning and generation algorithms are applied to achieve best performances. Specially, the 'smoothing path' generation and the 'tangent orbit path' guidance laws are presented for the smooth path transitions and in-circle loitering mission, respectively. For the control laws that can minimize the effects of side wind, side slip angle($\beta$) feedback to the rudder scheme is implemented. Finally, being implemented on real hardwares, all the proposed algorithms are validated with integrations of hardware and software altogether via HILS.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.76-78
• /
• 2000

전력 시스템 가운데 과전류 차단 시스템은 전력 시스템의 보호를 위해 중요한 내장형 시스템이다. 이러한 시스템은 꼭 필요한 작동을 해야 하는 mission-critical 시스템이라 볼 수 있다. 이러한 mission-critical 시스템에 내장되는 소프트웨어의 개발은 요구사항 분석 및 설계, 개발 단계에서 시스템의 신뢰도를 높이는 것이 매우 중요하다. 본 논문에서 이러한 시스템의 소프트웨어의 설계가 요구사항과 일치하는지를 확인하고 요구된 성질을 만족하는 지를 검증하기 위해 회로 설계를 적합한 언어인 ESTEREL과 모델 체킹 도구를 이용하고 설계 및 검증 기법을 구현함으로 설계의 안정성과 정확성 및 설계에 대한 더 정확한 이해와 분석을 가능케 하는 설계 방법을 구현하는데 목적을 두고 있다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.13 no.6
• /
• pp.990-997
• /
• 2010

The Mission environment of UGV(Unmanned Ground Vehicle) has a complexity and variety, and the status of system and sensor is dependent on the environment factors such as operation time, the weather and road type. It is necessary for UGV to cope adaptively with the various mission types, operation modes and operation environment as human operators do. To satisfy this necessity, we present an autonomy manager based on the autonomous architecture. In this paper, we design a path planning software architecture and LPP manager by using open autonomous architecture which is previously designed by ADD. Field test is conducted with UGV in order to verify the performance of LPP Manager based on the Autonomous Architecture with scenarios.