• Electronics and Telecommunications Trends
• /
• v.12 no.4 s.46
• /
• pp.31-38
• /
• 1997

OSF/1 AD는 여러 대의 워크스테이션을 연결한 클러스터링 시스템에서부터 인텔 파라곤(Paragon)과 같은 massively parallel(MPP) 시스템에 이르는 다양한 시스템 상에서 단일시스템 이미지를 효과적으로 제공하는 다중컴퓨터용 운영체제이다. 본 고에서는 OSF/1 AD 운영체제의 기본구조와 분산 시스템의 부하 분산 기능 구현의 핵심 요소인 프로세서 이전 기법의 구현 방법에 대하여 살펴보았다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.423-426
• /
• 2003

본 논문에서는 외부의 접속을 파악하고 운영체제의 파일 시스템 레벨에서 보안 기능을 제공할 수 있는 커널 모듈을 구현한다. 네트워크를 통한 통제를 뚫고 침입해오더라도 파일 시스템에 저장 된 데이터를 읽을 수 없다면 내부의 중요한 자료 유출은 방지할 수 있을 것이다. 구현한 보안 파일 시스템 모듈은 운영체제의 동적 적재 모듈을 사용하여 커널 레벨에서 보안 기능을 제공할 수 있도록 구현하였다. 보안 모듈에서 제공하는 기능은 파일 및 디렉토리의 암호화 및 복호화하는 기능을 가지고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.214-216
• /
• 2003

전세계적으로 Post PC 시장이 점점 확대되고 있다. 이 시장의 핵심 기술은 임베디드 리눅스로 우리 생활에서 쓰이는 각종 전자기기, 정보가전, 제어장치 등에 적용되고 있다. 최근에는 멀티미디어 처리와 같은 점차 복잡한 기능이 요구되면서 임베디드 운영체제를 사용하기 시작하였고, 이러한 운영체제로 리눅스가 주목받게 되었다. 이는 가격경쟁력뿐 아니라 각 H/W 에 따라 운영체제와 응용프로그램을 다양하게 변화시킬 수 있다. 본 논문에서는 안정적이고, 다양한 서비스를 제공해주며, 공개되어있는 리눅스를 이용해 임베디드 시스템을 구현한 내용에 대해 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.226-228
• /
• 2003

실시간 운영체제(Real-Time Operating System)는 그 실행환경상 시스템이 예상치 못한 특정 이벤트가 발생하는 악 조건속에서도 태스크 수행의 데드라인을 초과하지 않도록 시간적인 측면의 determinism을 보장하는 안정된 스케줄링 기능을 갖춘 운영체제이다. 또한, 예상치 못한 fault 를 미연에 방지할 수 있는 장치를 가지고 있어야 한다. 본 논문에서는 예상치 못한 fault 를 미연에 방지하기 위하여 필요한 운영체제를 설계 및 구현하는데 그 목적이 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.142-144
• /
• 2003

임베디드 시스템에 대한 관심과 개발이 급속도로 진행됨에 따라 임베디드 시스템에서도 파일 시스템을 필요로 하게 되었다. 특히 실시간 운영체제 (Real Time Operating System : RTOS)를 사용하는 경우에는 운영체제가 사용되는 임베디드 시스템에 따라 필요로 하는 파일 시스템이 하나 또는 그 이상으로 다르게 되어 그 파일시스템을 통합하여 관리하기 위한 가상 파일 시스템 (Virtual File System : VFS)을 필요로 하게 되었다. 본 논문에서는 실시간 운영체제와 함께 동작을 하는 가상 파일 시스템을 구현하는 방법을 제시한다.

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

본 논문에서는 소프트웨어 공학에서 널리 사용되고 있는 정형기법을 보안 운영체제의 검증에 활용하기 위해 각 검증기법의 특성과 도구에 대해서 설명한다. 정리증명의 대표적인 도구인 PVS와 모델체킹의 대표적 도구인 SMV, 특수한 목적을 위해 개발된 NPA등에 대해서 알아보고, 각 방법을 비교, 분석하여 보안운영체제의 검증에 적합한 도구를 찾아본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.586-588
• /
• 2004

최근 유비쿼터스 컴퓨팅의 핵심인 센서 네트워크에 많은 관심이 집중되고 있다 센서 네트워크를 구성하는 요소 중 센서노드에 탑재되는 운영체제의 경우, 제한된 컴퓨팅 자원을 가지는 센서 네트워크의 특성상 효율성, 초경량성, 실시간성, 병렬성, 이벤트 기반, 저전력, 재사용성, 프로그래밍 용이성, 그리고 이식성과 같은 요구사항들을 가진다. 본 논문에서는 이러한 요구사항들을 기반으로 (1) 유한상태기계(finite state machine)에 기반 한 컴포넌트 소프트웨어 모델을 정의하고, (2) 이러한 컴포넌트를 효과적으로 수행시킬 수 있는 실시간 운영체제를 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.861-862
• /
• 2009

운영체제의 기본적인 역할은 각종 컴퓨터 하드웨어들을 서로 논리적으로 연결하고 제어하는 것으로 다른역할은 응용프로그램과 컴퓨터 하드웨어를 연결해주는 역할을 한다. 본 연구에서는 운영체제 소프트웨어 분야의 기반기술 및 동향을 조사하고 표준시험환경을 구축해 보았다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.45-46
• /
• 2009

최근에 다기능 복합화되는 임베디드 시스템을 위한 가상화 연구가 활발하다. 본 논문에서는 L4 마이크로커널을 기반으로 한 실시간 운영체제 MicroC/OS-II 가상화를 위한 L4 환경에서의 전체 구성, 인터럽트 핸들링, 게스트 운영체제 초기화 과정의 설계에 대해 기술한다.

• Proceedings of KOSOMES biannual meeting
• /
• 2006.05a
• /
• pp.21-26
• /
• 2006

본 연구에서는 해운기업의 안전관리체제 운영 지원과 시스템 운영 모니터링 및 운영성과 평가도구로 활용할 수 있는 안전 관리체제 운영평가 지표를 개발하였다. 이 지표를 이용하여 안전관리체제 도입을 준비하고 있는 기업이나, 기도입하여 유지 발전시키고자 하는 기업에게 운영 단계별 필요한 지식을 알기 쉽게 종합 수록하여 상시 활용할 수 있는 지침서 내지 컨설턴트 역할을 할 수 있을 것이다. 또한 자체 내부심사 시 및 시스템 운영성과 평가 시 평가도구로 활용하여 시스템의 지속적인 개선 및 발전에 기여할 수 있을 것으로 보인다. 이 지표는 크게 대 기준 11개 항목, 중 기준 35개 항목, 소 기준 447개 항목으로 구성되어 있다.