• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.708-720
• /
• 2007

Memory access errors are frequently occurred in computer programs written in C programming language [1,2]. Accordingly, a number of research works have suggested a wide variety of methods to detect such errors automatically. However, they have one or more of the following problems: inability to detect all memory errors, changing the memory allocation mechanism, and excessive performance overhead. To cope with these problems, in this paper we suggest a new and automated tool to detect dynamic memory access errors in C programs.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.4
• /
• pp.805-814
• /
• 1998

An efficient image processing algorithm is proposed to recognize both the height and width modulated barcodes which are rotated and printed at an arbitrary position. The main feature of this algorithm is to utilize the gradient information of a rotated barcode with a Sobel operator. The barcode area is extracted using the gradient information, and the barcode is decoded from the binary image of the extracted area. Theis algorithm is successfully applied to the 4 state and width modulated barcodes. It takes 0.86 secoden to process a letter, and the recognition rate reaches above 98% under various testing conditions. Since both the width and height modulated barcodes are processed with the proposed algorithm, it can be applied to postal service automation.

• International Journal of Railway
• /
• v.2 no.3
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.23 no.4
• /
• pp.389-398
• /
• 2020

Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

• Industrial Engineering and Management Systems
• /
• v.11 no.1
• /
• pp.123-132
• /
• 2012

Recently, global environmental problems have become serious due to human economic activities. Therefore, in order to build a sustainable society in which human economic activities coexist with nature, it is important to promote and enhance environmental education. As a preceding study, a board and computer game of "Ecopoly," which is the game for education on global environmental problems, were developed. This study further aims to develop algorithms which make decisions in Ecopoly, to automate decision-makings of opponents using the algorithms, and to develop the environmental educational game "Ecopoly V" which enables self-learning. In order to develop the algorithms, the board game of Ecopoly was played, and each player's decision-makings at the all points at which players make a decision were observed and analyzed. From the analyses, it became clear that the decision-makings were distinguished by 3 characteristics; Ecology type, Economy type, and Balance type. Based on the characteristics, the factors and standard values of each decision-making were made clear. Algorithms were developed based on the factors and standard values. Ecopoly V was developed by incorporating the algorithms into the computer game of Ecopoly. Experimental testing of the game was conducted and the validity of the game was verified.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.11
• /
• pp.5110-5116
• /
• 2011

In this paper, multiplexing automation system will be proposed for the automobile electromotive mirror using CAN(Controller Area Network) protocol which has been known that it has a high reliability on the signal in the various network protocols. To do this, a master controller and two (input/output) slave controllers (H/W) are being made and application layer (S/W) is being programmed for effective going and communicating between subsystems. The possibility of the effectiveness of application and control ability will be shown when the system has minimum electrical lines by testing the experimental systems which was made up of the automobile electromotive mirror.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.16 no.10
• /
• pp.969-976
• /
• 2004

Building energy saving is one of the most important issues in these days. Energy saving control strategies should be developed properly to achieve the saving. One of such area we could apply is the HVAC (Heating, Ventilation and Air-Conditioning) system. Through the optimal control algorithm for building energy management system (EMS), you can not only save the cost of building energy, but also protect HVAC system components against the unexpected condition. In order to verify the effectiveness of building energy saving, field test was accomplished for several months at 'A' building. And to get the measured data, remote control was used. If the remote control is used in BAS (Building Automation System), control and monitoring can be done for all of the building systems, such as HVAC, power, lighting, security and fire-alarm etc. anywhere any time. Using the remote control, Control and monitoring is possible for the testing system without going there. As the results of field test, we could reduce $5{\sim}10\%$ of the building energy cost.

• Journal of Software Engineering Society
• /
• v.24 no.2
• /
• pp.35-45
• /
• 2011

Simulated annealing has been studied a long times. And it is one of the effective techniques for test data generation. But basic SA methods showed bad performance because of neighborhood selection strategies in the case of large input domain. To overcome this limitation, we propose new neighborhood selection approach, Branch Distance. We performs case studies based on the proposed approach to evaluate it's performance and to compare it whit basic SA and Random test generation. The results of the case studies appear that proposed approach show better performance than the other approach.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.19 no.12
• /
• pp.1-7
• /
• 2020

An experimental evaluation of bending fatigue strength for austempered ductile iron (ADI) spur gears was performed using a Zwick fatigue tester. The gear material was manufactured using vertical continuous casting, resulting in the radius of the graphite grains being smaller. The stress-number of cycles curve (S-N curve) for the bending fatigue strength of the ADI spur gears thus manufactured, without any specific surface treatments, was obtained using post-processing software. It was observed that when the reliability was 50%, the allowable root stress was 610 MPa. was calculated using an analytical method as well as the finite element method, and the difference between the values calculated using the two methods is only 7%. This study provides a reliable basis to rate the reliability design of small gearboxes in automation in the future.

• International Journal of Computer Science & Network Security
• /
• v.23 no.8
• /
• pp.77-84
• /
• 2023

The utilization of GPUs on general-purpose computers is currently on the rise due to the increase in its programmability and performance requirements. The utility of tools like NVIDIA's CUDA have been designed to allow programmers to code algorithms by using C-like language for the execution process on the graphics processing units GPU. Unfortunately, many of the performance and correctness bugs will happen on parallel programs. The CUDA tool support for the parallel programs has not yet been actualized. The use of a dynamic analyzer to find performance and correctness bugs in CUDA programs facilitates the execution of sophisticated processes, especially in modern computing requirements. Any race conditions bug it will impact of program correctness and the share memory bank conflicts to improve the overall performance. The technique instruments the programs in a way that promotes accessibility of the memory locations accessed by different threads well as to check for any bugs in the code of a program. The instrumented source code will be used initiated directly in the device emulation code of CUDA to send report for the user about all errors. The current degree of automation helps programmers solve subtle bugs in highly complex programs or programs that cannot be analyzed manually.