• Journal of the Korea Society of Computer and Information
• /
• v.27 no.1
• /
• pp.51-59
• /
• 2022

As the weapon system's dependence on software functions increased, software became a key factor in controlling the weapon system. In addition, as software development becomes more important domestically and internationally, software verification becomes an issue. The recent defense market has recognized this point and is demanding a plan for weapon system software maintenance. In this paper, we propose a weapon system software maintenance plan using Automatic Test Equipment. The specific method is to use a simulator to check the software function and identify failure cases. This is an effective way for developers to reduce the Total Corrective Maintenance Time(TCM) of the weapon system by reducing the time it takes to identify failure cases. It has been proven that the proposed Automatic Test Equipment can achieve software maintenance and excellent Maintainability and Operational Availability compared to the existing ones.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.9
• /
• pp.1055-1062
• /
• 2004

Unified Modeling Language (UML) is a standard language for specifying, visualizing, constructing, and documenting the artifacts of software systems. On the other hand, XML, which is a meta-language, provides meta-data types for representing and string objects. It make software development easy because it can represent various information and share information about the software analysis and design between developers, In this paper, we apply BitWiz, one of automated software generation systems, to a bid application and analyse this in UML point of view. Also, we briefly introduce an XML documentation from UML products and a verification method of XML documents from UML products.

• Journal of Information Technology Applications and Management
• /
• v.24 no.4
• /
• pp.187-196
• /
• 2017

It is urgent to prepare countermeasures for traffic congestion problems of Korea's metropolitan area where central functions such as economic, social, cultural, and education are excessively concentrated. Most users of public transportation in metropolitan areas including Seoul use the traffic cards. If various information is extracted from traffic big data produced by the traffic cards, they can provide basic data for transport policies, land usages, or facility plans. Therefore, in this study, we extract valuable information such as the subway passengers' frequent travel patterns from the big traffic data provided by the Seoul Metropolitan Government Big Data Campus. For this, we use a Hadoop (High-Availability Distributed Object-Oriented Platform) to preprocess the big data and store it into a Mongo database in order to analyze it by a sequential pattern data mining technique. Since we analysis the actual big data, that is, the traffic cards' data provided by the Seoul Metropolitan Government Big Data Campus, the analyzed results can be used as an important referenced data when the Seoul government makes a plan about the metropolitan traffic policies.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.7B
• /
• pp.744-750
• /
• 2009

In this paper, the unified Markov modeling of hardware and software for AVTMR(AlI Voting Triple Modular Redundancy) system is proposed and the dependability is analyzed. In hardware case, a failure rate is fixed to no time varying parameter. But, in software case, failure rate is applied with time varying parameter. Especially, the dependability(Reliability, Availability, Maintainability, Safety) of software is analyzed with G-O/NHPP for Markov modeling. The dependability of single and AVTMR system is analyzed and simulated with a unified Markov modeling method, and the characteristic of each system is compared accroding to failure rate. This kind of fault tolerat system can be applied to an airplane and life critical system to meet the requirement for a specific requirement.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.9
• /
• pp.5726-5737
• /
• 2014

The increasing importance of software has highlighted the need for the proper application of software ILS. On the other hand, the development of ILS has been somewhat limited to the area of hardware development. Therefore, this study examined the potential difficulties in applying software ILS to practical uses, and analyzed the drawbacks by reporting several domestic or foreign regulation cases. In addition, the differences between hardware and software ILS were examined by considering their characteristics of maintenance. Eventually, by establishing the proper range, this study proposes a development plan that is suitable for domestic weapon systems. The proposed research is expected to be helpful for offering specific plans for designing software ILS.

• Proceedings of the KIEE Conference
• /
• 2001.04a
• /
• pp.473-475
• /
• 2001

