• Journal of Digital Convergence
• /
• v.12 no.12
• /
• pp.277-284
• /
• 2014

The NHPP software reliability models for failure analysis can have, in the literature, exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, finite failure NHPP models that assuming the expected value of the defect and infinite failures NHPP models that repairing software failure point in time reflects the situation, were presented for comparing property. Commonly used in the field of software reliability based on Rayleigh distribution software reliability model finite failures and infinite failures were presented for comparison problem. As a result, infinite fault model is effectively finite fault models, respectively. The parameters estimation using maximum likelihood estimation was conducted. In this research, can be able to help software developers for considering software failure property some extent.

• Aerospace Engineering and Technology
• /
• v.11 no.1
• /
• pp.49-56
• /
• 2012

The flight software monitors the status of the satellite and performs attitude control and its own mission. Due to the operating environments and its uniqueness, the high level of reliability is required for the flight software. To this end, a variety of activities to meet the given requirements and improve the safety and reliability are made during the development of flight software. A variety of development environments should be provided to support execution of flight software on hardware or satellite simulator and dynamic verification of flight software through command/telemetry interface. The satellite flight software team has been developing the IVF to be applied to various satellite projects more effectively and to improve the reliability of flight software. In this paper, the design and configuration method of IVF for the effective verification of flight software is introduced.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.5
• /
• pp.339-344
• /
• 2015

NHPP software reliability models for failure analysis can have, in the literature, exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, infinite failures NHPP models that repairing software failure point in time reflects the situation, was presented for comparing property. Commonly used in the field of software reliability based on Weibull extension distribution software reliability of infinite failures was presented for comparison problem. The result is that a relatively large shape parameter was effectively. The parameters estimation using maximum likelihood estimation was conducted and Model selection was performed using the mean square error and the coefficient of determination. In this research, software developers to identify software failure property follows shape parameter, some extent be able to help is considered.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.1
• /
• pp.628-633
• /
• 2020

This paper presents an analysis of the shelf-life management program of the long-term storage one-shot system. The one-shot system is mainly maintained with long-term storage or non-operating status and is operated once at execution of the mission. The function corresponding to one-shot is mainly operated through a shelf-life item such as an explosive. The performance and characteristics of shelf-life item are subject to change as the storage period passes. Therefore, shelf-life management for maintaining good condition is very important during long-term storage, and criteria for management is necessary. We present a method for optimizing shelf-life extension by comparing criteria for management with current reliability. Next, the shelf-life evaluation schedule was decided by utilizing the reliability function of exponential distribution and Weibull distribution. Continuously accumulated test data from the shelf-life evaluation were analyzed, and the parameter of distribution was updated. The extension or expiration of shelf-life was selected by monitoring changes in reliability. In addition, we confirmed the applicability of the presented shelf-life management program by applying ASRP test data of the one-shot system K000 fuse.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.3
• /
• pp.195-202
• /
• 2015

NHPP software reliability models for failure analysis can have, in the literature, exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, finite failure NHPP models that assuming the expected value of the defect and infinite failures NHPP models that repairing software failure point in time reflects the situation, were presented for comparing property. Commonly used in the field of software reliability based on exponential power distribution software reliability model finite failures and infinite failures were presented for comparison problem. As a result, finite fault model is effectively infinite fault models, respectively. The parameters estimation using maximum likelihood estimation was conducted. In this research, software developers to identify software failure property some extent be able to help is considered.

• KIPS Transactions on Computer and Communication Systems
• /
• v.12 no.1
• /
• pp.9-16
• /
• 2023

