• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.669-672
• /
• 2006

고온가스냉각 원자로에서는 고온 안정성 및 핵분열생성물 차단 성능이 우수한 TRISO(tri-tsotropic) 핵연료를 사용하고 있다. TRISO 핵연료 입자는 직경이 약 1 mm인 구 형태로 입자의 중심에는 직경 $0.5{\mu}m$의 핵연료 커널(kernel)이 포함되며 커널 외곽을 코팅 층이 에워싸고 있다. 이 코팅 층은 완충(buffer) PyC(pyrolytic carbon) 층, 내부 PyC 층, SiC 층, 그리고 외부 PyC 층으로 구성되어 있다. 각 코팅 층의 두께는 수십${\sim}$백 ${\mu}m$ 범위이며, 본 연구에서는 각 코팅 층의 두께를 비파괴적으로 측정하기 위하여 마이크로포커스 X-선 발생장치와 고해상도 X-선 평판(flat panel) 검출기로 구성된 정밀한 X-선 래디오그래피 장치를 구성하고, $UO_2$ 핵물질 대신에 $ZrO_2$를 커널로 사용한 모의 TRISO 핵연료 입자에 대한 래디오그래피 영상을 획득한 후 디지털 영상처리기술을 이용하여 코팅 층 사이의 경계선이 구분 가능하도록 영상을 개선하고 디지털 영상처리 알고리즘을 개발하여 코팅 층의 두께를 측정하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.579-582
• /
• 2000

최근 SPAX와 중대형 컴퓨터 시스템에서 OLTP와 DSS와 같은 대용량 고속 자료 처리 서버로서의 자료 무결성 문제는 기술적으로 선결되어야 한 중요한 사용자 요구 사항 중의 하나이다. 자료 무결성에 대한 기술적 해결의 한 방안으로 응용 프로그램 수준의 결함허용 기법을 제공하기도 한다. 그러나 응용 프로그램 수준의 결함허용 기법은 자료를 저장한 매체의 관리 권한 밖에 존재함으로써 고장의 발생과 복구에 일정 제한을 가진다. 따라서 디스크와 같이 일반 파일 시스템을 구성하는 중요한 매체들에 저장된 자료의 무결성을 커널 수준에서 보장하고 응용 프로그램에 투명성을 의장 할 수 있는 연구가 향후 기술 동향의 한 축을 이루고 있다. 본 연구에서는 마이크로 커널을 기반으로 상위 서버로서 결함허용 파일서버의 설계에 관한 내용을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.52-54
• /
• 2002

최근 하루가 다르게 증가하는 이동전화 가입자의 통화 품질을 보장하기 위해CDMA중계기의 중요도가 증가하고 있으며 자동화된 모니터링 시스템의 필요성이 대두되었다. Embedded Internet하에 CDMA중계기를 임베디드 리눅스 시스템과 연동하여 리눅스 커널 레벨에서의 모니터링 방안으로 EKMM(Embedded internet based Kernel level Monitoring Modules)시스템을 제시한다. 본 시스템은 SA-1110 마이크로 프로세스로 구현된 하드웨어에 시리얼 디바이스 드라이브와 네트웍 디바이스 드라이브를 설계하였다. 또한 리눅스 커널을 재구성하며 동적 로딩 방식으로 EKMM이 탑재되어 기존의 중계기 임베디드 시스템 보다 기능 확장성이 뛰어나고 성능이 향상된 중계기 모니터링 시스템을 설계 구현하였다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.538-542
• /
• 2003

본 논문에서는 액티브 네트워크 상에서 강력한 자원 관리와 액티브 응용의 제어를 위해 접근제어 메커니즘을 적용한 안전한 리눅스 커널을 분석 설계하였다. 설계된 접근제어 모델은 직무기반 접근제어를 이용하여 권한을 효과적으로 통제하고, 신분 및 규칙 기반 접근제어를 이용하여 정보 및 시스템의 비밀성, 무결성, 가용성의 보장 및 시스템의 불법적인 접근을 방지할 수 있다. 리눅스 마이크로 커널 기반 접근제어 모델을 직무, 보안등급, 무결성 등급 및 소유권의 다단계 보안 정책을 기반으로 시스템의 불법적인 접근, 직무기반, 소유권 등의 다단계 보안 정책을 기반으로 하여 시스템의 불법적인 접근을 통제 할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.384-387
• /
• 2019

