마이크로컨트롤러 환경에서 타깃 바이너리 파일 분석을 통한 최대 스택 메모리 사용량 예측 기법

최기호,김성섭,박대진,조정훈,Choi, Kiho,Kim, Seongseop,Park, Daejin,Cho, Jeonghun 대한임베디드공학회 2017 대한임베디드공학회논문지 Vol.12 No.3

Software safety is a key issue in embedded system of automotive and aviation industries. Various software testing approaches have been proposed to achieve software safety like ISO26262 Part 6 in automotive environment. In spite of one of the classic and basic approaches, stack memory is hard to estimating exactly because of uncertainty of target code generated by compiler and complex nested interrupt. In this paper, we propose an approach of analyzing the maximum stack usage statically from target binary code rather than the source code that also allows nested interrupts for determining the exact stack memory size. In our approach, determining maximum stack usage is divided into three steps: data extraction from ELF file, construction of call graph, and consideration of nested interrupt configurations for determining required stack size from the ISR (Interrupt Service Routine). Experimental results of the estimation of the maximum stack usage shows proposed approach is helpful for optimizing stack memory size and checking the stability of the program in the embedded system that especially supports nested interrupts.

제어흐름 에러 탐지를 위한 분리형 시그니처 모니터링 기법

최기호,박대진,조정훈,Choi, Kiho,Park, Daejin,Cho, Jeonghun 대한임베디드공학회 2018 대한임베디드공학회논문지 Vol.13 No.5

Control flow errors are caused by the vulnerability of memory and result in system failure. Signature-based control flow monitoring is a representative method for alleviating the problem. The method commonly consists of two routines; one routine is signature update and the other is signature verification. However, in the existing signature-based control flow monitoring, monitoring target application is tightly combined with the monitoring code, and the operation of monitoring in a single thread is the basic model. This makes the signature-based monitoring method difficult to expect performance improvement that can be taken in multi-thread and multi-core environments. In this paper, we propose a new signature-based control flow monitoring model that separates signature update and signature verification in thread level. The signature update is combined with application thread and signature verification runs on a separate monitor thread. In the proposed model, the application thread and the monitor thread are separated from each other, so that we can expect a performance improvement that can be taken in a multi-core and multi-thread environment.

몽골에서 한국어 교육 현황과 과제

최기호 ( Kee Ho Choi ) 한국문법교육학회 2007 문법 교육 Vol.6 No.-

In 1990, 26th March. Mongolia and South Korea established diplomatic relations. At the same year The Oriental Studies Institure established The Korean Language chair and in 1991, National University of Mongolia primarily founded a Koreanology Department. Nowadays, 17 Years passed from then, The Korean language brought sizzle to people in Mongolia Many colleges established. The Korean language department and primary, Jr. High and High school learns Korean as a second language. but because of the short period of instructing the language, there are some problems about the aim of education-which is kernel of educating Korean language, the contents of education, the curriculum, the teaching materials, the method of teaching, the instructor etc. In Mongolia, there aren`t few problems that education of Korean language has. 1. It is necessary to develop theoretic foundation study. 2. With the basis of theoretical research for educating Korean language, it is necessary to develop the curriculum and the method of teaching harmonizing with the national trait. 3. With the basis of theoretical research for educating Korean language and method of teaching it is necessary to create teaching materials. 4. It is serious that there is insufficient major instructor. The Korean language education history in Mongolia is very short, thus controversial. It is confronted with a lot of problems. It is now important to give a careful look at the results that have been made until now and plan ahead for more positive development in terms of quality. In order to do so, progress has to be made both externally and internally with better financial support. But most of all it is most critical to find a way to sort out the problems that universities in Mongolia are commonly facing vis-a-vis the Korean language education so as to teach it more effectively. Mongolia is our neighboring country that has most resemblance to us. Their culture, appearance and tradition resemble to ours. If we, Korean, combine forces with Mongolia that possesses rich natural resources and a vast land, gains for both will be greater than ever. It will indeed be a tremendous thing if two countries can join together just like back in Genghis Khan`s period.

VJing의 문화연구: 대중문화와 예술사이의 매끈한 공간

최기호 ( Kee Ho Choi ) 한국예술교육학회 2015 예술교육연구 Vol.13 No.3

본 연구는 VJing이라는 멀티 미디어 아트 작업에 참여하고 있는 작가들과 관객들이 상호작용하는 문화적 맥락을 연구함으로써 VJing이라는 새로운 예술분야와 다중감각양식이라는 새로운 개념을 정의하고자 하는 문화연구이다. 연구자는 영상 미디어 제작을 위한 수업에 참여하면서 이들의 작업에 참여자이자 관찰자로서 연구를 진행하여 직접자료로서 VJ들과 비공식 면접과 이메일 인터뷰, 간접자료로서 인터넷 매체와의 인터뷰 자료 등을 수집해 이들의 소통방식과 의미체계를 분석하였다. 기존 예술과 예술교육계가 비중을 두어온 심오한 주제의식과 관객과의 상호작용에 의한 의미형성이라는 예술가로서의 책무를 벗어나 VJ들은 대중예술과 예술사이를 넘나들며 다양한 역할과 가치를 추구하고 있었다. 이들의 상호작용은 공간과 디지털 미디어 테크놀로지라는 매체가 주는 기술적 한계를 실험하며 매체와 보다 적극적으로 상호작용하는 양상을 보여주었다. 또한 이들과 관객과의 상호작용은 감각적 만족을 통한 몸과 마음에 의한 소통방식에 기반하고 있었다. VJing이라는 작업과 이를 공유하는 문화에 대한 이해를 통해 지각하는 나를 자신의 정체성으로 인식하는 청년들에 대한 멀티 미디어의 영향에 대해 보다 깊이 있는 연구가 진행되어야 함을 제안하고자 한다. This study is a cultural study to conceptualize the concept of multi-modality and to analyze the aspect of interactions in the cultural context of VJing, a form of pop culture. VJing is a performance art to produce moving images responding to EDM(electronic dance music) and the research conducted this study as an insider in the cultural context of VJing. The primary data for this study was collected from informal interviews and email interview with a VJ, Parpunk and the interviews with three amateur VJs. The secondary data was gained from the articles written about VJs that some Internet media (e.g. Design Jungle, Avant-in, etc.) posted in their blogs and homepages. By analyzing the aspect of VJs’ interaction with their audiences or with the constraints caused by technology and spaces, this study finds out that VJing was operating semantic systems differentiated from those for any other field of arts. While integrating audial and haptic signs with visual ones, the ways by which VJs communicate were mostly through media, digital signals, and technology but not with their audiences. The communication of audiences were based on sensual and perceptual communication with each other and signals, but not with VJs. The researcher claims that researchers in the field of art education should reconsider the influence and the power of multi-media on young audiences who are likely to be affected by the perceptual identities.

학술발표회 : 패류분류 , 생태분야 , 구두발표 ; 화상분석법을 이용한 곰소만산 암컷 가무락조개 , Cyclina sinensis 의 생식주기 분석

최기호(Ki Ho Choi),정의영(Ee Yung Chung),이창훈,김용호 한국국제경제학회 2001 춘계 수산관련학회 공동학술대회발표 요지집 Vol.0 No.-

훈민정음 창제에 관한 연구 - 집현전관과 언문반대상소 -

최기호 (Kee Ho Choi) 연세대학교 국학연구원 1983 동방학지 Vol.36-37 No.-

N/A

Matrix를 이용한 마이크로코드의 국소적 최적화 알고리즘

최기호(Ki Ho Choi),이정옥(Jeong Ok Lee),이상정(Sang Jeong Lee),임인철(In Chil Lim) 한국정보과학회 1986 정보과학회논문지 Vol.13 No.3

본 논문은 MOP's(microoperations)의병렬 수행성을 고려하여, MOP's를 MI's(microinstructions)로 변환시키는 국소적 최적화 알고리즘을 제안한다. 본 알고리즘은 각 MOP's간의 데이터 종속관계 및 resource conflict 관계를 나타내는 matrix를 이용함으로써, DDG(data dependency graph)를 이용하는 종래의 방법보다 알고리즘 수행시간이 빠르며, 최적화된 마이크로코드(compacted microcode)를 생성한다. This paper presents an efficient local compaction algorithm which translates MOP's(microoperations) into MI's (microinstructions), considering parallelism of MOP's. The algorithm is executed by using matrices which represent data dependent relations and resource conflicts between MOP's. Therefore the algorithm can be executed faster than the conventional algorithms using DDG(data dependency graph).

초등학생의 체격과 체력의 상관관계 연구

최기호(Choi Gi Ho) 한국체육교육학회 1998 한국체육교육학회지 Vol.2 No.2

For the study on the correlation of the physique and physical fitness of the elementary school boys and girls, the 4 items the physical features for 271 children 12 years of the H elementary school the 6th grade located at chongju city are measured on the base of the Health-cater method the result are summarized as the following 1) The correlationship of height-throwing(r=.37) and pull-ups(r=-.18) was significant. 2) The correlation of weight-sit-ups(r=.24) 1000m running(r=.34), 100m running(r=.28), pull-ups (r=-.23), throwing(r=-.19) was significant. 3) The correlation of chest circumference-set ups(r=.24), 1000m running(r=.34), 100m running (r=.27), pull ups(r=-.24), throwing(r=-.20) distance jump(r=-.18) was significant 4) The correlation of the sitting height -1000m running(r=.28), pull-ups(r=-.20) was significant In the case of girls, the correlation was almost same things.

시각적 문해력의 발견적 개념으로서의 재인식: 시각문화 미술교육에의 시사점

최기호(Kee-Ho Choi) 한국국제미술교육학회 2013 미술과 교육 Vol.14 No.1

스마트폰 IMU와 비콘 통신을 활용한 실내 위치 측위 및 오차보정

최기호(Kiho Choi),김성섭(Seongseop Kim),조정훈(Jeonghun Cho),박대진(Daejin Park) 한국통신학회 2017 한국통신학회 학술대회논문집 Vol.2017 No.6