This paper proposed a MPPT ( Maximum Power Point Tracking) control algorithm for PV(Photovoltaic) array based on a modified constant voltage control MPPT algorithm at low-insolation. This method which combines a IncCond(Incremental Conductance) and a constant voltage control algorithm. In contrast to the typical conventional MPPT algorithm, the proposed method have been obtained high efficiency and good performance. The proposed algorithm is verified through simulation result. In order to confirm the availability of the scheme, a simulation used PSIM and ACSL software tool.

• Journal of Ecology and Environment
• /
• v.45 no.4
• /
• pp.255-263
• /
• 2021

Background: Ecosystem service mapping is an important tool for decision-making in landscape planning and natural resource management. Today, pollination service mapping is based on the Lonsdorf model (InVEST software) that determines the availability of nesting and floral resources for each land cover and estimates pollination according to the foraging range of the desired species. However, it is argued that the Lonsdorf model has significant limitations in estimating pollination in a landscape that can affect the results of this model. Results: This paper presents a free software, named PollMap, that does not have the limitations of the Lonsdorf model. PollMap estimates the pollination service according to a modified version of the Lonsdorf model and assumes that only cells within the flight range of bees are important in the pollination mapping. This software is produced for estimating and mapping crop pollination in agricultural landscapes. The main assumption of this software is that in the agricultural landscapes, which are dominated by forest and agriculture ecosystems, forest patches serve only as a nesting habitat for wild bees and the surrounding fields provide floral resources. Conclusion: The present study provided new software for mapping crop pollination in agricultural landscapes that does not have the limitations of the Lonsdorf model. We showed that the use of the Lonsdorf model for pollination mapping requires attention to the limitations of this model, and by removing these limitations, we will need new software to obtain a reliable mapping of pollination in agricultural landscapes.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2006.04a
• /
• pp.33-37
• /
• 2006

After USA removed the Selective Availability(SA), Global Positioning System(GPS) has monopolized tile world market and other countries have been depended on GPS, absolutely So the other countries, Russia, European Community(EC) and Japan, which apprehend to monopolize in technical and strategic parts, are developing the next generation GNSS including GLONASS Galileo and JRANS. And the countries are planning to provide the another GNSS. This research has focused on the next generation GNSS system based on GPS and Galileo system with developing a GNSS simulation software, named as GIMS2005, which generates and analyzes satellite constellation and measurements. Based on the software, a variety of simulation tests have been carried out to recognize limits of GPS-only system and potential benefits of integrated GPS/Galileo positioning In terms of satellite geometry strength and solution accuracy.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.3
• /
• pp.1321-1332
• /
• 2016

Wireless sensor networks (WSN) are self-organized networks that typically consist of thousands of low-cost, low-powered sensor nodes. The reliability and availability of WSNs can be affected by faults, including those from radio interference, battery exhaustion, hardware and software failures, communication link errors, malicious attacks, and so on. Thus, we propose a novel multi-agent fault tolerant system for wireless sensor networks. Since a major requirement of WSNs is to reduce energy consumption, we use multi-agent and mobile agent configurations to manage WSNs that provide energy-efficient services. Mobile agent architecture have inherent advantages in that they provide energy awareness, scalability, reliability, and extensibility. Our multi-agent system consists of a resource manager, a fault tolerance manager and a load balancing manager, and we also propose fault-tolerant protocols that use multi-agent and mobile agent setups.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.4 s.97
• /
• pp.85-94
• /
• 1999

Reconfiguration, expansion, or new establishment of FMS requires the availability of a shop floor control (SFC) system relevant to the FMS since it is closely related with the hardware component of FMS. Due to the expensive cost of its development, significant research efforts have been made to develop an SFC system that is reusable. This paper presents Abstract Machine Tool (AMT) approach applied to develop an SFC sytem that is reusable without additional programming. The AMT model enables us to design the SFC system independently of the hardware-dependent attributes of euqipment; an AMT models a workstation by abstraction and presents an equipment-independent interface to machining cell controller. Specifically, we describe how we formalize the interfaces among equipment in order to build an AMT and how we design the machining cell control software based on AMT models. We also present MACHINIST the machining cell control system for IAE-FMS plant as an implementation example.