• Journal of information and communication convergence engineering
• /
• v.6 no.1
• /
• pp.6-9
• /
• 2008

In future domestic context aware applications the location of mobile devices is often required. Ultrasonic technology enables high resolution indoor position measurements. A disadvantage of state-of-art ultrasonic systems is that several base stations are required to estimate 3D position. This study aims to evaluate the efficiency and effectiveness of using UPS as a 3D free-hand writing or drawing tool. The processes include the design and testing of UPS as an efficient 3D free-hand writing or drawing tool in the air. The paper will further explain the system architecture of the UPS and how to use GPS as 3D free-hand writing or drawing tool. The efficiency and effectiveness of the system was confirmed by a computer software simulation. The software will further display the result of drawing or writing from the user by graphics. As a result, it is possible to implement UPS as a 3D free-hand writing or drawing tool in the air.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2006.05a
• /
• pp.451-454
• /
• 2006

Ultrasonic Positioning System (UPS) is an absolute positioning system using ultrasonic waves and has better performance in low price than the other absolute positioning systems. UPS can be further used as pseudo-satellites in the place where GPS is not available. This study aims to evaluate the efficiency and effectiveness of using UPS as a 3D free-hand writing or drawing tool. The process includes the design and testing of VPS as an efficient 3D free-hand writing or drawing tool in the air. The paper will further explain the system architecture of the UPS and how to use GPS as 3D free-hand writing or drawing tool. The efficiency and effectiveness of the system was confirmed by a computer software simulation. The software will further display the result of drawing or writing from the user by graphics. As a result, it is possible to implement UPS as a 3D free-hand writing or drawing tool in the air.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.836-840
• /
• 1995

Recently, the motor-integrated spindle spindle systems have been used to simplify the machine tool structure, to improve the motion flexibility of machine tool, and to perform the high-speed machining. In this study, a static and dynamic analysis system for motor-integrated high-speed spindle systems is developed based on Timoshenko theory, finite element method and windows programming techniques. Since the system has various analysis modules related to static deformation analysis, modal analysis, frequency response analysis, unbalance response analysis and so on, it is useful in performing systematically the design and evaluation processes of motor-integrated high-speed spindle systems under windows GUI encironment.

• Nuclear Engineering and Technology
• /
• v.41 no.1
• /
• pp.79-90
• /
• 2009

Verification of programmable logic controller (PLC) programs written in IEC 61131-3 function block diagram (FBD) is essential in the transition from the use of traditional relay-based analog systems to PLC-based digital systems. This paper describes effective use of the well-known verification tool VIS for automatic verification of behavioral equivalences between successive FBD revisions. We formally defined FBD semantics as a state-transition system, developed semantic-preserving translation rules from FBD to Verilog programs, implemented a software tool to support the process, and conducted a case study on a subset of FBDs for APR-1400 reactor protection system design.

• Journal of Positioning, Navigation, and Timing
• /
• v.7 no.4
• /
• pp.267-275
• /
• 2018

The reference stations in a satellite-based augmentation system (SBAS) collect raw data from global navigation satellite system (GNSS) to generate correction and integrity information. The multipath signals degrade GNSS raw data quality and have adverse effects on the SBAS performance. The currently operating SBASs (WAAS and EGNOS, etc.) survey existing commercial equipment to perform multipath assessment around the antennas. For the multi-path assessment, signal power of GNSS and multipath at the MEDLL receiver of NovAtel were estimated and the results were replicated by a ratio of signal power estimated at NovAtel Multipath Assessment Tool (MAT). However, the same experiment environment used in existing systems cannot be configured in reference stations in Korean augmentation satellite system (KASS) due to the discontinued model of MAT and MEDLL receivers used in the existing systems. This paper proposes a test environment for multipath assessment around the antennas in KASS Multipath Assessment Tool (K-MAT) for multipath assessment. K-MAT estimates a multipath error contained in the code pseudorange using linear combination between the measurements and replicates the results through polar plot and histogram for multipath assessment using the estimated values.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.24 no.8
• /
• pp.101-108
• /
• 2010

In order to construct the IEC 61850 based substation automation system, the IED integration engineering tool is necessary to cope with the substation automation by full digital devices in the real power system. Compared the configuration tools provided IED vendors which are able to support the operation and communication analysis among IEDs, the XML based IED integration engineering tool can build, edit and save the ICD, SCL and CID files. Particularly, the IED integration engineering tool is possible to apply the IEC 61850 based IEDs to engineering the systems and also provides the reliability and efficiency of the system to the utilities and manufacturers.

• Journal of Electrical Engineering and Technology
• /
• v.12 no.4
• /
• pp.1348-1356
• /
• 2017

Integration of wind generators with the conventional power plants will raise operational challenges to the electric power utilities due to the uncertainty of wind availability. Thus, the Generation Scheduling (GS) among the online generating units has become crucial. This process can be formulated mathematically as an optimization problem. The GS problem of wind integrated power system is inherently complex because the formulation involves non-linear operational characteristics of generating units, system and operational constraints. As the robust tool is viable to address the chosen problem, the modern bio-inspired algorithm namely, Grey Wolf Optimization (GWO) algorithm is chosen as the main optimization tool. The intended algorithm is implemented on the standard test systems and the attained numerical results are compared with the earlier reports. The comparison clearly indicates the intended tool is robust and a promising alternative for solving GS problems.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.11
• /
• pp.961-968
• /
• 2018

Airborne display systems provide pilots with a variety of information needed to operate aircraft. Software faults in the display system can seriously affect the operation of the aircraft, because it can provide inaccurate information to the pilot. Therefore, the software faults are identified and eliminated through ground testing and flight testing. This paper presents an analysis tool called FDR (flight data replay) for flight test of airborne display software. This tool works in real time with the mission computer of aircraft. Also, the tool reproduces the functional error conditions that appear in the display systems by applying flight test data to the display software.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.9
• /
• pp.4248-4270
• /
• 2018

This research aims at a new practical Intent fuzzing tool for detecting Intent vulnerabilities of Android apps causing the robustness problem. We proposed two new ideas. First, we designed an Intent specification language to describe the structure of Intent, which makes our Intent fuzz testing tool flexible. Second, we proposed an automatic tally method classifying unique failures. With the two ideas, we implemented an Intent fuzz testing tool called Hwacha, and evaluated it with 50 commercial Android apps. Our tool offers an arbitrary combination of automatic and manual Intent generators with executors such as ADB and JUnit due to the use of the Intent specification language. The automatic tally method excluded almost 80% of duplicate failures in our experiment, reducing efforts of testers very much in review of failures. The tool uncovered more than 400 unique failures including what is unknown so far. We also measured execution time for Intent fuzz testing, which has been rarely reported before. Our tool is practical because the whole procedure of fuzz testing is fully automatic and the tool is applicable to the large number of Android apps with no human intervention.

• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.