• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2012년도 춘계 종합학술대회 논문집
• /
• pp.263-264
• /
• 2012

임베디드 시스템은 특정한 목적을 수행하기 위한 시스템으로써, 자동차, 항공, 조선, 원자력발전소 등 다양한 분야에 사용되고 있는 추세이다. 이러한 임베디드 시스템은 빠른 응답성 및 시간 결정성을 위한 실시간성의 지원여부를 중요시 한다. 하지만 임베디드 시스템에서 사용되고 있는 범용 운영체제인 리눅스의 경우, 실시간성을 제공하지 않는 문제점을 가지고 있기 때문에 실시간성 제공을 위해 RTAI, RT-Linux를 통해 실시간성을 제공하고 있다. 그러나 RTAI는 Hard Real-Time을 제공하지 못하고, RT-Linux는 커널코드를 수정할 때 마다 커널 컴파일을 해야 하는 문제점이 있다. 또한, 사용자가 잘못 구현한 Real-Time 태스크의 오류가 커널에 영향을 미쳐 커널을 멈추게 하는 문제점이 있다. 따라서 리눅스 상에서 실시간성을 제공하면서 개발의 편의성 및 커널의 독립성을 제공할 수 있는 연구가 필요하다. 본 논문에서는 리눅스상의 사용자영역에서의 실시간성을 지원하기 위한 방법을 설계 및 구현을 하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2003년도 춘계학술대회논문집
• /
• pp.79-84
• /
• 2003

이 논문은 빠른 ASIP(application specific instruction processor) 평가를 위한 재적응성을 가진 컴파일러/시뮬레이터 환경에 대해 이야기한다. ASIP의 성능은 하드웨어 구조뿐만 아니라, 수행되는 응용 소프트웨어에 영향을 받기 때문에, 높은 성능의 ASIP 개발을 위해서는 컴파일러 및 시뮬레이터의 개발이 선행되어야 한다. 그러나 다양한 ASIP 구조에 따라 적합한 고성능의 컴파일러/시뮬레이터를 만드는 일은 매우 시간 소모적인 일이 될 뿐만 아니라, 오류가 발생하기도 쉽다. 본 논문에서는 HiXR2라는 ADL(architecture description language)을 이용하여 명령어 구조를 기술하고 이를 바탕으로 컴파일러와 시뮬레이터를 자동 생성하였다. HiXR2의 재적응성 및 생성된 컴파일러/시뮬레이터의 정확성을 검증하기 위하여 ARM9 프로세서와 CalmRISC32 프로세서 구조를 각각 기술하고, 각각에 대하여 응용프로그램 코드를 컴파일 및 시뮬레이션 하는 예제를 보였다.

• 전기학회논문지
• /
• 제59권2호
• /
• pp.417-422
• /
• 2010

When memory devices are exposed to space environments, they suffer various effects such as SEU(Single Event Upset). Memory systems for space applications are generally equipped with error detection and correction(EDAC) logics against SEUs. In this paper, several error detection and correction codes - RS(10,8) code, (7,4) Hamming code and (16,8) code - are analyzed and compared with each other. Each code is implemented using VHDL and its performances(encoding/decoding speed, required memory size) are compared. Also the failure probability equation of each EDAC code is derived, and the probability value is analyzed for various occurrence rates of SEUs which the STSAT-3 possibly suffers. Finally, the EDAC algorithm for STSAT-3 is determined based on the comparison results.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.209-212
• /
• 2002

본 논문은 손실 압축(lossy compression)에 강인한 오디오 워터마킹(audio watermarking) 기술을 제안한다. 제안된 워터마킹 기술은 온라인으로 유통되고 있는 MP3, AAC, WMA, RA, ATRAC 등과 같은 대부분의 오디오 압축 포멧으로 변형되더라도 삽입된 정보를 검출할 수 있다. 실험 결과 BER 이 9% 이내로 오류 정정 코드 (error correction code)를 이용해서 삽입 정보를 100% 검출 가능하였다.

• 전자통신동향분석
• /
• 제20권4호통권94호
• /
• pp.176-188
• /
• 2005

분산 네트워크 환경을 기반으로 다양한 시스템과 장비가 서로 연결되어 사용되고 있는 현재의 IT 환경의 문제점을 해결하기 위해 DMTF는 선도적인 기업 및 교육 기관과 협력하여 이기종 시스템간 상호호환성을 제고하기 위한 시스템 자원 관리 표준 규격을 제정해 나가고 있으며, 그 중 하나가 WBEM 표준이다. 이 표준에서는 공통 정보 모델인 CIM을 비롯하여 데이터를 인코딩하고 전송하기 위한 XML과 HTTP를 표준으로 채택하고 있으며, CIM 데이터를 더욱 효과적으로 표현하고 전송하기 위해 필요한 XML문서의 형식과 태그 그리고 HTTP 헤더와 오류 코드 등을 추가로 정의하고 있으며, 이들 표준의 적용에 있어 필요한 몇몇 요구사항들도 정의하고 있다. 본 고에서는 표준 규격을 바탕으로 WBEM 표준에서 채택하고 있는 데이터의 전송방식에 대해 자세히 소개하고, 끝으로 현재 WBEM 표준이 갖고 있는 문제점과 주요 이슈를 함께 살펴보고자한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2016년도 제53차 동계학술대회논문집 24권1호
• /
• pp.9-10
• /
• 2016

