TOPPERS/HRP커널이란?

TOPPERS/HRP(High Reliable Profile)커널은 독립 행정법인 우주항공 항공연구 개발기구 정보・계산공학 센터와 나고야 대학 대학원 정보 과학 연구과 임베디드 시스템 연구실(高田・冨山연구실)이 공동으로 개발한 높은 신뢰도가 요구되는 임베디드 시스템용 리얼타임OS입니다.

HRP커널의 최신 릴리즈는 여기에서 다운로드 할 수 있습니다.

HRP커널의 주요 특장점은 다음과 같습니다.

  • 신뢰서 검증 완료

    • JAXA가 제작한 「기반 소프트웨어 고신뢰성 검증」을 사용한 검증을 하였습니다. 검증을 한 타겟 환경은 여기에서 「고신뢰성 검증」의 실시 환경을 참고해 주십시오.

  • 신뢰성 기능을 탑재한 RTOS

    • μITRON4.0사양의 보호 기능확장을 베이스로 메모리 보호 기능과 커널 오브젝트에 대한 액세스 보호 기능을 탑재하고 있습니다. 고신뢰성 시스템용 기능으로는 뮤텍스, 오버런 핸들러가 제공되고 있습니다. 또한, RTOS가 기동될때 까지의 부팅 기능, RTOS레벨에서 문제가 발생한 경우의 처리 서포트 기능(시스템 리커버리 서포트 기능), 시스템 상태 감시 기능을 갖는 「Safety Kernel」(※)와의 병행사용에 의해 시스템의 신뢰성을 더욱 향상할 수 있습니다.

    (※) Safety Kernel에 대한 문의는 사무국으로 해주시기 바랍니다.

  • 다른 타겟에 포팅이 용이한 구조

    • 가능한 많은 부분을 C언어로 기술하고, 타겟 독립부와 타겟 의존부를 명확히 분산 시키는 등 JSP커널이 채용한 설계를 그대로 따르고 있습니다.

  • 높은 실행 성능과 적은 RAM 사용량

    • 대부분이 C언어로 기술되어 있는 커널로서는 높은 실행 성능과 적은 RAM 사용량을 실현하였습니다.

타겟 시스템

HRP커널은 현시점에서 아래의 타겟 프로세서／타겟 시스템을 서포트하고 있습니다.

프로세서(제품번호) 시스템(메이커) 개발환경 고신뢰성 검증 의존부 소스 코드
HR5000
(MIPS 5kf core)		 GT902
(요코가와 디지털 컴퓨터)		 IDE for MIPS Ver4.2.3 (GHS) 실시 비공개
HR5000
(MIPS 5kf core)		 GT902
(요코가와 디지털 컴퓨터)		 GCC 3.4.3 (GNU) 미실시 비공개

HR5000용 타겟 의존부 소스 코드를 사용하고 싶은 경우는 사무국으로 문의해 주시기 바랍니다.

그 외의 타겟 시스템

프로세서 시스템 개발환경 담당
MIPS32 MIPS MALTA GCC 4.5 (資)모나미 소프트웨어
다운로드는 여기

IA32

(資)모나미 소프트웨어가 IA32 아키텍처에 이식을 하였습니다. 오픈 소스의 소프트웨어 에뮬레이터 QEmu상에서 동작도 가능합니다. 타겟 의존부는 동사의 제품 PizzaFactory 개발 환경의 옵션으로도 제공됩니다.

개발 스탭

TOPPERS프로젝트의 멤버로서 TOPPERS/HRP커널의 개발에 참가하고 있는 개발 스탭은 다음과 같습니다(소속은 참가한 시점).

이름 소속 시기 담당
高田広章 나고야 대학 대학원 정보 과학 연구과 2005년〜 커널 본체
高木信尚 개인 특별 회원 2005년〜2006년年 커널 컨피그레이터
邑中雅樹 (資)모나미 소프트웨어 2006년〜2007년 커널 컨피그레이터
柳川勝幸 (資)모나미 소프트웨어 2005년〜2006년 HR5000
- NEC 통신 시스템 2006년〜 HR5000
커널 컨피그레이터

※ 개발 스탭의 이름은 게재를 허락하신 분만 기재하고 있습니다.