• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

レジリエンス指向コンピュータシステムに関する研究

研究課題

研究課題/領域番号 26280012
研究種目

基盤研究(B)

配分区分一部基金
応募区分一般
研究分野 計算機システム
研究機関東京大学

研究代表者

坂井 修一  東京大学, 大学院情報理工学系研究科, 教授 (50291290)

研究分担者 入江 英嗣  東京大学, 情報理工学(系)研究科, 准教授 (50422407)
五島 正裕  国立情報学研究所, アーキテクチャ科学研究系, 教授 (90283639)
研究期間 (年度) 2014-04-01 – 2018-03-31
研究課題ステータス 完了 (2017年度)
配分額 *注記
17,160千円 (直接経費: 13,200千円、間接経費: 3,960千円)
2016年度: 3,380千円 (直接経費: 2,600千円、間接経費: 780千円)
2015年度: 6,890千円 (直接経費: 5,300千円、間接経費: 1,590千円)
2014年度: 6,890千円 (直接経費: 5,300千円、間接経費: 1,590千円)
キーワードレジリエンス / 信頼性 / 安全性 / タイムボロー / ストリーム指向制御 / 異常予知 / アーキテクチャ / 可用性 / ストリーム指向防御 / コンピュータシステム / 安全生 / 故障回復 / 再構成
研究成果の概要

情報社会の飛躍的発展の中で、ITシステムの信頼性・安全性をこれまでより高い水準で確保することは喫緊の課題である。本研究では、ITシステムに故障や侵入があった場合でも、被害を最小限に食い止め、正常動作を続けさせるか、最小限のオーバヘッドで機能回復をする技術の研究開発を行った。具体的には、タイムボローによる遅延隠蔽、オンデマンドの細粒度部分再構成、ストリーム指向の防御、実時間的な異常予知などの新しい要素技術を提案・検証し、さらにこれらを統合して効率的に動作させるレジリエンス指向コンピュータを検討・提案し、テストベッドによってその有効性を示した。

報告書

(5件)
  • 2017 実績報告書   研究成果報告書 ( PDF )
  • 2016 実績報告書
  • 2015 実績報告書
  • 2014 実績報告書
  • 研究成果

    (24件)

すべて 2017 2016 2015 2014 その他

