• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Research on Resilience-Oriented Computer Systems

Research Project

Project/Area Number 26280012
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypePartial Multi-year Fund
Section一般
Research Field Computer system
Research InstitutionThe University of Tokyo

Principal Investigator

Sakai Shuichi  東京大学, 大学院情報理工学系研究科, 教授 (50291290)

Co-Investigator(Kenkyū-buntansha) 入江 英嗣  東京大学, 情報理工学(系)研究科, 准教授 (50422407)
五島 正裕  国立情報学研究所, アーキテクチャ科学研究系, 教授 (90283639)
Project Period (FY) 2014-04-01 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥17,160,000 (Direct Cost: ¥13,200,000、Indirect Cost: ¥3,960,000)
Fiscal Year 2016: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2015: ¥6,890,000 (Direct Cost: ¥5,300,000、Indirect Cost: ¥1,590,000)
Fiscal Year 2014: ¥6,890,000 (Direct Cost: ¥5,300,000、Indirect Cost: ¥1,590,000)
Keywordsレジリエンス / 信頼性 / 安全性 / タイムボロー / ストリーム指向制御 / 異常予知 / アーキテクチャ / 可用性 / ストリーム指向防御 / コンピュータシステム / 安全生 / 故障回復 / 再構成
Outline of Final Research Achievements

Our information society is developing so rapidly that it is a pressing issue to keep the reliability and safety of IT systems at a much higher level than before. In this research, we have developed innovative technologies to minimize the damage and keep the correct operation or to restore functions with minimal overhead even if there is a breakdown or intrusion in the IT system. Specifically, we proposed and verified new element technologies such as delay concealment by time borrow, fine-grained partial reconstruction on demand, stream-oriented protection against attacks, real-time abnormality prediction, and integrated them to realize a resilience-oriented computer which efficiently operates all the functions. In addition, we have developed a testbed to prove its effectiveness.

Report

(5 results)
  • 2017 Annual Research Report   Final Research Report ( PDF )
  • 2016 Annual Research Report
  • 2015 Annual Research Report
  • 2014 Annual Research Report
  • Research Products

    (24 results)

All 2017 2016 2015 2014 Other