본 논문에서는 멀티 스레드 기반 병렬 프로그램의 동적 분석을 통한 자료경합 탐지를 위해 효율적인 감시 필터링 기술을 제시한다. 제시하는 감시 필터링 기술은 자료경합과 같은 동시성 오류를 탐지하기 위해 프로그램의 수행 중에 발생하는 공유 메모리에 대한 스레드들의 접근 분석 시에 동일한 코드영역을 단순 반복하는 스레드들을 감시대상에서 제외시킴으로써 동적 분석을 위한 추가적인 오버헤드를 최소화한다. 제시하는 필터링 기술을 수행 중 자료경합 탐지 도구에 적용한 실험적 평가를 통해 개선된 수행시간 오버헤드의 제공이 가능함을 보인다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2015년도 하계학술대회
• /
• pp.146-149
• /
• 2015

한국정보통신기술협회(TTA)은 "HTML5 기반 스마트 TV 플랫폼(TTAK.KO-07.0111/R1)" 표준을 제정하였고, 스마트 TV 용 앱 생태계 활성화를 위해 표준기반 스마트 TV 앱 개발도구(SDK, Software Development Kit)를 개발하였다. 개발도구는 표준 기반 앱 개발의 전체 라이프사이클에 필요한 프로젝트 관리, 앱 오류검사, 애뮬레이션, 패키징 및 앱 서버 전송 기능을 자동화했다. 표준에 대한 이해도가 낮은 개발자들이 표준 기반 앱을 개발 할 수 있도록 코드 자동 완성 기능과 표준 적합성 검사 기능 및 샘플 앱 등을 제공함으로써, 개발자들이 앱 자체의 기능에 대한 설계와 분석에만 집중할 수 있도록 했다. 본 논문에서는 스마트 TV 앱 개발을 위한 개발도구의 소프트웨어 구조와 개발도구가 지원하는 각 기능에 대한 구현 내용에 대해 소개한다.

• 정보보호학회지
• /
• 제11권6호
• /
• pp.42-52
• /
• 2001

인터넷 기술의 발전은 정보화 사회로의 촉진이라는 측면 외에 사용 인구의 증가에 따라 해킹, 바이러스·악성 코드의 유포 등 그 역기능적인 측면이 점점 심각한 사회 문제로서 대두되고 있다. 현재 공개 운영체제로 각광 받고 있는 리눅스(Linux) 운영체제의 경우 운영체제 커널은 물론이거니와 관련 프로그램들에 대한 소스가 공개되어 단순한 기술 습득의 목적이 아닌 악의의 목적을 가진 사용자들에 의한 시스템 침해 사례가 빈번한 추세이다. 특히 이러한 시스템 침해 사례 중 프로그램 작성 과정의 오류 및 설계상 실수로 인한 버퍼 오버플로우(Buffer Overflow) 취약성을 이용한 공격은 해킹에 있어 큰 범주를 차지하고 있다. 따라서 본 논문에서는 버퍼 오버플로우 공격에 있어 그 기반이 되는 스택을 이용한 버퍼 오버플로우 및 스택 외에 힙과 같은 메모리 영역을 이용하는 공격 유형에 대하여 분석한다. 그 후 이러한 버퍼 오버플로우 공격 방지를 위한 메모리에서의 경계 검사 기법을 제안하고자 한다. 추후에는 본 논문에서 제안된 기법에 대한 실제 구현과 검증이 필요하다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1543-1546
• /
• 2003

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.904-906
• /
• 2005

자바 언어는 병행 프로그래밍을 위해 쓰레드를 제공한다. 자바 병행 프로그램은 레이스 컨디션이나 데드락에 의하여 사용자가 원하지 않은 값을 출력하거나 예기치 못한 오류를 발생시킬 수 있다. 이러한 문제는 프로그램의 전반적인 신뢰성 및 안정성에 악영향을 미칠 수 있다. 본 연구에서는 실행 중에 실시간으로 쓰레드와 동기화 객체의 발생과 처리 과정을 보여줄 수 있는 모니터링 시스템을 코드 인라인 기법을 기반으로 설계 개발하였다. 이 시스템은 사용자 옵션에 따라 관심 있는 쓰레드나 동기화 객체만을 추적할 수 있으며 실행 후에 쓰레드와 동기화 객체 관련 요약 프로파일 정보를 제공한다.