すべて 雑誌論文 (4件) (うち査読あり 3件、 オープンアクセス 3件) 学会発表 (18件) (うち国際学会 1件) 備考 (2件)

  • [雑誌論文] Skewed Multistaged Multibanked Register File for Area and Energy Efficiency2017

    • 著者名/発表者名
      Junji YAMADA, Ushio JIMBO, Ryota SHIOYA, Masahiro GOSHIMA, and Shuichi SAKAI
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E100.D 号: 4 ページ: 822-837

    • DOI

      10.1587/transinf.2016EDP7414

    • NAID

      130005529869

    • ISSN
      0916-8532, 1745-1361
    • 関連する報告書
      2017 実績報告書 2016 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] サイバースペースとセキュリティー 第5回 情報社会と人間2017

    • 著者名/発表者名
      坂井 修一
    • 雑誌名

      情報管理

      巻: 59 号: 11 ページ: 768-771

    • DOI

      10.1241/johokanri.59.768

    • NAID

      130005304267

    • ISSN
      0021-7298, 1347-1597
    • 関連する報告書
      2016 実績報告書
    • オープンアクセス
  • [雑誌論文] An Inductive Method to Select Simulation Points2016

    • 著者名/発表者名
      MinSeong Choi, Masahiro Goshima and Shuichi Sakai
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E99.D 号: 12 ページ: 2891-2900

    • DOI

      10.1587/transinf.2016PAP0030

    • NAID

      130005170990

    • ISSN
      0916-8532, 1745-1361
    • 関連する報告書
      2016 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Address Order Violation Detection with Parallel Counting Bloom Filters2015

    • 著者名/発表者名
      Naruki KURATA, Ryota SHIOYA, Masahiro GOSHIMA, Shuichi SAKAI
    • 雑誌名

      IEICE Transactions on Electronics

      巻: E98.C No.7 ページ: 580-593

    • NAID

      130005086133

    • 関連する報告書
      2015 実績報告書
    • 査読あり
  • [学会発表] セキュアプロセッサ利用環境におけるDMAの実現手法2017

    • 著者名/発表者名
      鈴木璃人・梶原拓也・宮永瑞紀・入江英嗣・坂井修一
    • 学会等名
      電子情報通信学会 コンピュータシステム研究会
    • 発表場所
      具志川農村環境改善センター、沖縄県島尻郡久米島町
    • 年月日
      2017-03-09
    • 関連する報告書
      2016 実績報告書
  • [学会発表] 侵入検出手法SWIFTによるゼロデイアタック検出2017

    • 著者名/発表者名
      島田伸夫・谷合廣紀・宮永瑞紀・入江英嗣・坂井修一
    • 学会等名
      電子情報通信学会 コンピュータシステム研究会
    • 発表場所
      具志川農村環境改善センター、沖縄県島尻郡久米島町
    • 年月日
      2017-03-09
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Accelerating Integrity Verification on Secure Processors by Promissory Hash2017

    • 著者名/発表者名
      Mizuki Miyanaga, Hidetsugu Irie, Shuichi Sakai
    • 学会等名
      2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)
    • 発表場所
      Rydges Latimer Christchurch, Christchurch, New Zealand
    • 年月日
      2017-01-22
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] プリフェッチラインの再参照間隔を予測するキャッシュマネジメント2017

    • 著者名/発表者名
      甲地弘幸,入江英嗣,坂井修一
    • 学会等名
      情報処理学会 システムアーキテクチャ研究会
    • 関連する報告書
      2017 実績報告書
  • [学会発表] セキュアプロセッサにおける楕円曲線暗号の評価2017

    • 著者名/発表者名
      谷合廣紀, 宮永 瑞紀, 入江 英嗣, 坂井 修一
    • 学会等名
      情報処理学会、電子情報通信学会 情報科学技術フォーラム
    • 関連する報告書
      2017 実績報告書
  • [学会発表] コンピュータを作る,使う2017

    • 著者名/発表者名
      入江 英嗣
    • 学会等名
      情報処理学会、電子情報通信学会 情報科学技術フォーラム
    • 関連する報告書
      2017 実績報告書
  • [学会発表] 未来のコンピュータ,未来のコンピューティング2017

    • 著者名/発表者名
      坂井修一、入江英嗣
    • 学会等名
      情報処理学会、電子情報通信学会 情報科学技術フォーラム
    • 関連する報告書
      2017 実績報告書
  • [学会発表] セキュアプロセッサを用いたマルチプロセッサシステムの設計2016

    • 著者名/発表者名
      梶原拓哉, 宮永瑞紀, 入江英嗣, 坂井修一
    • 学会等名
      電子情報通信学会 コンピュータシステム研究会
    • 発表場所
      幕張メッセ、千葉県幕張市
    • 年月日
      2016-10-04
    • 関連する報告書
      2016 実績報告書
  • [学会発表] クラウド フォレンジックに向けたVMセキュアプロセッサの設計と実装2016

    • 著者名/発表者名
      千田 拓矢, 谷合 廣紀, 宮永 瑞紀, 入江 英嗣, 坂井 修一
    • 学会等名
      電子情報通信学会
    • 発表場所
      福江文化会館(長崎県五島市)
    • 年月日
      2016-03-24
    • 関連する報告書
      2015 実績報告書
  • [学会発表] 動的タイム・ボローイングのための二相化アルゴリズムの改良と評価2016

    • 著者名/発表者名
      津坂 章仁, 谷川 祐一, 広畑 壮一郎, 五島 正裕, 入江 英嗣, 坂井 修一
    • 学会等名
      電子情報通信学会
    • 発表場所
      福江文化会館(長崎県五島市)
    • 年月日
      2016-03-24
    • 関連する報告書
      2015 実績報告書
  • [学会発表] フィルタを用いたメモリ・アクセス順序違反検出手法の評価2016

    • 著者名/発表者名
      西川 卓, 塩谷 亮太, 入江 英嗣, 五島 正裕, 坂井 修一
    • 学会等名
      情報処理学会
    • 発表場所
      福江文化会館(長崎県五島市)
    • 年月日
      2016-03-24
    • 関連する報告書
      2015 実績報告書
  • [学会発表] Androidにおけるプロセスベースのテイント伝搬を用いた個人情報の漏洩を検知するシステム2016

    • 著者名/発表者名
      今田 丈雅, 宮永 瑞紀, 入江 英嗣, 坂井 修一
    • 学会等名
      電子情報通信学会
    • 発表場所
      九州大学(福岡県福岡市)
    • 年月日
      2016-03-15
    • 関連する報告書
      2015 実績報告書
  • [学会発表] Bloom-like SVWの評価2015

    • 著者名/発表者名
      西川 卓, 塩谷 亮太, 入江 英嗣, 五島 正裕, 坂井 修一
    • 学会等名
      情報処理学会
    • 発表場所
      幕張メッセ(千葉県千葉市)
    • 年月日
      2015-10-08
    • 関連する報告書
      2015 実績報告書
  • [学会発表] メモリ・アクセス順序違反検出手法の評価2015

    • 著者名/発表者名
      西川 卓, 塩谷 亮太, 入江 英嗣, 五島 正裕, 坂井 修一
    • 学会等名
      電子情報通信学会
    • 発表場所
      別府国際コンベンションセンター(大分県別府市)
    • 年月日
      2015-08-04
    • 関連する報告書
      2015 実績報告書
  • [学会発表] 回路素子の静的解析を用いた二相化アルゴリズムの改良2015

    • 著者名/発表者名
      酒井一憲,津坂文章仁,神保 潮,五島正弘裕,坂井修一
    • 学会等名
      情報処理学会第77回全国大会論文集,pp. 1-77 - 1-78.
    • 発表場所
      京都府京都市 京都大学
    • 年月日
      2015-03-18
    • 関連する報告書
      2014 実績報告書
  • [学会発表] タイミング・フォールト検出手法のRAMへの適用2015

    • 著者名/発表者名
      神保 潮, 五島 正裕, 坂井 修一
    • 学会等名
      情報処理学会研究報告.計算機アーキテクチャ研究会報告, No.8, pp.1-8.
    • 発表場所
      神奈川県横浜市、慶応大学
    • 年月日
      2015-01-22
    • 関連する報告書
      2014 実績報告書
  • [学会発表] 動的タイム・ボローイングを可能にするクロッキング方式のための二相ラッチ生成アルゴリズム2014

    • 著者名/発表者名
      津坂 章仁, 谷川 祐一, 広畑 壮一郎, 五島 正裕, 坂井 修一
    • 学会等名
      情報処理学会研究報告 2014–ARC–211 , No. 9, pp. 1—10.
    • 発表場所
      新潟県新潟市、朱鷺メッセ新潟コンベンションセンター
    • 年月日
      2014-07-21
    • 関連する報告書
      2014 実績報告書
  • [学会発表] ダイナミック・ロジックへのタイミング・フォールト検出手法の適用2014

    • 著者名/発表者名
      神保 潮, 山田 淳二, 五島 正裕, 坂井 修一
    • 学会等名
      情報処理学会研究報告 2014–ARC–210No. 18, pp. 1—8).
    • 発表場所
      沖縄県恩納村、ルネッサンス リゾート オキナワ
    • 年月日
      2014-05-07
    • 関連する報告書
      2014 実績報告書
  • [備考] 坂井・入江研究室研究内容

    • URL

      http://www.mtl.t.u-tokyo.ac.jp/researches/

    • 関連する報告書
      2017 実績報告書
  • [備考] 坂井・入江研究室 研究内容

    • URL

      http://www.mtl.t.u-tokyo.ac.jp/researches/

    • 関連する報告書
      2016 実績報告書

URL: 

公開日: 2014-04-04   更新日: 2019-03-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi