• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.579-581
• /
• 2000

다양한 실행경로가 존재하는 실시간 시스템을 이해하기 위해 정적 정보와 함께 동적 정보의 이해가 필요하다. 본 논문은 매개언어 SRL을 사용하여 정적 정보와 동적 정보를 모두 표현할 수 있는 방법을 제안했다. SRL을 통해 표현된 정적 정보와 동적 정보는 많은 시스템 이해 도구에 사용될 수 있다. 또한 동적 정보를 얻기 위한 방법으로 실제 시스템이 아닌 가상기계를 통한 가상실행을 수행함으로써 안전성이 중요한 시스템을 검증이전에 위험부담 없이 검사할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.460-462
• /
• 2003

본 연구에서는 리눅스 클러스터에서 효과적으로 병렬 MPI 프로그램을 실행시키기 위해, 메시지 전달 이벤트를 토대로 통신에 창설하는 프로세스들이 동시에 스케줄링되는 기법을 설계 구현하였다. 실제 병렬프로그램의 실행을 통해 측정한 결과에 따르면, 통신량이 높은 프로그램에서 33-56%의 실행 시간 감소효과를 보였다.

• The KIPS Transactions:PartA
• /
• v.16A no.6
• /
• pp.489-500
• /
• 2009

Robots have limited computing resources and robot services have different requirement such as sensors, actuators, computational capabilities and timeliness. In this paper, we propose a dynamic management method of service execution contexts to perform various services efficiently and to meet the time constraint of service in network-based robots. The proposed method is tested in the real network-based robot system. The results show that the real-time requirement for services is satisfied and the resource utilization is improved. The proposed method provides the extendability and flexibility of sensors and services by aptly modifying service execution contexts and increases the reusability of service.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.615-620
• /
• 2002

SCRM is international standard for sharing and reusing of learning contents as unit of SCO. But when we want to reuse this learning content by modifying a portion of it in similar knowledge domain, there is a problem that modification of original content has to be made. This paper suggests I-SCO model that enables to develop inheritable contents to solve this problem. The I-SCO model increases the reusability of contents based on SCORM by means of supporting inheritance that includes overloading and overriding. In this paper, we design and implement the I-SCO model, and execute on the runtime environment which is distributed by ADL. This experimentation shows the inheritability of contents and proves the validity of I-SCO model.

• Journal of Internet Computing and Services
• /
• v.19 no.3
• /
• pp.15-23
• /
• 2018

A code reuse attack is an attack technique that can execute arbitrary code without injecting code directly into the stack by combining executable code fragments existing in program memory and executing them continuously. ROP(Return-Oriented Programming) attack is typical type of code reuse attack and serveral defense techniques have been proposed to deal with this. However, since existing methods use Rule-based method to detect attacks based on specific rules, there is a limitation that ROP attacks that do not correspond to previously defined rules can not be detected. In this paper, we introduce a method to detect ROP attack by learning command pattern used in ROP attack code using RNN(Recurrent Neural Network). We also show that the proposed method effectively detects ROP attacks by measuring False Positive Ratio, False Negative Ratio, and Accuracy for normal code and ROP attack code discrimination.

• KIPS Transactions on Computer and Communication Systems
• /
• v.4 no.5
• /
• pp.147-152
• /
• 2015

In general, there are two synchronization methods in parallel event-driven simulation, pessimistic approach and optimistic approach. In this paper, we propose a new approach, sporadic synchronization combining both for prediction-based parallel event-driven logic simulation. We claim this hybrid solution is pretty effective to minimize both checkpoint overhead and restart overhead, which are related problems with frequent false predictions for improving the performance of the prediction-based parallel event-driven logic simulation. The experiment has clearly shown the advantage of the proposed approach.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.301-304
• /
• 2006

디바이스 드라이버는 커널 고장을 유발하는 가장 큰 원인이며, 커널 영역에서 동작하므로 커널에 큰 영향을 미칠 수 있다. 본 논문은 운영체제의 신뢰성을 향상시키기 위하여, 디바이스 드라이버 실패가 발생했을 때, 고장난 드라이버와 이 드라이버를 사용하는 응용 프로그램을 복구하는 방법을 제시한다. 우리는 논문에서 제시한 복구 시스템을 FRS (Failure Recovery Subsystem) 이라고 부르겠다. 디바이스 드라이버가 고장 났을 때, FRS는 디바이스 드라이버의 실행 환경을 다양하게 변경하고 드라이버를 재실행함으로써 같은 고장이 반복되지 않도록 한다. FRS은 고장을 복구하고 디바이스 드라이버를 정상적으로 실행함으로써 전체 시스템의 안정성을 향상시킨다.

• The Journal of the Korea Contents Association
• /
• v.21 no.12
• /
• pp.119-131
• /
• 2021

The purpose of this study is to improve the curriculum of major subjects by constructing and applying design thinking centered 'early childhood language education' for prospective kindergarten teachers, and to cultivate their teaching ability in the classroom. As a result of the study, it is as follows. First, in the improvement of 'early childhood language education' subjects centered on design thinking, the "plan" stage recognizes the problem of interest in language education and the execution of language areas. In the "action" step, they created a interesting stationery for plays that can be actively expressed for young children who are hard to write. In the "re-action after reflection" steps, they have developed creative writing based on the diverse experience of the who have been working on a kindergarten field practice, Second, The meaning of the implementation for the major classes based on the design thinking is listening to young children than given practice, and self-reflection and growth through sympathy and cooperation. The implications of this study are needed to change the various major classes and the experience of problem solving is that it is also helpful for the autonomy and expertise of prospective kindergarten teachers.

• The KIPS Transactions:PartA
• /
• v.12A no.3 s.93
• /
• pp.229-234
• /
• 2005

The virtual machine is a programming environment that supports device and platform independence. So far, virtual machines such as JVM and KVM have been used in a variety of environments for the Java language. Some virtual machines similar to them are also being developed and used. This paper Presents the experiences of extracting elements essential for small sized devices such as PDA from Java Class files(*.class) and designing a converted class file(*.rclass) for runtime efficiency by modifying its class file format and developing its translator. In addition, a virtual machine is developed to receive the translated class file entered and output the runtime results.

• Journal of KIISE
• /
• v.44 no.6
• /
• pp.595-600
• /
• 2017

Android applications are composed of one or more components. The components within an application or several applications may interact with each other primarily through intents. Such interactions may cause security and reliability issues such as broadcast theft, activity hijacking, and intent spoofing. These problems need to be resolved through testing techniques using various interaction test scenarios before an application gets launched. However, with the existing test scenario generation approach, some infeasible test scenarios may be generated since they do not consider the re-execution order based on activity setting when pressing the back button. This paper proposes a test case generation technique which removes infeasible interaction paths by utilizing the activity stack information.