• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.8
• /
• pp.385-390
• /
• 2017

Because of the ever-increasing software complexity, model-based development techniques are becoming an essential technique in software development. However, even if model-based techniques are used, the test case generation for complex software is still a challenge to solve. In this paper, we propose a method to generate automatic test cases based on UML model using custom parser and SMT solver. By proposed technique, a test case can be generated even though the model is described in a platform independent language such as action language, or in a platform dependent language. In addition, a concolic execution technique is applied to efficiently generate test cases in the model. In this paper, we present a case study on the power window switch model of Hyundai Santa Fe through the proposed test case generation technique.

• Journal of Platform Technology
• /
• v.9 no.4
• /
• pp.42-50
• /
• 2021

Recently, the need to introduce smart farms is increasing in order to solve the problems of intensifying competition such as a decrease in rural population due to aging, a decrease in production, and the inflow of foreign agricultural products, and accordingly, the need for education is increasing. This paper is a study on the implementation of an Android-based IoT smart farm for education so that it can be used in a real environment by reducing the farm's smart farm system. To confirm that Android-based education can be applied in a real environment using the IoT smart farm for education, experiments were performed in automatic mode and manual mode using Bluetooth, Wi-Fi, and server/client communication methods. In the automatic mode, the current status can be checked in real time by receiving all data, and in the manual mode, commands are transmitted in real time using the received sensor data and remote control is performed. As a result of the experiment, it was possible to understand the characteristics of each communication method, and it was confirmed that remote monitoring and remote control of the smart farm using the Android App was possible.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2023.05a
• /
• pp.154-155
• /
• 2023

The International Convention on Standards for Training, Certification, and Watchkeeping of Seafarers (STCW) outlines the qualifications that maritime cadets must meet in order to serve as merchant marine officers. Maritime English is one of the most essential qualifications for STCW, and each national authority is implementing Maritime English education that complies with national and international regulations. In this study, an English proficiency background survey was conducted to investigate the factors related to the Maritime English skills and competencies. In line with this, maritime cadets utilized the Standard Maritime English Communication Phrases (SMCP) learning platform to track their learning progress and its efficacy. This study examined the applicability of the automatic scoring platform for Maritime English education, as well as its future potential for widespread use in the maritime education field.

• Journal of Internet Computing and Services
• /
• v.15 no.5
• /
• pp.63-72
• /
• 2014

Twitter has been a popular social media platform where people post short messages of 140 characters or less via the web. A hashtag is a word or acronym created by Twitter users to open a discussion about certain topics and issues that have a very high percentage of trending. Since the hashtag posts are sorted by time, not relevancy, people who firstly use Twitter have had difficulty understanding their context. In this paper, we propose a HBase-based automatic summary system in order to reduce the difficulty of understanding. The proposed system combines an automatic summary method with a fuzzy system after storing the streaming data provided by Twitter API to the HBase. Throughout this procedure, we have eliminated the duplicate of contents in the hashtag posts and have computed scores between posts so that the users can access to the trending topics with relevancy.

• Journal of IKEEE
• /
• v.26 no.4
• /
• pp.568-576
• /
• 2022

Automatic modulation classification(AMC) is a core technique in Software Defined Radio(SDR) platform that enables smart and flexible spectrum sensing and access in a wide frequency band. In this study, we propose a simple yet accurate deep learning-based method that allows AMC for variable-size radio signals. To this end, we design a classification architecture consisting of two Convolutional Neural Network(CNN)-based models, namely main and small models, which were trained on radio signal datasets with two different signal sizes, respectively. Then, for a received signal input with an arbitrary length, modulation classification is performed by augmenting the input samples using a self-replicating padding technique to fit the input layer size of our model. Experiments using the RadioML 2018.01A dataset demonstrated that the proposed method provides higher accuracy than the existing methods in all signal-to-noise ratio(SNR) domains with less computation overhead.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.11 no.1
• /
• pp.160-165
• /
• 2003

