• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.59-61
• /
• 1998

광범위한 범위에서 사용되고 있는 실시간 시스템을 위하여 실시간 커널의 사용은 필수적이다. 본 논문에서는 다양한 분야에서 사용될 수 있는 이식성이 높고, 목적 시스템에 필용한 커널 서비스만을 선택하여 커널의 크기를 조절할 수 있는 실시간 커널의 개발하였다. 이 커널은 병렬 커널로의 확작성을 고려하여 LINDA 개념을 기초로 하여 개발되었는데. 기존에 개발된 실시간 커널 HLINDA와 비교하였을 때 보다 좋은 성능을 보여주었다. 또한 시스템 기초화 부분과 콘텍스트 스위치 등, 몇 부분을 제외한 전 커널의 95%이상을 C-언어로 작성하여 높은 이식성을 갖고 있다.

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

최근 IT산업의 발달과 더불어 내장형 시스템에서의 실시간성은 더욱 중요시되고 있다. 내장형 시스템에서 사용되는 많은 운영체제 중 윈도우즈는 실시간성 지원의 부재로 로봇 플랫폼이나 점검장비와 같은 실시간성이 필수적으로 요구되는 시스템에는 적합하지 않다. 이러한 결점을 보완하기 위해 개발된 실시간 이식커널(Real-Time implanted Kernel)은 윈도우즈에 실시간성을 보장해주지만 ISR(Interrupt Service Routine) 처리시간이 길어질 수 있는 문제가 있다. 본 논문에서는 ISR의 작업을 윈도우즈가 제공하는 지연처리호출(Deferred Procedure Call)에서 처리함으로써 인터럽트 지연시간을 줄이는 실시간 이식커널(RTiK)을 설계 및 구현하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제29권3호
• /
• pp.143-152
• /
• 2002

최근의 운영체제는 멀티미디어 응용이 보편화되면서 프로세스간 통신에 사용되는 메시지의 크기가 점차 대용량화되고 있으며, 새로운 하드웨어 플랫폼이 급속히 보급되면서 운영체제의 이식성이 강조되고 있다. 하지만, 기존의 마이크로 커널 구조의 운영체제는 성능 향상을 위하여 마이크로 커널 자체의 이식성을 포기하고 하드웨어 플랫폼에 의존적인 특성을 활용하여 성능을 높이고있으며, 성능 향상의 주요 대상은 짧은 크기의 메시지를 효율적으로 처리하기 위한 프로세스간 통신 메커니즘이다. 본 논문에서는 다양한 하드웨어 플랫폼 상에서 수행될 수 있도록 이식성을 향상시킨 M3K(MultiMedia Micro-Kernel) 커널의 프로세스간 통신 메커니즘을 기술하고 있다. 본 논문에서 제시하는 프로세스간 통신 메커니즘은 마이크로 커널의 이식성을 향상시키면서 대용량의 메시지 처리에 있어서 대등한 성능을 보이고 있다.

• 한국콘텐츠학회논문지
• /
• 제10권10호
• /
• pp.36-44
• /
• 2010

최근 다양한 신무기가 개발됨에 따라 개발된 무기들을 시험하기 위한 점검장비의 실시간성이 필수적으로 요구되고 있다. 하지만 윈도우 기반의 점검장비는 실시간성을 지원하지 못하기 때문에 RTX나 INtime같은 고가의 서드파티 운영체제를 사용함으로써 실시간성을 지원하며, 이는 점검장비 프로그램 개발비용의 증가를 초래하고 있다. 본 논문은 윈도우에 디바이스 드라이버 형태로 이식되어 동작하는 실시간 이식 커널인 RTiK을 제안한다. RTiK은 x86 하드웨어에서 제공하는 Local APIC를 이용하여 윈도우 별도의 타이머를 제공한다. 윈도우 독립적인 타이머 인터럽트의 발생으로 실시간성이 필요한 서비스를 주기적으로 동작시켜주며 마감시한을 보장해줌으로써 윈도우에 실시간성을 제공해준다. 또한 인터럽트 지연시간을 줄이기 위해 윈도우에서 제공하는 지연처리호출(Deferred Procedure Call)을 사용하였으며 지연처리호출에서 실행시켜줄 개발자 정의 함수를 실시간 이식커널 내부에 접근하지 않고 구현 및 수정할 수 있도록 Export Driver를 사용했다. 본 논문에서는 x86하드웨어에서 동작하는 윈도우 기반의 점검장비에 실시간성을 지원하는 실시간 이식커널을 설계 및 구현하고, 0.1ms 주기성 보장에 대해 오실로스코프로 검증한다.

• 한국마린엔지니어링학회:학술대회논문집
• /
• 한국마린엔지니어링학회 2011년도 후기공동학술대회 논문집
• /
• pp.80-80
• /
• 2011

본 논문은 윈도우에 디바이스 드라이버 형태로 동작하는 실시간 이식 커널을 제안한다. x86하드웨어에서 제공하는 Local APIC(Advanced Programmable Interrupt Controller)를 이용하여 윈도우와는 별도의 타이머를 제공하여, 독립적인 타이머 인터럽트를 통해 실시간성이 필요한 서비스가 정확한 주기로 동작하여 마감시한을 보장한다. 그리고 1553b 통신에서 IP470을 통해 오실로 스코프로 테스트하여 제안한 실시간 이식 커널이 실시간성을 보장함을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.853-855
• /
• 2002

안전한 운영체제(Secure Operating System)는 컴퓨터 운영체제의 보안상 결함으로 인하여 발생 가능한 각종 해킹으로부터 시스템을 보호하기 위하여 기존의 운영체제 내에 보안 기능을 통합시킨 보안 커널(Security Kernel)을 추가로 이식한 운영체제이다. 본 논문에서는 polaris 8에서 동작하는 보안 커널을 설계하기 위해 안전한 운영체제와 보안 커널 개발 기술, 솔라리스 운영체제 및 커널 기술을 살펴본다. 이를 토대로 RBAC(Role-Based Access Control)을 지원하고 시스템의 취약점을 감시하는 Solaris 8 기반의 보안 강화용 LKM(Loadable Kernel Module)을 설계한다.

• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1996년도 추계종합학술발표회 논문집
• /
• pp.435-438
• /
• 1996

• 한국정보처리학회논문지
• /
• 제5권5호
• /
• pp.1333-1344
• /
• 1998

마이크로 커널 기반 운영체제는 종래의 통합커널에 비해 비교적 속도가 늦지만 운영체제 모듈성, 이식성 측면에서 장점이 있어 다중컴퓨터 시스템에 적합하다. 다중컴퓨터 시스템용 운영체제가 시스템의 기능을 원활하게 수행할 수 있도록 하기 위해서는 부트 시의 정보를 이용하여 처리기의 각 장치 및 메모리를 시스템에 알맞게 초기화하여야 할 것이다. 본 논문에서는 OSF/1 AD3를 기반으로 한 운영체제인 고속병렬컴퓨터의 OSF/1 AD3 MISIX 마이크로 커널 초기화에 대해 기술한다. 클러스터링 기반 고속병렬처리 시스템인 고속병렬컴퓨터의 초기화를 부트, 하드웨어 관련 초기화, 메모리 주소공간 구축 등의 관점에서 기능을 소개하고, 이를 시험한 내용을 시험 환경을 바탕으로 기술한다. 구현된 마이크로 커널은 운영체제 이식 작업의 일부로 4개의 처리기를 갖는 단일노드 시스템에서 시험이 이루어졌다.

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

프로세서, 센서 등의 소형화와 저가격화는 어느 곳에서나 유무선 네트웍과 연결되는 편재형 디바이스들의 출연을 가능하게 했다. 이러한 디바이스들은 점점 많은 기능을 가지고 인텔리전트한 기능을 제공하고 있다. 그러나 기존의 상용 RTOS는 특정 제품에의 의존도가 높고, 멀티미디어 응용과 같은 새로운 편재환경에의 요구 사항을 지원하고 있지 않으므로 이러한 환경변화에 적응하는 것이 어렵다. 따라서 소형의 휴대 정보 단말에서부터 홈 서버에 이르기까지 다양한 종류의 편재형 기기에 사용될 수 있는 확장성과 풍부한 기능을 갖춘 표준 실시간 OS의 개발이 필요하다. Qplus-P는 이와 같은 편재형 컴퓨팅을 지원하기 위한 실시간 소프트웨어 플랫폼이다. 이에는 실시간 운영체제 커널, 라이브러리 및 응용, 사용자 개발 도구가 포함된다. 특히 커널은 확장 가능한 구조를 채택하여 다양한 내장형 기기에 적용 가능한 이식성을 지원하며, 사용자 개발 도구는 특정 내장형 기기에서의 OS의 이식을 지원하는 개발 도구로 편리한 사용자 인터페이스를 제공한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권2호
• /
• pp.173-186
• /
• 2000

실시간 내장 시스템은 운용 환경과 용도에 따라 멀티태스킹 커널이 지원해야 할 하드웨어 플랫폼과 자원 관리 정책이 다양하게 달라진다. 실시간 내장 시스템에 요구되는 크기와 성능 상의 제약 조건들을 엄격하게 만족해야 하는 멀티태스킹 커널을 새로운 시스템 서비스나 하드웨어에 맞게 개조하는 것은 쉽지 않다. 본 논문은 마이크로 프로세서 기반의 실시간 내장 멀티태스킹 커널의 구현에 재사용 가능한 객체지향 커널 프레임워크의 프로토타입을 객체 합성과 클래스 상속 메커니즘에 의거한 프레임워크 설계 패턴들을 적용하여 개발한 사례를 설명한다. 본 커널 프레임워크는 필요한 커널을 프레임워크의 개조와 확장을 통하여 효율적이고 일관성있게 생성할 수 있도록 하드웨어 환경과 시스템 자원 관리 정책에 의존적인 부분들이 프레임워크의 가변 부위(hot spot)로 분리된 추상 클래스들로 설계되어 있어서 높은 이식성과 개조성이 요구되는 마이크로 프로세서 기반 실시간 내장형 멀티태스킹 커널의 구현에 효과적으로 사용될 수 있다.