【宇宙】宇宙機OS「TOPPERS/HRPカーネル」の早期リリース開始(JAXA*名古屋大学)

TOPPERSプロジェクトが「TOPPERS/HRPカーネル」の会員向け早期リリースを開始しました。

「TOPPERS/HRPカーネル」は，宇宙航空研究開発機構（JAXA）と
名古屋大学との共同研究によりとりまとめた，
宇宙機などの高信頼システム向けのリアルタイムカーネルです。
開発は、名古屋大学と（資）もなみソフトウェアが担当しています。

今回の早期リリースでは、HRPカーネルのうち，
コンフィギュレータとJAXA向けターゲット依存部を取り除いています。

http://www.toppers.jp/members.html#early


TOPPERS=Toyohashi OPen Platform for Embedded Real-time Systems
HRP=High Reliable system Profile


*参照
宇宙機向け高信頼リアルタイムOSの開発を開始
名古屋大学 大学院情報科学研究科 組込みリアルタイムシステム研究室（高田・冨山研究室）は、
宇宙航空研究開発機構（JAXA）などと共同して、人工衛星などの宇宙機に用いることが可能な
高信頼リアルタイムOSの開発を開始することになりました。

この度開発を開始するリアルタイムOSは、TOPPERSプロジェクトにおいて開発してきたμITRON仕様のリアルタイムOSをベースに、
メモリ保護などの保護機能を追加したもので、TOPPERS/HRP カーネルと名付けました（HRP は"High Reliable systemProfile"の略）。
TOPPERS/HRPカーネルの開発にあたっては、（社）トロン協会が情報処理推進機構（IPA）の情報技術開発支援事業により開発した
IIMPカーネルの開発成果を活用します。

また、この開発計画においては、リアルタイム OS に加えて、システムの障害時に安全性を確保するための基盤とな
るSafety Kernelと呼ばれるソフトウェアの開発も行います。これらの開発は、高田・冨山研究室がJAXAとの共同研究において検討してきたものです。

TOPPERS/HRPカーネルとSafety Kernelの実装は、高田・冨山研究室と（資）もなみソフトウェアが分担して行い、
2005年度内には実装を完了する計画です。この開発計画の詳細については、JAXAが10月31日（月）に東京で開催する
先端宇宙情報技術ワークショップにおいて、石濱直樹氏が発表します。ワークショップの開催要領については、
http://www.jsfws.info/jaxa-ista/uhrsw/を参照ください。

TOPPERSプロジェクト 会長／名古屋大学 教授 高田広章のコメント
JAXAと共同で宇宙機に用いることが可能なリアルタイムOSの開発に取り組めることを、大変嬉しく思うと同時に、大きい責任を感じています。
宇宙機のような高信頼システムに用いるリアルタイムOSは、その品質証拠を客観的に示すことが必須であり、
今回の開発計画を通じて、必要な品質情報を整備していければと考えています。
また、この開発計画の成果物となるTOPPERS/HRPカーネルは、
宇宙機だけでなく、高い信頼性やメモリ保護機能を必要とする他の組込みシステム開発にも活用いただけるものと思います。

http://www.toppers.jp/press/release-0510-2.pdf

携帯から2

ajax?

どんなにOSの信頼性が上がっても
開発現場では、ゼロによる除算や浮動小数点例外を知らないプログラマが
軌道計算プログラムをコーディングしている現実....

合理的に作ったものは、その合理さ故にトラブル。

名古屋とか筑波大学が関与している時点で


　　ク　ソ　確　定　！！

こういうのは作ったもの勝ちだから
少し期待。

つーか、今までの宇宙機OSはメモリ保護すら強化していなかったのか。
そりゃ、何度も失敗するわ・・・

何故に豊橋

信頼性の置けないRTOSが存在するみたいな書き方されるとちょっとムカついてくるんだが、

使い方がまずいだけじゃﾈｰｶ

もう、VxWorksでいいじゃん
自衛隊でも使ってるんだしさ。

VxWorksだと色々と金かかるんだよ。製品だから。

国産が大嫌いなやつが必ず現れる

>>10
俺もそう思う

太陽系の惑星を擬人化してギャルゲーを作る
http://live22x.2ch.net/test/read.cgi/livefoot/1159721512/

>>10
宇宙線に曝されまくる環境だから地上のものは普通に信頼できない。

メモリエラーの出まくるハードでもまともに動くソフト書くような話だろ。