All Journal Article (4 results) (of which Peer Reviewed: 3 results,  Open Access: 3 results) Presentation (18 results) (of which Int'l Joint Research: 1 results) Remarks (2 results)

  • [Journal Article] Skewed Multistaged Multibanked Register File for Area and Energy Efficiency2017

    • Author(s)
      Junji YAMADA, Ushio JIMBO, Ryota SHIOYA, Masahiro GOSHIMA, and Shuichi SAKAI
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E100.D Issue: 4 Pages: 822-837

    • DOI

      10.1587/transinf.2016EDP7414

    • NAID

      130005529869

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2017 Annual Research Report 2016 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Cyberspace and security (5): Information society and humanity2017

    • Author(s)
      坂井 修一
    • Journal Title

      Journal of Information Processing and Management

      Volume: 59 Issue: 11 Pages: 768-771

    • DOI

      10.1241/johokanri.59.768

    • NAID

      130005304267

    • ISSN
      0021-7298, 1347-1597
    • Related Report
      2016 Annual Research Report
    • Open Access
  • [Journal Article] An Inductive Method to Select Simulation Points2016

    • Author(s)
      MinSeong Choi, Masahiro Goshima and Shuichi Sakai
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E99.D Issue: 12 Pages: 2891-2900

    • DOI

      10.1587/transinf.2016PAP0030

    • NAID

      130005170990

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Address Order Violation Detection with Parallel Counting Bloom Filters2015

    • Author(s)
      Naruki KURATA, Ryota SHIOYA, Masahiro GOSHIMA, Shuichi SAKAI
    • Journal Title

      IEICE Transactions on Electronics

      Volume: E98.C No.7 Pages: 580-593

    • NAID

      130005086133

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Presentation] セキュアプロセッサ利用環境におけるDMAの実現手法2017

    • Author(s)
      鈴木璃人・梶原拓也・宮永瑞紀・入江英嗣・坂井修一
    • Organizer
      電子情報通信学会 コンピュータシステム研究会
    • Place of Presentation
      具志川農村環境改善センター、沖縄県島尻郡久米島町
    • Year and Date
      2017-03-09
    • Related Report
      2016 Annual Research Report
  • [Presentation] 侵入検出手法SWIFTによるゼロデイアタック検出2017

    • Author(s)
      島田伸夫・谷合廣紀・宮永瑞紀・入江英嗣・坂井修一
    • Organizer
      電子情報通信学会 コンピュータシステム研究会
    • Place of Presentation
      具志川農村環境改善センター、沖縄県島尻郡久米島町
    • Year and Date
      2017-03-09
    • Related Report
      2016 Annual Research Report
  • [Presentation] Accelerating Integrity Verification on Secure Processors by Promissory Hash2017

    • Author(s)
      Mizuki Miyanaga, Hidetsugu Irie, Shuichi Sakai
    • Organizer
      2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)
    • Place of Presentation
      Rydges Latimer Christchurch, Christchurch, New Zealand
    • Year and Date
      2017-01-22
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] プリフェッチラインの再参照間隔を予測するキャッシュマネジメント2017

    • Author(s)
      甲地弘幸,入江英嗣,坂井修一
    • Organizer
      情報処理学会 システムアーキテクチャ研究会
    • Related Report
      2017 Annual Research Report
  • [Presentation] セキュアプロセッサにおける楕円曲線暗号の評価2017

    • Author(s)
      谷合廣紀, 宮永 瑞紀, 入江 英嗣, 坂井 修一
    • Organizer
      情報処理学会、電子情報通信学会 情報科学技術フォーラム
    • Related Report
      2017 Annual Research Report
  • [Presentation] コンピュータを作る,使う2017

    • Author(s)
      入江 英嗣
    • Organizer
      情報処理学会、電子情報通信学会 情報科学技術フォーラム
    • Related Report
      2017 Annual Research Report
  • [Presentation] 未来のコンピュータ,未来のコンピューティング2017

    • Author(s)
      坂井修一、入江英嗣
    • Organizer
      情報処理学会、電子情報通信学会 情報科学技術フォーラム
    • Related Report
      2017 Annual Research Report
  • [Presentation] セキュアプロセッサを用いたマルチプロセッサシステムの設計2016

    • Author(s)
      梶原拓哉, 宮永瑞紀, 入江英嗣, 坂井修一
    • Organizer
      電子情報通信学会 コンピュータシステム研究会
    • Place of Presentation
      幕張メッセ、千葉県幕張市
    • Year and Date
      2016-10-04
    • Related Report
      2016 Annual Research Report
  • [Presentation] クラウド フォレンジックに向けたVMセキュアプロセッサの設計と実装2016

    • Author(s)
      千田 拓矢, 谷合 廣紀, 宮永 瑞紀, 入江 英嗣, 坂井 修一
    • Organizer
      電子情報通信学会
    • Place of Presentation
      福江文化会館(長崎県五島市)
    • Year and Date
      2016-03-24
    • Related Report
      2015 Annual Research Report
  • [Presentation] 動的タイム・ボローイングのための二相化アルゴリズムの改良と評価2016

    • Author(s)
      津坂 章仁, 谷川 祐一, 広畑 壮一郎, 五島 正裕, 入江 英嗣, 坂井 修一
    • Organizer
      電子情報通信学会
    • Place of Presentation
      福江文化会館(長崎県五島市)
    • Year and Date
      2016-03-24
    • Related Report
      2015 Annual Research Report
  • [Presentation] フィルタを用いたメモリ・アクセス順序違反検出手法の評価2016

    • Author(s)
      西川 卓, 塩谷 亮太, 入江 英嗣, 五島 正裕, 坂井 修一
    • Organizer
      情報処理学会
    • Place of Presentation
      福江文化会館(長崎県五島市)
    • Year and Date
      2016-03-24
    • Related Report
      2015 Annual Research Report
  • [Presentation] Androidにおけるプロセスベースのテイント伝搬を用いた個人情報の漏洩を検知するシステム2016

    • Author(s)
      今田 丈雅, 宮永 瑞紀, 入江 英嗣, 坂井 修一
    • Organizer
      電子情報通信学会
    • Place of Presentation
      九州大学(福岡県福岡市)
    • Year and Date
      2016-03-15
    • Related Report
      2015 Annual Research Report
  • [Presentation] Bloom-like SVWの評価2015

    • Author(s)
      西川 卓, 塩谷 亮太, 入江 英嗣, 五島 正裕, 坂井 修一
    • Organizer
      情報処理学会
    • Place of Presentation
      幕張メッセ(千葉県千葉市)
    • Year and Date
      2015-10-08
    • Related Report
      2015 Annual Research Report
  • [Presentation] メモリ・アクセス順序違反検出手法の評価2015

    • Author(s)
      西川 卓, 塩谷 亮太, 入江 英嗣, 五島 正裕, 坂井 修一
    • Organizer
      電子情報通信学会
    • Place of Presentation
      別府国際コンベンションセンター(大分県別府市)
    • Year and Date
      2015-08-04
    • Related Report
      2015 Annual Research Report
  • [Presentation] 回路素子の静的解析を用いた二相化アルゴリズムの改良2015

    • Author(s)
      酒井一憲,津坂文章仁,神保 潮,五島正弘裕,坂井修一
    • Organizer
      情報処理学会第77回全国大会論文集,pp. 1-77 - 1-78.
    • Place of Presentation
      京都府京都市 京都大学
    • Year and Date
      2015-03-18
    • Related Report
      2014 Annual Research Report
  • [Presentation] タイミング・フォールト検出手法のRAMへの適用2015

    • Author(s)
      神保 潮, 五島 正裕, 坂井 修一
    • Organizer
      情報処理学会研究報告.計算機アーキテクチャ研究会報告, No.8, pp.1-8.
    • Place of Presentation
      神奈川県横浜市、慶応大学
    • Year and Date
      2015-01-22
    • Related Report
      2014 Annual Research Report
  • [Presentation] 動的タイム・ボローイングを可能にするクロッキング方式のための二相ラッチ生成アルゴリズム2014

    • Author(s)
      津坂 章仁, 谷川 祐一, 広畑 壮一郎, 五島 正裕, 坂井 修一
    • Organizer
      情報処理学会研究報告 2014–ARC–211 , No. 9, pp. 1—10.
    • Place of Presentation
      新潟県新潟市、朱鷺メッセ新潟コンベンションセンター
    • Year and Date
      2014-07-21
    • Related Report
      2014 Annual Research Report
  • [Presentation] ダイナミック・ロジックへのタイミング・フォールト検出手法の適用2014

    • Author(s)
      神保 潮, 山田 淳二, 五島 正裕, 坂井 修一
    • Organizer
      情報処理学会研究報告 2014–ARC–210No. 18, pp. 1—8).
    • Place of Presentation
      沖縄県恩納村、ルネッサンス リゾート オキナワ
    • Year and Date
      2014-05-07
    • Related Report
      2014 Annual Research Report
  • [Remarks] 坂井・入江研究室研究内容

    • URL

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

    • Related Report
      2017 Annual Research Report
  • [Remarks] 坂井・入江研究室 研究内容

    • URL

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

    • Related Report
      2016 Annual Research Report

URL: 

Published: 2014-04-04   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi