• Journal of Korea Spatial Information System Society
• /
• v.2 no.1 s.3
• /
• pp.91-107
• /
• 2000

Geographic Information Systems(GISs) generally use a very large amount of spatial data. and are implemented on various software and hardware system. If it is impossible to exchange the spatial data efficiently among the different hardware, software, and operation systems, data sharing will be very difficult and duplicated storage & management of the spatial data will result in a great economic loss. To solve such problems, a national organization established a national standard for GIS and constructed spatial databases at the national level. In Korea, SDTS(Spatial Data Transfer Standard) is selected as a national standard for the common data transfer format. In this paper, we design and implement a SDTS Data Management System which can support display, insertion, update, deletion of SDTS data, extraction and creation of a specified area, error checking and reporting, setting and verification of a SDTS profile through the GUI (Graphic User Interface) environment. Hereafter, as GIS industry is continually activated and a demand for the SDTS data increases, a requirement for analysis and trust of the SDTS data will grow bigger, so the necessity of the SDTS Data Management System developed in this paper will also grow rapidly.

• Aerospace Engineering and Technology
• /
• v.6 no.2
• /
• pp.171-179
• /
• 2007

The Test Equipment for the upper stage of KSLV-I has following functions via umbilical cable interface; external power supply, command output such as discrete and analog, data acquisition, CS-I interface simulation for first stage of KSLV-I and RS-422 serial communication for PDU. The main purpose of UTE is the experiment or function verification of system-level upper stage. To realize this system, we used PXI control system. The UTE is consisted of the PXI control system, power supply, terminal block, internal harness, connector panel and so on. The software functions of UTE are classified by four blocks. These are Discrete/Analog I/O control, PDU RS-422 serial communication control, power supply GPIB control and UTE remote control. In this paper, we will describe the design on the hardware and software of UTE.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.05a
• /
• pp.975-977
• /
• 2013

Arduino is for design based on open source prototyping platform, artist, designer, hobby activists, etc, i has been designed for all those who are interested in the environment construct. Arduino adventage you can easily create applications hardware, without deep knowledge about the hardware. Configuration of arduino using AVR microcontroller ATmage 168, software to action arduino using arduino program, MATLAB, Processing. Arduino is open source base, you can hardware production directly and using shield additionally, the arduino can be combined. Processing iis open source. You can 2D, 3D, PDF output, using P3D and OpenGL graphics. Also you can check by running a stand-alone application. Through a combination of Arduino, library support, such as sound, video, and computer vision can be expanded, this program is the Android phone and iPhone programming. In this paper, sortware was used for Processing, hardware was used for arduino MegaADK board, After making easy 2axis game, using the software and hardware verification.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.6B
• /
• pp.630-640
• /
• 2009

The thesis suggests hand-held equipment to overhaul for mobile TFT LCD/OLED module of high-performance. The established module equipment to overhaul could distinguish outputting video data to module for distinguishing flicker, but it is impossible with low system. In this thesis, supporting system could check the various supplement functions from bringing equipment to overhaul without changing design of FPGA or H/W the module various size for equipment to overhaul for module of high-performance coincidently. The system includes hand-held equipment to overhaul, test software embedded and software a base personal computer and have designed to output, save, and certify all contents of module test of hand-held equipment to overhaul to interface universal serial bus. Setting up 9 items that represent for efficient verification of the proposed system have been possible confirmation with TFT LCD/OLED module of high-performance, establishment scan time, creation gamma, changing register, supporting interface, and multi inch modules.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.5
• /
• pp.124-133
• /
• 2003

We propose an application of the Object-Oriented design methodology to develop operational flight program(OFP) for stores management computer(SMC) which manages and controls stores inventory, stores activation, launch for missiles, and release of the conventional weapons. For the development of SMC, a military version of PowerPC 603e is used as a central processing unit board and VxWorks real-time operating system is used. The Tornado software development environment(SDE) and the programming language Ada95 are used for OFP development. We design three layerd in the OFP for the independency of the software modules. An avionics system computer(ASC) simulator and a test bench are developed for the SMC integration test and verification test. And the tests are rigorously and successfully conducted.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.26 no.6
• /
• pp.589-592
• /
• 2015

In this paper, we suggested a real-time test-bed for analyzing frequency interference between 2.4 GHz unlicensed devices, such as WiFi, Zigbee, etc. Owing to versatile programming capability of Universal Software Radio Peripheral(USRP) and $Labview^{TM}$, frequency interference environments can be easily modeled. Therefore, performance degradation effects due to various parameters of interferer and victim receiver can be analyzed intuitively. For verification, we showed a frequency interference scenario, which consists of IEEE 802.15.4 as a victim and IEEE 802.11b as a interferer. Measured Bit Error Rate(BER) results showed good agreement with theory and simulation results.

• Journal of KIISE:Software and Applications
• /
• v.28 no.9
• /
• pp.634-648
• /
• 2001

Message Sequence Charts(MSC) has been used to describe the interactions of numerous concurrent tasks in telecommunication software. After the MSC specification is verified in requirement analysis phase, it can be used not only to synthesize state-based design models, but also to generate test sequences. Until now, the verification is accomplished by generating global state transition graph using the location information only. In this paper, we extend the condition statement of MSC to describe the activation condition of scenarios and the change of state variables, and propose an approach to construct global finite state machine (GFSM) using this information. The GFSM only includes feasible states and transitions of the system. We can generate the test sequences using the existing FSM-based test sequence generation technology.

• Journal of the Korea Society for Simulation
• /
• v.24 no.4
• /
• pp.35-41
• /
• 2015

Recoil system for 40mm automatic gun is a device developed to absorb the shock of explosion. It is impossible to conduct pinpoint strike due to recoil if very high explosive shock, which is generated when an automatic gun fires shells, can't be absorbed. This study covers development and verification of analysis model for recoil system by utilizing a multi-domain software. The research process is as in the following. First, an analysis model is developed to verify damping characteristics through understanding of design intention. Second, environment which is identical to a field test is set up on analysis tool after putting explosive force that is measured through the test into the analysis model. Finally, the analysis model for recoil system using the multi-domain software is verified if it has effectiveness with a comparison between internal pressure of the recoil system along with displacement of gun barrel and the field test result.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.24 no.3
• /
• pp.535-545
• /
• 2014

As the software industry has developed, the attacks making use of software vulnerability has become a big issue in society. In particular, because the attacks using the vulnerability of web browsers bypass Windows protection mechanism, web browsers can readily be attacked. To protect web browsers against security threat, research on fuzzing has constantly been conducted. However, most existing web browser fuzzing tools use a simple fuzzing technique which randomly mutates DOM tree. Therefore, this paper analyzed existing web browser fuzzing tools and the patterns of their already-known vulnerability to propose an event and command based fuzzing tool which can detect the latest web browser vulnerability more effectively. Three kinds of existing fuzzing tools were compared with the proposed tool. As a result, it was found that the event and command based fuzzing tool proposed was more effective.

• Journal of Navigation and Port Research
• /
• v.36 no.8
• /
• pp.599-605
• /
• 2012

As vessels are faster and bigger, higher safety navigation techniques have been required. In marine traffic area, buoy is to be one of the most important equipment, so that it should be built stable and robust. Verification in design level is good to accomplish it. This paper tries to implement visual program to confirm the external stability, which shows the movement on water by external factors such as wind, tide and current. Considering further requirements for additional influences or functions, design architecture for program introduces the concept of software component. Using Quest3D as the graphic tool, visual programming with software component concept can be implemented.