TOPPERS LOGO
Loading

 Topics | About Project | ASP3 Kernel | Documents | Download | Community | Report | Contacts | FAQ
  • 会員向けページ
    • メーリングリスト
    • 早期リリース
    • 技術ドキュメント
    • 開発支援
    • 会員情報登録・変更
    • 会員向けイベント情報
  • プロジェクトについて
    • TOPPERSプロジェクトとは
    • TOPPERSのロゴについて
    • TOPPERS公式マスコット「とぱめ」
    • TOPPERSライセンス
    • プロジェクト規則集
    • 貸借対照表
    • プロジェクトの組織
    • 関連団体、プロジェクトメンバ
    • 受賞
    • 入会のススメと申込み方法
    • 開発成果物の利用報告
    • FAQ
    • 問い合わせ・事務局案内図
  • 取り組み
    • ETロボコンへの取組み
    • プレス発表
    • ニュースレター
    • コンテスト
    • 一般向けイベント情報
    • TOPPERSカンファレンス
    • TOPPERS開発者会議
    • 過去の取り組み
      • 公的資金によるプロジェクト
      • ソフトウェア開発委託事業
      • 公募型事業
  • 開発成果物
    • リアルタイムカーネル
      • TOPPERS/ASP3カーネル
      • TOPPERS/HRP3カーネル
      • TOPPERS/FMP3カーネル
      • TOPPERS/HRMP3カーネル
      • TOPPERS/ASPカーネル
      • TOPPERS/JSPカーネル
      • TOPPERS/FMPカーネル
      • TOPPERS/HRP2カーネル
      • TOPPERS/SSPカーネル
      • TOPPERS/PARK
      • TOPPERS/FDMPカーネル
      • TOPPERS/FI4カーネル
      • TOPPERS/HRPカーネル
      • TOPPERS/ATK1
    • AUTOSAR関連
      • TOPPERS/ATK2
      • TOPPERS/A-RTEGEN
      • TOPPERS/A-COMSTACK
      • TOPPERS/A-WDGSTACK
      • TOPPERS/A-OSBENCH
    • TOPPERS/EV3RT(EV3 Platform)
    • TECS(コンポーネントシステム)
    • TINET(TCP/IPスタック)
    • TOPPERS/ECNL
    • CAN/LIN通信ミドルウェア
    • FatFs for TOPPERS
    • SafeG
    • SafeG64
    • SafeG-M
    • SafeG-Auto
    • MDCOM
    • TOPPERS BASE PLATFORM
    • Athrill
    • TOPPERS Test Suite Package(TOPPERS新世代カーネル)
    • TOPPERS新世代カーネル用コンフィギュレータ
    • その他
      • TOPPERS Builder Bootable CD-ROM イメージ
      • TLV(トレースログ可視化ツール)
      • BridgePoint for JSP1.4
      • TOPPERS C++ APIテンプレートライブラリ
      • TOPPERSカーネルテストスイート(μITRON4.0仕様)
      • Remote Link Loader(RLL)
      • ダイナミックローディングマネージャ(DLM)
      • TOPPERSカーネル向けシミュレーション環境
  • 教育コンテンツ
    • 初級実装セミナー教材
    • 中級実装セミナー教材
    • 基礎1実装セミナー教材
    • 基礎2実装セミナー教材
    • 基礎3実装セミナー教材
    • 基礎ハードウェア基本設計セミナー教材
    • ARM7版基礎1、2、3実装セミナー教材
    • TOPPERS BASE PLATFORM対応版基礎1、2、3セミナー教材
    • 二足歩行ロボット教材
    • TOPPERS版鹿威し
  • ドキュメント
    • TOPPERS第3世代カーネル統合仕様書
    • TOPPERS新世代カーネル統合仕様書
    • TOPPERS新世代カーネルへのマイグレーションガイド
    • TOPPERS新世代カーネル用コンフィギュレータ関連仕様書
    • 機能分散マルチプロセッサ向けリアルタイムカーネル仕様書
  • ダウンロード
    • ダウンロードページ一覧
  • 関連製品
    • トータルソリューション
    • 開発キット・開発環境・ツール
    • ミドルウェア・ソフトウェア部品
    • サポート・サービス
    • 教育・教材
    • ハードウェア
  • 利用事例
    • 適用事例
    • ユーザ
  • コミュニティ情報
    • ユーザーズフォーラム
    • ソフトウェア
    • 統合開発環境
    • 外部リンク
    • Contributed Software
    • Contributed Software(GitHub)
    • AUTOSAR情報サイト
  • その他の情報
    • 雑誌記事・書籍

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
カーネルコンフィギュレータ

※ 開発スタッフの名前は、掲載を了承された方のみ記載しています。

Newsletterのバックナンバーはこちら

Tweets by ToppersJP


Copyright (C) 2000 - 2023 by TOPPERS Project, Inc. All Rights Reserved.