• Journal of KIISE
• /
• v.43 no.9
• /
• pp.953-962
• /
• 2016

Model-based testing is a technique for performing the test by using a model that represents the behavior of the system as a system specification. Industrial domains such as automotive, military/aerospace, medical, railway and nuclear power generation require model-based testing and code coverage-based testing to improve the quality of software. Despite the fact that both model-based testing and code coverage-based testing are required, difficulty in achieving a high coverage using model-based testing caused by the abstraction level difference between the test model and the source code, results in the need for performing model-based testing separately. In this study, to overcome the limitations of the existing model-based testing, we proposed the state machine transformation method to effectively improve the code coverage using the protocol state machine, one of the typical modeling methods is used as the test model in model-based testing, as the test model. In addition, we performed a case study of both systems and analyzed the effectiveness of the proposed method.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.42 no.4
• /
• pp.194-202
• /
• 2019

Reliability analysis of the components frequently starts with the data that manufacturer provides. If enough failure data are collected from the field operations, the reliability should be recomputed and updated on the basis of the field failure data. However, when the failure time record for a component contains only a few observations, all statistical methodologies are limited. In this case, where the failure records for multiple number of identical components are available, a valid alternative is combining all the data from each component into one data set with enough sample size and utilizing the useful information in the censored data. The ROK Navy has been operating multiple Patrol Killer Guided missiles (PKGs) for several years. The Korea Multi-Function Control Console (KMFCC) is one of key components in PKG combat system. The maintenance record for the KMFCC contains less than ten failure observations and a censored datum. This paper proposes a Bayesian approach with a Dirichlet mixture model to estimate failure time density for KMFCC. Trends test for each component record indicated that null hypothesis, that failure occurrence is renewal process, is not rejected. Since the KMFCCs have been functioning under different operating environment, the failure time distribution may be a composition of a number of unknown distributions, i.e. a mixture distribution, rather than a single distribution. The Dirichlet mixture model was coded as probabilistic programming in Python using PyMC3. Then Markov Chain Monte Carlo (MCMC) sampling technique employed in PyMC3 probabilistically estimated the parameters' posterior distribution through the Dirichlet mixture model. The simulation results revealed that the mixture models provide superior fits to the combined data set over single models.

• The Journal of Bigdata
• /
• v.4 no.1
• /
• pp.39-51
• /
• 2019

With the advent of the fourth industrial revolution characterized by hyperconnectivity and superintelligence and the emerging cyber physical systems, enormous volumes of data are being generated in the cyberspace every day ranging from the records about human life and activities to the communication records of computers, information and communication devices, and the Internet of things. Big data represented by 3Vs (volume, velocity, and variety) are actively used in the defence field as well. This paper proposes a big data governance model to support effective military operations in the cyberspace. Cyberspace operation missions and big data types that can be collected in the cyberspace are classified and integrated with big data governance issues to build a big data governance framework model. Then the effectiveness of the constructed model is verified through examples. The result of this study will be able to assist big data utilization planning in the defence sector.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.12 no.5
• /
• pp.171-179
• /
• 2004

Today, the number of vehicle increased rapidly with the development of modem science technology, and it caused serious problems; traffic jam, accident and pollution etc. One of the solve methods these problems it is necessary to develope the vehicle navigation systems and it is already widely used to in field of military etc. Vehicle navigation system can increase the efficiency of traffic flow and offer at a drivers at a best driving conditions. In the vehicle navigation, most important thing is to measure of correct position. There are classifiable as three types. The first is G.P.S., method at artificial satellites which measures the present position and velocity any time, any where in the world at the same time. Secondly, a vehicle can determine its position and path information with a gyroscope and odometer signal, which is called Dead-Reckoning method. Thirdly, hybrid navigation system is the combined of two methods to make utilize the advantage of each navigation system. In the paper, we are analyzed to characteristics at a gyro sensor and introduce at a composition of hybrid navigation system which is combined with the G.P.S., D.R., and map-matching technique. We analyze deeply for the Map-Matching method and explain the coordinate transformation for G.P.S., and the Hybrid navigation algorithm is developed and experimented. Finally, we conclude and comment about our road test results.

• Journal of Digital Convergence
• /
• v.14 no.4
• /
• pp.201-208
• /
• 2016

Recently, non-standard techniques of web like Active-X caused not only user inconvenience but also barriers to the business of Internet. The government recognized that the serious environmental situation of using Internet is needed to be improved. Especially, HTML5 convergence technology is meant to be a specific platform over the devices, users, and systems. It also means web standards to support more creative business service model and emerging market. In this paper, we performed a survey on Web standards compliance and web development professional level of domestic web developers. In addition, we present the basic direction of government policy of software and software-positive human resources policy, that is based on the analysis of the survey results. Our study will be able to contribute to construct policies to support digital convergence industry and to strengthen technical assistance and expertise to build training programs for the spread of global Web standards (HTML5).

• Journal of Digital Convergence
• /
• v.14 no.6
• /
• pp.143-150
• /
• 2016

