オペレーティングシステムの組み換えを伴う後方エラーリカバリー機構の実装
スポンサーリンク
概要
- 論文の詳細を見る
筆者らは、アプリケーションプログラム、オペレーティングシステム、ハードウェアの3つの階層に「自然な」設計分散を適用した多階層設計分散(Multi-Layered Design Diveristy、MLDD)アーキテクチャを、TRONの標準化プロジェクトを基盤として研究している。そして、これまでに、オペレーティングシステムの組み換えを伴う後方エラーリカバリー機構を考案した。本機構の要の一つはエラー検出機構である。本稿では,オペレーティングシステムのためのエラー検出テスト設計手法として、SBACCG(Specification-Based Adaptive Consistency Checks Generation)を提案する。本手法では、形式的外部仕様からオペレーティングシステムの状態に関する一貫性チェックを導出し、導出したチェックを各実装の内部構造に適応させることで、エラー検出テストを設計する。
- 社団法人電子情報通信学会の論文
- 1994-12-15
著者
関連論文
- 電脳コンクリートの展開
- 4. 超小型チップネットワーキング技術(ユビキタスネットワーク技術開発プロジェクト)
- B-20-58 UWB-IRを用いた相対位置検出システムの開発(B-20. ユビキタス・センサネットワーク,一般セッション)
- SDS-1に搭載したスペースワイヤー実証モジュール(SWIM)(宇宙応用シンポジウム宇宙実証特集-通信・測位・観測)
- 3.4nW/bps通信、22cm測位を実現する1ccセンサノード(アナログ・デジアナ・センサ,通信用LSI)
- 支援建築会議・調査研究委員会活動報告
- パノラマ写真による歩行者ナビゲーションサポートシステムの提案と実装(ネットワーク設計と一般,All IPモバイルネットワーク,マルチメディアモビリティ・コマース,モバイルマルチキャスト/ブロードキャストネットワーク,モバイル・マルチメディアセキュリティ,コンテキスト/位置情報依存サービス,情報家電ネットワーク,NGN,FMC及び一般)
- 表紙の人インタビュー 携帯電話や自動車のエンジン制御に欠かせないトロンを無料化にした理由は何ですか?--答える人 東京大学教授 坂村健
- 間欠動作型CMOS UWB-IR受信機アナログフロントエンド(アナログ・デジアナ・センサ,通信用LSI)
- 1cc超小型UWBセンサノードの開発(システムオンシリコン,RFID技術及び一般)
- AS-4-5 1cc超小型ノードを用いた22cm高精度測位システムの開発(2) : UWB測位システムの実証実験(AS-4.将来ライフを拓くユビキタス技術(2)-ネットワークセンシングにおける協調と融合-,シンポジウム)
- AS-4-4 1cc超小型ノードを用いた22cm高精度測位システムの開発(1) : 超低電力UWBセンサノードの開発(AS-4.将来ライフを拓くユビキタス技術(2)-ネットワークセンシングにおける協調と融合-,シンポジウム)
- A-5-13 UWBを用いた高精度測位応用に向けて(A-5.ワイドバンドシステム,一般講演)
- 標準化プロジェクトを基盤としたオペレーティングシステムの設計フォールトトレランスの実現
- オペレーティングシステムの組み換えを伴う後方エラーリカバリー機構の実装
- オペレーションシステムの組み換えによる設計フォールトトレランス機構
- コンクリートのトレーサビリティについて
- 2.ユビキタスコンピューティングと屋内環境の位置認識(ユビキタス時代の屋内位置検知技術)
- 様々な通信規格に対応可能なマルチプロトコルRFIDリーダライタの提案(開発事例,組込みシステム工学)
- B-20-10 高精度TOA推定UWB受信器の開発(B-20.ユビキタス・センサネットワーク,一般講演)
- B-20-9 マルチパス環境下でのUWB高精度測位システム(B-20.ユビキタス・センサネットワーク,一般講演)
- M-053 汎用的ユビキタス基板による場所識別子に基づくキャンパスツアー(M分野:ユビキタス・モバイルコンピューティング)
- A-5-12 超低電力UWB無線LSIの検討(4) : CMOS受信フロントエンドの設計(A-5.ワイドバンドシステム,一般講演)
- A-5-11 超低電力UWB無線LSIの検討(3) : 同期捕捉方式の検討(A-5.ワイドバンドシステム,一般講演)
- A-5-10 超低電力UWB無線LSIの検討(2) : デジタル制御UWB送信機RF部の開発(A-5.ワイドバンドシステム,一般講演)
- A-5-9 超低電力UWB無線LSIの検討(1) : 送信LSIの開発(A-5.ワイドバンドシステム,一般講演)
- 低消費電力無線向けキャリアベースDS-UWB-IRシステム(ネットワークプロセッサ,通信のための信号処理,符号理論,一般)
- 特別研究委員会
- 低消費電力無線向けキャリアベースDS-UWB-IRシステム(ネットワークプロセッサ,通信のための信号処理,符号理論,一般)
- 特別研究委員会
- 特別研究委員会
- 低消費電力無線向けキャリアベースDS-UWB-IRシステム(ネットワークプロセッサ,通信のための信号処理,符号理論,一般)
- 特集 「鼎談」基軸を探る 科学・技術立国、日本の針路
- 軽量仮想計算機モニタを利用したOSデバッガのロギング&リプレイ機能の提案
- 国土技術研究センター研究顧問座談会 これからの国土と社会資本を語る
- 総合論文誌第8号の刊行にあたって(ユビキタス社会と建築・都市のフロンティア)
- 切替自在な暗号アーキテクチャ
- 1.はじめに : 発展への期待(ユビキタス時代の屋内位置検知技術)
- 小惑星探査機「はやぶさ」にも搭載されたトロンの開発者を直撃 東京大学教授 坂村健
- パネル討論会 : 新しい計算機アーキテクチャ : 非ノイマン機能 : 昭和52年度第18回全国大会報告
- 既存ルータ混在環境におけるモバイルIP高速ハンドオーバ方式(プロトコル, ブロードバンド・ユビキタス・ネットワークとその応用)
- 優先度継承スピンロックアルゴリズムの性能評価
- ICTを活用した歩行者移動支援 (特集 ICTを活用した歩行者移動支援)
- 国土技術研究センター 第2回研究顧問座談会 これからの国土と社会資本を語る--我が国の競争力の低下を語る
- イノベーション基盤としてのユビキタス
- 学術からの発信 ユビキタスでつくる情報社会基盤
- Special Interview 日本を変えるイノベーション--坂村健氏 大いに語る
- 第3回プロジェクト推進委員会 パネルディスカッション ユニバーサル社会の実現に向けて何をすべきか--地域活性化におけるICTの役割
- イノベーション基盤としてのユビキタスコンピューティング
- ユビキタス社会と建築(II 論考,初夢-建築への期待)
- 廃棄物の不法投棄・不適正処理防止のための支援システムの構築とその実証研究, 依田浩敏, 229
- ディジタルミュージアムとユビキタス
- 情報化と建築・都市・環境(第1部 総論,情報化の視点からみた建築・都市のフロンティア)
- 状況情報の形式的記述の可能な位置モデルに基づくヒューマンナビゲーションのための経路生成手法(UBI3:ロケーションアウエア)
- 状況情報の形式的記述の可能な位置モデルに基づくヒューマンナビゲーションのための経路生成手法(UBI3:ロケーションアウエア)
- 高級言語マシン
- 特別研究委員会
- ユビキタスと河川の安全 (特集 ユビキタス情報社会に向けた「次世代の河川管理」)
- ユビキタス社会と観光振興 (特集 ユビキタス社会と次世代型ツーリズム)
- 人に優しい街を目指して--「東京ユビキタス計画・銀座」にあたって
- 食の安全とユビキタス (特集 新技術は農業・食品産業に何をもたらすか) -- (先端技術を追う--その光と陰)
- インフラ・イノベーションとしてのユビキタス・コンピューティング
- インタビュー ユビキタス情報社会と道路空間
- 話題の追跡 30メートル先でも読取、位置測定可能な新型ICタグ
- ユビキタス・コンピューティングから見た国土--その未来 (特集 国土交通分野のイノベーション)
- 制御用リアルタイム OS 体系 ITORON 仕様の設計思想とその実現 (<小特集>TRON)
- D-9-13 携帯型端末のセンサ情報を用いたロバストな歩行者高度推定手法(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- TRON 仕様に基づく32ビット・マイクロプロセッサ (<小特集>TRON)
- 国土政策研究所 第3回研究顧問座談会 これからの国土と社会資本を語る--連携と参加
- 「安全がある」という神話 (特集 3.11大災害)
- 支援建築会議・調査研究委員会活動報告(第六部:2010年度委員会活動報告)
- VLSIコンピュータ・アーキテクチャ
- B-1-90 ランダム探索法による超広帯域円偏波平面アンテナの自動設計(B-1. アンテナ・伝播B(アンテナ一般),一般セッション)
- 総合デバグ時のPB曲線の性質について
- 「ジョブズ後」のIT ネットワーク常時接続が前提に 鍵はオープン性とアライアンス (21世紀型恐慌) -- (変わる世界)
- 特集「TRON プロジェクトの現状と展望」の編集にあたって
- 新入生、新社会人必読 新世界大戦の時代 特別対談 世界を知る2人が語り合った : 閉塞感を脱却するために"黒船的発想"を改めよ 落合信彦(国際ジャーナリスト)VS坂村健(東京大学大学院情報学環教授) どうすれば日本にスティーブ・ジョブズが生まれるのか?
- 最先端の開拓者たち 坂村健氏 東京大学大学院 情報学環 教授 「私は失敗できない」ユビキタス追い30年 “裏方OS”を世界に
- 規制に反対 事前の審査はネット時代にそぐわない (対論 スマートフォン アプリは規制すべきか?)
- デジタルデバイドと電子ブック
- 対談 ucode技術のインフラ活用で強靭でユニバーサルな都市づくりへ舵を切る (鎮魂と提言 東日本大震災から1年)
- 新春対談 明日の世界を拓く情報通信 : 情報通信の発展の流れと社会の変化
- 特別講演 震災復興とユビキタス
- 国土政策研究所 第4回研究顧問座談会 これからの国土と社会資本を語る : 大災害頻発国に暮らす覚悟
- D-9-22 スマートメーター機能を提供するRTOS拡張機能 : TK-SLP/SMP(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- D-9-21 EPD向きの省電力型GUIツールキット : TK-SLP/GUI(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- D-9-20 組込みカーネル拡張TK-SLPにおける省電力化戦略(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- B-15-19 場所情報サービスのためのデータキャッシュ機構に関する分析(B-15.モバイルマルチメディア通信,一般セッション)
- 私の生き方(第512回)僕の「どこでもコンピューター」 : TRONからユビキタスへ
- 「支援建築会議・全国建築系大学教育連絡協議会・特別調査委員会・特別研究委員会」2011年度活動報告(建築年報2012)
- 電脳住宅・電脳都市--生活環境におけるコンピュ-タ化のあり方 (人を対象としたシステム) -- (人を対象としたシステム--いくつかの事例)
- 構造改革 講演 ITによる社会づくりの未来
- グルマン対談 食を通して世界が見える 坂村健×狐野扶実子
- 人手と予算が足りない時代の処方箋 ユビキタスネットワークで道路を守れ (特集 コンクリート列島非常事態宣言)
- 汎用ID「ucode」で製造業が変わる ネットワーク型ものづくりの連携基盤
- Electronic brains and robots.
- 広報 JISA Awards2013受賞記念講演会 : サービス化とグローバル化の先進事例 基調講演「国際的に通用する独創性を活かすために」
- 国土政策研究所 第5回研究顧問座談会「これからの国土と社会資本を語る」 : 荒廃する日本にならないためにはどうすればいいか
- 新技術「出尽くし感」の真相 物理世界から情報世界にシフト 「平時の21世紀」というハードルも (経常赤字と本当の国力) -- (ものづくり敗戦)
- オープンデータ流通実現のために (特集 オープンデータ活用でICTを推進)