>>1
がんばれTOPPERS!!

ここで言ってる「メモリ保護」って、放射線の影響から記憶の中身をまもること？
仮想記憶が使えるってことじゃないの？

放射線からの保護は「高い信頼性」のほうじゃないか？
メモリ保護は、死んだプロセスのせいでＯＳ全体が死んだりしないようになってるってことだろう。

>>9

最初、豊橋技術科学大学で作ったからだよ。
この大学はソフトウェアに関しては意外に貢献している。

>>18
メモリは電気的に読み出しするだろ？
現状のPCでも確立は低いが、読み出し時、書き込み時に化けることもある。
記録している内容が放射線で化けたというトラブルは過去になんどかあり
半導体メーカーは対応済み、しかし地上での話だろうな。
CPUという機能で動いている限り暴走が常に起こるような状況を
想定しなければならないだろう。
現状で電池式リモコン送信機等では電源が不安定でのRAM＆ROMの
トラブルがあってもリセット後に復帰できるように作られている。
単純なウオッチドックタイマー程度では暴走を防止するのは無理がある。

ＯＳの開発は、宇宙機に乗りながらやりましょう。

キャリブレーション取りつつ、ゼロ・モーメント・ポイント及びＣＰＧを再設定…、くそっ！なら疑似皮質の分子イオンポンプに制御モジュール直結！
ニュートラルリンケージ・ネットワーク、再構築！メタ運動野パラメータ更新！フィードフォワード制御再起動、伝達関数！コリオリ偏差修正！
運動ルーチン接続！システム、オンライン！ブートストラップ起動！

こんな感じで。

一方ロシアは真空管を使った。

>>9
TOPPERS の由来
"TOPPERS"は、 "Toyohashi OPen Platform for Embedded Real-time Systems" の 略で、
「トッパーズ」と読みます。 最初の "Toyohashi" は言うまでもなく地名ですが、 リーダである
高田広章が、プロジェクトの開始時に 豊橋技術科学大学に所属していたことから付けた名前
です。 ちなみに英語的には、"toppers" は "topper" の複数形 で、 "topper" には「卓越する
もの」「すぐれたもの」といった意味が あります。
http://www.toppers.jp/project.html

一方ＮＡＳＡはトップレスショーを見に行った。

一方日本は暗算で暗号を解読した。

長岡から嫉妬の書き込み

>>22
種か
有機コンピューター臭いんだよね、どうも

>>27

NOPPERSってなんかまぬけ

　　　　 巛彡彡ミミミミミ彡彡
　　　　　　 巛巛巛巛巛巛巛彡彡
　　　r､r.r ､|::::::: 　　　　　　　　　　|　,;^,^,;ヽ
　　r |_,|_,|_,||::::::　　　　　／'　　'＼ |　|,_|,_|,_|ヽ
　　|_,|_,|_,|/⌒　　　 　　(･ ) 　 (･ ){^ヽ_|,_|,_|, |
　　|_,|_,|_人そ(^i　　　　 '"" ) ･･)""ヽﾉ_|,_|,_|, |　　で？
　　|　)　　 ヽﾉ　|.　　　 ┏━━━┓|　　　 (　|
　　|　　`".｀´ 　ﾉ　　　┃　ノ￣,i　┃| ｀´.ﾞ`　　|
　 人　　入＿ノ' 　　　 ┃ヽﾆﾆノ ┃ﾉ　 入 __ 人
／　　＼＿／＼ヽ､　　　┗━━┛/ ＼＿／　　ヽ
　　　　　 ／　＼＼　 ト ───ｲ/　　 ヽ　　　　　ヽ
　　　　 /　　　　 ヽ､ ｀__─┬─イ　　　　l　　　　　　i
　　　　/　y 　　　　＿　　 ＿　　 __　 )　　|　　　　　　|
　　　 人/ 　　　 /＿. ~|/＿ .|　/ /　 ';／.| 　　　　　　|
　　　人/　 　　　　ﾄｲノ　＿| | / /__､　;,'"ヽ　　　　　　 |
　　ノ /　　　　　　ﾉノ　 /＿__|/＿＿ヽ人　　　　　　　ﾉ
　　／　　　　　　　　　　　　|　　　　　/　 ＼　　　　 ノ

F-15も3つのCPUで多数決とってると聞いた
100個ぐらいの並列システムで多数決取れば高信頼性になるんじゃまいか