This paper's aim is to suggest the Expert System for analyzing relative combat power in ground operations. Since relative combat power analysis in terms of comparing combat power of friendly forces with one of the enemy can determine how the commander and staffs operate their unit afterwards, it requires fast and rational decision-making process. However, it has relied on manual method so far though Tactical Information Communications Network(TICN) into which numbers of applications can be loaded has been developed over a decade. 3 methods for analyzing relative combat power were expressed as mathematic rules to be used knowledge in the expert system after reviewing previous studies, and it studied how intangible power as well as tangible were reflected on total combat power. The expert system that will be built using EXSYS Corvid tool is expected to lessen error rate, provide faster decision-making, and reflect both intangible combat power and tangible one by using an appropriate weights in analyzing relative combat power. Next research filed includes how to build expert systems related with military personnel and intelligence areas for fast and rational decision-making processes.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.40 no.3
• /
• pp.18-26
• /
• 2017

Defense industries which require high reliability need an optimized quality management system with well-planned implementation. And the government should examine the overall status of defense industries, then establish practical policies with a proper support plan in required areas to upgrade the quality management level of manufacturers. Thus, DTaQ developed the model for 2 years from 2014, which specialized in quality management level analysis for defense industries. And a survey has been undertaken with that model by DTaQ and Korea Research Center in 2016. The surveyed companies randomly sampled among those which have more than 30 employees and delivery history over past 3 years, and finally 106 defense industries were selected. This paper present survey method and indexes for survey of defense industry quality management level. The survey was conducted in the order of planning, data collection and data processing, and the validity and reliability of the data were verified to increase objectivity of survey results. The survey contents mainly consist of system quality and management quality. System quality includes Product Development Management, Production Operation Management, supply chain quality management, Safety & Environment Management and Reliability Management, on the other hand, management quality includes Strategic Leadership, Human Resource Management, Customer Market Management and Information & Knowledge Management. Thus this proposes the current overall quality management status of the 106 defense industries and shows level differences by company sizes and manufacturing sectors based on the result of survey. Specifically, this paper enables to track the areas which need prompt government support with the policy directions to make quality management level higher. Therefore, it is expected that this can be used as reference data in establishing quality policies for military supplies in the future.

• Convergence Security Journal
• /
• v.18 no.4
• /
• pp.62-71
• /
• 2018

The rapid growth of virtual reality technology in the era of the 4th Industrial Revolution has accelerated scientification of combat training systems in addition to ICT(information and communications technology) in military field. Recently, research and development of simulators based on virtual reality have been actively conducted in order to solve sensitive issues such as increase of civil complaints due to the noise of a shooting range, prevention of shooting accident, and reduction of training cost. In this paper, we propose two key solutions: spatial synchronization method and modified point mass trajectory model with small angle approximation to overcome technical limitations of a current training simulator. A trainee who wears a haptic vest in a mixed reality environment built in MARS(medium-range assault rifle shooting simulator) is able to conduct not only precision shooting but also two-way engagement with virtual opponents. It is possible for trainee to receive more reliable evaluations in the MARS than an existing rifle simulator based on laser.

• Korean journal of communication and information
• /
• v.78
• /
• pp.206-242
• /
• 2016

This study dealt with the U.S. government's book translation project as a part of its public diplomacy to gain the Korean people's 'minds and thoughts' in the midst of cultural Cold War from the end of World War II to the late 1950s. It was found that the U.S. book translation project was begun during the U.S. military occupation of South Korea, though with minimum efforts, and reached its peak in the late 1950s, In general, the purposes of the U.S. book translation project in South Korea was as follows: to emphasize the supremacy of American political and economic systems; to criticize the irrationality of communism and conflicts in the communist societies; to increase the Korean people's understanding of the U.S. foreign policies; to publicize the achievement of the U.S. people in the areas of arts, literature, and sciences. In the selection of books for translation, any ones were excluded which might contradict to U.S. foreign policy or impair U.S. images abroad. It must be noted that publications of a few Korean writers' books were supported by the project, if they were thought to be in service for its purposes. Even some Japanese books, which were produced by the U.S. book translation project in Japan, were utilized for the best effects of the project in South Korea. It may be conceded that the U.S. book translation project contributed a little bit to the compensation for the dearth of knowledge and information in South Korea at that time. However, the project may have distorted the Korean people's perspectives toward the U.S. and world, owing to the book selection in accordance with the U.S. government's policy guidance.

• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.135-139
• /
• 2007

Recently Data Centric Storage (DCS) schemes are variously studied for several applications (e.g. natural environment investigation, military application systems and environmental changes monitoring). In DCS scheme, data is stored at nodes within the network by name. There are several drawbacks in the existing schemes. The first is the inefficiency of the range query processing on not considered the locality of store point. the second is the non-homogeneity of store load of each sensors in case of the sensor distribution density is non-uniformed. In this paper, we propose a novel data centric storage scheme with the sensor distribution density which satisfied with the locality of data store location. This scheme divides whole sensor network area using grid and distributes the density bit map witch consist of the sensor density information of each cell. sensors use the density bit map for storing and searching the data. We evaluate our scheme with existing schemes. As a result, we show improved load balancing and more efficient range query processing than existing schemes in environment which sensors are distributed non-uniform.