ディペンダブルエア 異種無線融合ネットワークにおける高精度位置情報を用いた ネットワーク選択手法とトラヒックナビゲーション Dependable Air –Network Selection Scheme Using Positioning Information and Traffic Navigation for Heterogeneous Wireless Network–ディペンダブルシステム―高信頼システム実現のための耐故障・検証・テスト技術― 米田 友洋 ・ 梶原 誠司 ・ 土屋 達弘 著 書籍情報 ISBN 判型 A5 ページ数 254ページディペンダブルなdx社会基盤の構築 に向けて 独立行政法人情報処理推進機構 bipa c 社会基盤センター センター長 片岡 晃
大学院理工学研究科博士前期課程2年生の中岡 典弘さんが電子情報通信学会ディペンダブルコンピューティング研究会の第7回研究会若手優秀講演賞を受賞しました 愛媛大学工学部
ディ ペン ダブル
ディ ペン ダブル-大域ディペンダブル情報基盤プロジェクト 坂井 修一 情報理工学系研究科電子情報学専攻 1 はじめに 「大域ディペンダブル情報基盤」プロジェクト では、社会が真に依存できる大域的かつ個別的な 情報インフラを実現するためのシステム技術およディペンダブルコンピューティング,ソフトウェアサイエンスおよび一般 ss (共催) 8月19日(木) 発表申込受付中;
「ディペンダブルVLSIシステムの基盤技術 (DVLSI) 」研究領域 「フィールド高信頼化のための回路・システム機構」 White Paper Version 41 CRESTDVLSI 梶原チーム DART技術 (Dependable Architecture with Reliability Testing)米田友洋 他 『ディペンダブルシステム』 共立出版, isbn 成績評価の基準及び方法 ディペンダブルコンピューティングの基礎理論,回路テスト技術,誤り制御符号化技術,及び分散システムの高信頼化技術に関する理解度を評価する.電子情報通信学会知識ベース |7編 ディペンダブルコンピューティング 6群7編 ディペンダブルコンピューティング 更新履歴 編主任 米田友洋(NII) 編幹事 金子敬一(東京農工大) 北神正人(千葉大) 福本 聡(首都大東京)
デジタル大辞泉 ディペンダブルエアの用語解説 異なる無線通信を組み合わせ、災害時にも接続を可能とする情報通信ネットワーク構想。電源を喪失するなどで基地局が使用不能になった際、準天頂衛星を利用して携帯電話端末の通信を行うもの。東北大学などが実用化に向けた研究を進めてディペンダブルネットワーク プロセッサの機能検討 (発展 3) 災害時にも活用可能な 高信頼異種統合 無線通信ネットワーク (発展 1) ヘテロ素子ビームフォーミングアンテナ 東北大学グループ 技術仕様検討 ディペンダブル・エアを支えるデバイス・回路開発参加費について 技報完全電子化研究会 21年12月1日(水) 12月3日(金) オンライン開催 デザインガイア21 vlsi設計の新しい大地
ディペンダブル集積システム研究センターでは独自にホームページを運営しています。 ディペンダブル集積システム研究センターに関する情報を詳しく知りたい方は、ぜひご覧ください。 ディペンダブル集積システム研究センター ※別ウィンドウが開きディペンダビリティ (英 dependability) とは、一般的な 信頼性 にとどまらず、たとえ一部が壊れても残りの部分でうまく働くといった自立的自己修復的な動作をさす概念である。超ディペンダブルチップ、超ディペンダブルサーバ 超ディペンダブルチップ z10年後に支配的なCPU z多重処理による信頼性向上 zアプリケーション適応型のディペ ンダビリティ提供 zソフトウェア技術 アプリケーション適応コード生 成 多重実行
ディペンダブル・マイクロプロセッサ • マイクロプロセッサのお仕事は? – 「正しいプログラム」を「正しく実行」する • 正しい命令の取得(フェッチ)と実行の繰り返し • 必要に応じてメモリにデータを正しく書込み/読出しディペン ダブル ・ セキュアコンピューティングの分類 は tdsc の唯一の意味ではありませんのでご注意ください。tdsc の定義が複数ある場合がありますので、tdsc のすべての意味については辞書で 1 つずつチェックしてください。 英語で定義科学 技術振興機構はディペンダブルなシステムを構築するた めのソフトウェアの基盤技術を研究するためにCREST 研究領域「実用化を目指した組込みシステム用ディペン ダブル・オペレーティングシステム」(以下、DEOSプロ ジェクトと略す)を06年に立ち上げた。
「ディペンダブルvlsiシステムの基盤技術」研究総括 浅井 彰二郎 人類の諸活動が情報技術に依存する度合いは増す一方である。 情報システムのエンジンであるVLSIも、それ自身が膨大な数の回路素子を含む巨大システムであり、その信頼性・安全性は上位情報システムの信頼性・安全性のコ日立のディペンダブルシステム技術への年代ごとの取 り組みを図1に示す。日立のディペンダブルシステム技術 の源泉は,絶対的な安全性が要求され独自のフェイル セーフ技術が確立されてきた鉄道分野と,同じく安全性VDMによる形式仕様記述 VDM自体やその言語,ツールに関するFAQです. VDMに限らない形式手法全般については,著者もかかわっている ディペンダブル・システムのための形式手法の実践ポータル などをご参照下さい. 書籍にて解説しなかった情報を中心に
「ディペンダブルな自律連合型クラウドコンピューティング基盤の研究開発」 jst crest 自立連合型分散システム (5年) 総務省scope:ディペンダブルな自律連合型クラウドコン ピューティング基盤(3年) 文科省 科学技術振興調整費 (3年) 09~ 03~09ディペンダブル・エア 地上系/衛星系統合無線通信ネットワーク 研究代表者 坪内 和夫 (東北大学 電気通信研究所) 研究分担者 松澤 昭 (東京工業大学) 岩田 誠 (高知工科大学) 藤島 実 (広島大学) 小熊 博 (富山高等専門学校)6 群(コンピュータ‐基礎理論とハードウェア) 7 編(ディペンダブルコンピューティング) 1 章ディペンダブルコンピューティングの基礎 (執筆者:) 概要 本章の構成 電子情報通信学会「知識ベース」 °c 電子情報通信学会 10 1/(29)
ディペンダブルシステム 高信頼システム実現のための耐故障・検証・テスト技術 米田友洋/著 梶原誠司/著 土屋達弘/著 出版社名 共立出版 出版年月 05年11月 ISBNコード ( X )NAIST DSL 奈良先端大 ディペンダブルシステム学研究室 118 likes 国立大学法人 奈良先端科学技術大学院大学 情報科学研究科 ディペンダブルシステム学研究室 Dependable System Laboratory, Graduate School of Informationディペンダブル (Dependable)とは「頼りがいのある」という意味で,フォールトトレランスとフォールトアボイダンスの概念の 統合により一般化された高信頼性の概念として世界的に使われています.現在の主な研究分野は,フォールトトレラントシステム理論, ソフトウェア信頼性理論,ソフトウェアテスト理論,性能評価理論などであり,高信頼化システムの構築を実現するための基礎理
ディペンダブル・ソフトウェア (Dependable Software) 利用者が信頼・安心して利用できる、頼りになるソフトウェアであり、可用性、信頼性、安全性、機密性、完全性、保守性といった複合的要件を満足する。 可用性 (Availability):利用者がシステムを使用し(※4)ディペンダブル・ソフトウェア(Dependable Software) 利用者が信頼・安心して利用できる、頼りになるソフトウェアであり、可用性、信頼性、 安全性、機密性、完全性、保守性といった複合的要件を満足する。ディペンダブル・エアを提案 国立大学法人東北大学・電気通信研究所の 坪内 和夫 誉教授のグループは ,災害時でも必ず つながり,市民生活に革新をもたらす情報通信ネットワークとして,複数の異種
0 件のコメント:
コメントを投稿