Robots are expected to expand their scope of application to the military field and take on important missions such as surveillance and enemy detection in the coming future warfare. Swarm robots can perform tasks that are difficult or time-consuming for a single robot to be performed more efficiently due to the advantage of having multiple robots. Swarm robots require mutual recognition and collaboration. So they send and receive vast amounts of data, making it increasingly difficult to verify SW. Hardware-in-the-loop simulation used to increase the reliability of mission verification enables SW verification of complex swarm robots, but the amount of verification data exchanged between the HILS device and the simulator increases exponentially according to the number of systems to be verified. So communication overload may occur. In this paper, we propose a digital twin-based communication optimization technique to solve the communication overload problem that occurs in mission verification of swarm robots. Under the proposed Digital Twin based Multi HILS Framework, Network DT can efficiently allocate network resources to each robot according to the mission scenario through the Network Controller algorithm, and can satisfy all sensor generation rates required by individual robots participating in the group. In addition, as a result of an experiment on packet loss rate, it was possible to reduce the packet loss rate from 15.7% to 0.2%.

• Korean Journal of Computational Design and Engineering
• /
• v.20 no.2
• /
• pp.193-209
• /
• 2015

For reasons such as global warming, depletion of fossil fuels and the danger of nuclear energy the research and development of renewable energy is actively underway. Wind energy has advantages over another renewable energy in terms of location requirements, energy efficiency and reliability. Nowadays the research and development area is expanded to offshore because it can supply more wind reliability and free from noise pollution. In this study, the monopile offshore wind turbine transportation and installation (T&I) process are investigated. In addition, the schedule and cost for the process are estimated by discrete event simulation. For the simulation, simulation models for various means of T&I are developed. The optimum T&I execution plan with shortest duration and lowest cost can be found by using different mission start day and T&I means.

• Journal of the Korean Society of Systems Engineering
• /
• v.15 no.2
• /
• pp.47-56
• /
• 2019

Although the weapon systems are becoming more diverse and complex, they are progressing in a short development period and a longer test and evaluation period. The more difficult the given environment is, the more efforts and performance of quantitative target values can be made by development agencies to carry out stable projects. However, these target values of the Integrated Logistics Support are not specified in the requirements and being set during the system development phase. In this paper, application of MOEs, MOPs and TPMs for ILS are presented and provided the basis for carrying out systematic Verification & Validation activities. As a result that MOEs of the ILS were chosen as Availability and MOPs as Mission Reliability, Logistics Reliability, Maintainability and Supportability and TPMs as MTBF, MTBCF, MTTR and so on. In particular, it is appropriate tailoring and apply the TPMs considering the cost, schedule, scope of work and characteristics of the project.

• Convergence Security Journal
• /
• v.12 no.6
• /
• pp.3-10
• /
• 2012

In this paper, make a study decision problem called an optimal release policies after testing a software system in development phase and transfer it to the user. When correcting or modifying the software, finite failure non-homogeneous Poisson process model, considering learning factor, presented and propose release policies of the life distribution, log linear type model which used to an area of reliability because of various shape and scale parameter. In this paper, discuss optimal software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement. In a numerical example, the parameters estimation using maximum likelihood estimation of failure time data, make out estimating software optimal release time.

• Journal of Positioning, Navigation, and Timing
• /
• v.10 no.4
• /
• pp.235-242
• /
• 2021

Unmanned Aerial Vehicles (UAVs), which were used for military purposes, are gradually expanding their application fields under the influence of electrification and digitalization. Starting from the field of aerial imaging and Intelligence Surveillance and Reconnaissance (ISR) mission, nowadays the possibility of Urban Air Mobility (UAM), which transports passengers and cargo with drones, is widely under discussion. In order to occupy the rapidly growing global unmanned aerial vehicle market in advance, it is necessary to secure core technologies and develop key UAVs components based on the new technologies. In the navigation field, it is necessary to secure a precise position with guaranteed reliability and continuity, unrelated to the operating environments. The reliability and continuity should be secured in the algorithm level and in the H/W component levels also. In order to achieve this technical goal, the Ministry of Science and ICT has launched the 'Unmanned Vehicle Core Technology Research and Development Program' in 2019 to support the R&D on the unmanned vehicle technologies. In this paper, authors introduce the unmanned vehicle core technology research and development program to the related researchers. The authors summarize the backgrounds of the program and show the technological tasks and objectives on the sub-programs in the unmanned vehicle navigation program. We present the program schedules especially focused on the test and evaluation of the developed technologies and components.