The design and implementation of an engine control system has become an important area in developing a new car, but the implementation of an engine control system is becoming a tedious and time-consuming work as the level of complexity increases. In order to shorten the development cycle of the control system, rapid control prototyping (RCP) technique deserves developers' attention. A new RCP platform has been developed for an automotive engine control application. This prototyping system strictly adheres to the layered architecture of the final production ECU, and separates the automatically generated part of software, or the application area, from the hand coded area, which generally carefully designed and tested because of the hardware dependency and the efficiency of microcontroller. The $Matlab{\circledR}$ tool-chain of Mathworks Inc. has been selected as a base environment in this study. A newly developed Engine Control Toolbox of Real-Time $Workshop{\circledR}$ converts a graphically represented control algorithm into optimized application codes and links them with other parts of the software to generate executable code for the target processor.

• Journal of Institute of Control, Robotics and Systems
• /
• v.19 no.6
• /
• pp.547-554
• /
• 2013

This paper proposes a novel formation algorithm of identical robots based on object tracking method using omni-directional images obtained through fisheye lenses which are mounted on the robots. Conventional formation methods of multi-robots often use stereo vision system or vision system with reflector instead of general purpose camera which has small angle of view to enlarge view angle of camera. In addition, to make up the lack of image information on the environment, robots share the information on their positions through communication. The proposed system estimates the region of robots using SURF in fisheye images that have $360^{\circ}$ of image information without merging images. The whole system controls formation of robots based on moving directions and velocities of robots which can be obtained by applying Lucas-Kanade Optical Flow Estimation for the estimated region of robots. We confirmed the reliability of the proposed formation control strategy for multi-robots through both simulation and experiment.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.10 no.1
• /
• pp.139-146
• /
• 2014

Through numerous mobile device technology advances, various multimedia contents is moving towards mobile devices from existing personal computer (PC). These paradigm has emerged taking into account these idea, the so-called N-Screen, N-Screen is user-centric service to provide running and sharing on everywhere via advanced smart system in C-P-N-T (Content, Platform, Network, Terminal). Therefore we must provide securing of various contents, openended platform, and user-centric service for efficient N-Screen service. For These characteristic of N-Screen, this paper propose design and implementation of user location-based N-Screen service system. The proposed system realize user location through user's smart phone and offer automatic streaming service to user. And also, we provide web service-based extended N-Screen service. Thus, user can access various device, such as laptop, tablet, and mobile device.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.941-946
• /
• 2006

It followed in system development and SMRT(Seoul Metropolitan Rapid Transit Co)System reached to an automatic train operation(ATO) and driverless operation(DLM) from the manual operation due to the train driver. The train like the general bus or the car vehicle was not serial riding in a car and the Parallel concept which the numerous passenger rides in a car simultaneously occur frequently the charge of the train driver unmanned bitterly from existing manual handling was a possibility of doing, train open door control(ODM) which bites also ATO, it handles it minimized. Like this ATO/DLM, the control system which bites being a Wayside to Train communication for immediacy, it is a system of the Vital concept the immediacy of the citizen Data evil the radio information transmission and the train of the interface which is accurate from unmanned operation and, will decipher, will accomplish it will guarantee. It respects the passenger accident prevention and an air question environment improvement from subway platform and phul leys the screen door of Platform(PSD) with the fire tube frost it refers and part it treats and to sleep it does, ODM which bites is accuracy and immediacy of altitude and when seeing from the viewpoint which demands the trust of altitude, ODM system the trust of car incest interface in the equipment construction which is safe and the comparative analysis back of the system analysis against the control which bites and case study and other subway system it leads from the research which it sees and signal - train in base grudge to sleep it contributes it does.

• Journal of Platform Technology
• /
• v.8 no.1
• /
• pp.3-9
• /
• 2020

In Korea, 63% of the nation's land is made up of forests, and the average temperature of the earth has been increasing. Forest service has been operating a proactive control system for preventing the spread of forest pests such as Pine wilt disease. but there were some hurdles in timely control due to weather, topography and manpower management difficulties. In this paper, we propose a model for building fast, accurate and efficient control system by categorizing the damage and dead wood automatically based on the images acquired using small unmanned aerial vehicles based on information and communication technology. In particular, the proposed model establishes an effective response system for government affairs through cooperation in the private sector. It can also create new jobs in the unmanned aerial vehicle business and service industries.