• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권7호
• /
• pp.361-370
• /
• 2017

본 논문은 임베디드 시스템이 제어하는 서브시스템의 실시간 피드백을 반영하여 테스트 케이스를 생성할 수 있는 테스트 생성기 구조를 제안한다. 일반적으로 폐쇄형 임베디드 시스템은 자신이 제어하는 서브시스템의 피드백을 참조하여 서브시스템의 다음 상태를 제어하는 값을 결정한다. 그와 같은 시스템에서는, 피드백을 고려하지 않는 전통적인 테스트 케이스는 사용하기 어렵다. 본 논문에서 제안하는 테스트 케이스 생성기 구조는 서브시스템의 피드백을 이용하여 다음에 사용할 테스트 케이스를 실시간 재구성한다. 제안하는 구조를 구현하고 데모 시스템을 이용하여 유용성을 검증한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2022년도 추계학술발표대회
• /
• pp.755-757
• /
• 2022

최근 온라인 수업, 동영상 수업의 수요가 많아짐에 따라 강의촬영을 하는 경우가 증가하는 추세다. 혼자서 강의를 촬영하는 경우도 늘어났지만 혼자서 강의를 촬영할 경우 실시간으로 카메라 각도 조절하기 불편한 점이 있다. 자동으로 강사를 추적하며 강의 촬영할 수 있는 저가의 카메라를 개발 및 연구를 진행하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.172-174
• /
• 2003

멀티미디어에 대한 사회적 욕구가 한층 커져감에 따라, 보다 고용량 고효율의 매체에 대한 연구도 활기차게 진행되어 왔다. 그리고 그 미디어에 적합한 파일시스템을 개발 하는 일 또한 꾸준히 진행되어 온 일이다. 여러 파일 시스템 중 하나인 UDF 는 DVD 매체를 위한 파일 시스템으로 사용되고 있다. 본 논문에서는 DVD 플래이어에 탑재하기 위해 삼성전자에서 개발한 ARM920T 마이크로 프로세서 코어를 사용하는 임베디드 시스템에 탑재될 실시간 운영체제를 위한 UDF 파일 시스템을 구현하였다. 이 UDF 파일 시스템은 가상 파일 시스템과 연동한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.327-330
• /
• 2004

테스팅이 오류의 존재를 증명할 수 있는데 반해서, 정형 검증 기술은 시스템에 오류가 존재하지 않음을 증명할 수 있다. 모델 체킹은 이런 정형 검증 기술 중의 하나이다. 최근에 모델 체킹을 이용하여 코드를 자동으로 검증하려는 연구들이 많다. 하지만 이런 연구는 일반적인 환경에서의 검사만을 할 수 있다. 반면에 임베디드 소프트웨어는 실시간성, 외부 환경, 다중 스레드 등의 다양한 특성이 존재한다. 따라서 임베디드 소프트웨어와 같이 안전한 소프트웨어 시스템을 필요로 하는 환경을 위한 모델 체킹을 수행하기는 힘들다. 본 논문에서는 임베디드 소프트웨어에 대한 모델체킹 도구가 검증할 수 있어야 하는 실시간 시스템의 검증, 외부 환경에 대한 고려, 다중 스레드 시스템의 검증 등을 설명하고, 기존 도구들이 얼마나 만족하고 있는지 조사해본다.

• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2002년도 춘계 학술발표회 논문집
• /
• pp.105-112
• /
• 2002

얼굴인식 기술은 접촉에 대한 거부감이나 불편함이 없이 친숙하고 편리하게 사용자를 식별하고 인식할 수 있으며, 부가적인 센서 장비가 필요없다는 측면에서 개인 인증 및 보안 시스템으로서의 활용성이 매우 높다. 본 논문에서는 여러 가지 장점들을 지닌 얼굴 인식 시스템의 구현 사례를 실시간 얼굴 검출 기술과 특징 추출 기술, 인식 기술로 구분하여 소개한다. 개발된 시스템은 얼굴 검출을 위해서 색상과 에지 성분을 이용하는 복합 알고리즘을 적응하여 실시간 얼굴 탐지를 가능하게 하였고, 추출된 사용자의 고유 얼굴 정보는 최신 인식 기법의 하나인 Support Vector Machine으로 분류, 인식된다. 또한 시스템의 성능을 테스트하고, 실용화 가능성을 모색하기 위하여 하드웨어 임베디드 시스템의 설계 및 구현과정과 조명 및 환경 변화에 따른 시스템의 성능 변화를 객관적으로 검증하기 위하여 다양한 변화 조건을 고려한 한국인 표준 얼굴 데이터베이스를 구축 과정을 소개한다.

• 한국컴퓨터정보학회논문지
• /
• 제16권12호
• /
• pp.11-21
• /
• 2011

임베디드 센서는 낮은 전력량과 신호의 세기로 장애물이나 거리와 같은 공간 환경에 많은 영향을 받으며, 이러한 원인들로 인해 임베디드 센서에서는 노이즈 데이터가 빈번히 발생한다. 임베디드 센서에서 획득하는 정보는 시계열 데이터로 존재하기 때문에 지속적으로 발생하는 시계열 정보에 대한 오류 검출을 실시간적으로 수행하기는 어렵다. 본 논문에서는 임베디드 장치의 물리적 특성을 고려하여 실시간적으로 발생하는 임베디드 센서의 오류 신호를 검출하는 시계열 예측 기반 오류 검출 기법을 제안한다. 본 논문에서 제안한 시계열 예측 기반 오류 검출 기법은 안정 구간 함수를이용하여 현재 발생하는 임베디드장치 신호의 오류를 판단한다. 안정 구간 함수는 임베디드장치 신호를 관측하여 오류 검출을 수행할 때 최근의 신호들에 오류 가중화를 적용함으로써 효과적으로 오류 신호를 탐지할 수 있다. 본 논문에서 제안한 기법을 Intel Lab 신호를 이용하여 실험하였으며, 실험에서 본 논문에서 제안한 기법은 중심이동평균 기법에 비해 26.25%의 정확도 향상을 나타내었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.163-165
• /
• 2004

임베디드 시스템에 사용되는 실시간 운영체제는 한정된 자원의 효율적인 관리가 필수적이다. 특히, 메모리는 운영체제의 실행에 있어서 꼭 필요한 자원으로써, 메모리 관리 기법은 시스템의 성능에 영향을 미칠 수 있기 때문에 실시간 운영체제뿐만 아니라 범용 운영체제에서도 매우 중요하게 다루어지고 있다. 본 논문은 실시간 운영체제에서 발생할 수 있는 메모리 누수 문제를 최소화하기 위한 기법을 설계 및 구현하였다.

• 한국컴퓨터정보학회논문지
• /
• 제14권1호
• /
• pp.57-64
• /
• 2009

가상화는 최근 활발한 연구가 진행되고 있는 시스템 소프트웨어 분야 중 하나이다. 범용 컴퓨터 시스템을 위한 가상화 분야에는 이미 상용화제품들도 다수 존재하는 반면, 임베디드 시스템의 특성을 고려한 가상화에 대한 연구는 상대적으로 미미한 실정이다. 본 논문에서는 임베디드 시스템의 각 하드웨어 자원을 여러 논리적인 하드웨어 자원들로 나누고, 이를 다수의 가상 머신들로 재구성하는 가상 머신 모니터를 설계하고 구현하였다. 제안된 가상 머신모니터는 하나의 임베디드 시스템 상에 다수의 실시간 운영체제들을 동시 수행하는 것을 가능하게 한다. 실제의 임베디드 시스템 하드웨어 상에서 구현된 가상 머신 모니터에 대해 다양한 성능 측정 실험을 수행하였다. 성능 평가결과를 통해 제안된 가상 머신 모니터가 실제의 임베디드 시스템 응용 분야에 적용이 가능함을 보였다.

• 정보처리학회논문지A
• /
• 제15A권5호
• /
• pp.269-274
• /
• 2008

최근 임베디드 시스템의 고성능화에 따라 고해상도의 디스플레이를 채용하고 대용량 멀티미디어 데이터응용 등 다기능을 갖춘 임베디드 프로세서가 다수 발표되고 있다. 이러한 응용 중 실시간 오디오 스트리밍 같은 시간 제한적 응용을 다루어야 하는 모바일 시스템의 경우, 전력, 메모리 용량등 여러 자원이 부족한 상황에 놓이게 된다. 본 논문은 스크래치 패드 메모리에 대하여 활용도를 높이고 저전력을 구현하기 위하여 압축 기법을 스크래치 패드 메모리의 데이터 영역에 구현하였다. 무선 통신과 실시간 오디오 스트리밍에 사용하는 GDM1202 프로세서에 제안한 방법을 구현하여 측정한 결과, 압축으로 얻어진 스크래치 패드의 영역에 코드와 데이터를 추가하여 할당함으로써 13.3% 에너지 절감을 얻을 수 있었으며, 기존의 방법과 동등한 프로그램 수행 성능을 나타냈다.

• 한국멀티미디어학회논문지
• /
• 제13권9호
• /
• pp.1322-1328
• /
• 2010

최근 핵심어 검출 시스템은 유비쿼터스 홈네트워크의 UI(User Interface) 기술로써 각광받고 있다. 핵심어 검출 시스템은 TV, 라디오, 떠드는 소리 등과 같은 동적 생활 잡음에 매우 취약하다. 특히, 실제 임베디드 DSP(Digital Signal Processor) 환경에서는 상대적으로 CPU(Central Processing Unit) 연산능력이 떨어지므로, 실시간으로 입력되는 음성을 인식하기가 어려워 인식율은 급격히 하락하게 된다. 본 논문은 임베디드 DSP 환경에서 원활한 연속음성인식을 수행하기 위하여 '나래야', '홈매니저'등과 같은 호출명령어를 선정하고 잡음을 포함한 묵음구간과 호출명령어로 구성된 최소의 인식네트워크를 토큰으로 구성하여 입력된 음성에 대해 실시간 음성인식을 계속적으로 수행한다.