2018년 Meltdown 공격이 발표된 이후 Foreshadow, ZombieLoad 등 다양한 종류의 마이크로아키텍처 기반 부 채널 공격과 방어 기법들이 발표되었다. 그중 Meltdown 공격을 원천 차단할 수 있는 KPTI (Kernel Page Table Isolation)는 커널 영역을 사용자 메모리 영역과 분리하여 커널 정보의 유출을 방어할 수 있으나, 최대 46%의 시스템 성능 저하를 가져온다. 본 연구는 런타임에 시스템콜 발생빈도를 분석하여 낮은 오버헤드로 Meltdown-type 공격을 탐지하고, 방어하는 프로그램을 개발하고 실험하였다. 개발한 Fault Monitoring Tool은 기존 시스템 대비 적은 오버헤드(최대 7%)로 악의적인 사용자를 구분해 내고 방어할 수 있었다.

• The KIPS Transactions:PartD
• /
• v.8D no.3
• /
• pp.265-272
• /
• 2001

In case of implementing a complicated application like WAP (Wireless Application Protocol) in a mobile terminal with the characteristics of bare machine and versatile kernel aspects of which are control, interrupt and IPC(Inter Process Communication), a special methodology should be needed. If not, it will cause more cost and human resources, even delayed product into launching for the time-to-market. This paper suggests AKL, (Abstract Kernel Layer) for the design and implementation of WAP on basis of multi-platform. AKL is running on the various kernel including REX, MS-DOS, MS-Window, UNIX and LINUX. For the purpose of it, AKL makes machine-dependant features be minimized and supports a consistent interface on API (Application Program Interface) point of view. Therefore, it makes poring times of a device be shorten and makes easy of maintenance. We validated our suggestion as a consequent of porting WAP into PlamV PDA and mobile phone with AKL.

• Proceedings of the IEEK Conference
• /
• 2000.06c
• /
• pp.121-124
• /
• 2000

Goal of this Paper is to design and develop core kernel components f3r single processor real-time system, which include real-time schedulers, synchronization mechanism, IPC, message passing, and clock & timer. The goal also contains the basic researches on dynamic load balancing and scheduling which provide mechanism for the distributed information processing and efficient resource sharing among various information appliances based on network.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.130-132
• /
• 2004

임베디드 시스템의 발전으로 인하여 시스템에서 USB Network의 필요성 또한 빠르게 증가되어가고 있다. 본 논문에서는 임베디드 리눅스 기반의 단말기와 PC 사이에 USB 통신을 구현기 위해서 XScale 마이크로 프로세스 레퍼런스 보드에 리눅스 커널을 포팅하고 포팅 된 플랫폼을 기반으로 USB Network의 설계 및 구현에 관하여 논하도록 하였다.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.40 no.5
• /
• pp.306-316
• /
• 2003

본 논문에서는 소프트웨어 PLC를 구현하는 방안을 제시하였다. 하드웨어는 표준적인 산업용 PC와 입출력 보드들로 구성된다. 운영체제로는 수십 마이크로초의 정밀한 단위로 태스크들의 스케줄링이 가능한 실시간 리눅스를 사용하였다. 소프트웨어 PLC를 위해 개발한 실시간 태스크들은 실시간 리눅스의 커널 모드에서 실행되며, 사용 목적에 따라 작성된 PLC 프로그램을 해석하고 실행하는 작업을 일정한 주기로 반복한다. 또한 PLC 프로그램을 편리하게 작성할 수 있도록 자체 프로그램 문법을 제안하고 이를 위한 컴파일러도 구현하였다. 이렇게 구현된 PLC는 가격 대비 성능이 우수하며 소규모의 응용분야들에 유용하게 활용할 수 있다.

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

ARM 프로세서는 이동 단말기의 표준으로 채택된 32 비트 범용 마이크로프로세서이다. 이동 단말기 내에서 ARM 프로세서는 실시간 운영체제 커널과 운영체제 그리고 API 로 구성되며 소형의 단말기에서 응용 프로그램을 운용하기 위해서는 ROM 에 응용 프로그램을 상주시켜 실행시켜야 한다. 이러한 ROM 상주를 위해서는 ROM 영역에 적재하기 위한 메모리 구성이 중요하다. 본 논문은 메모리 구성을 위한 메모리 이미지의 형성과 메모리의 맵을 통한 ROM 상주 프로그램의 적재 그리고 시스템 초기화를 통해서 응용 프로그램의 수행을 보장하는 방법론에 대해 분석한다.