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

2007 Fiscal Year Annual Research Report

価値と信用を搭載するディペンダブルなLSIの設計手法の研究

Research Project

Project/Area Number 19200004
Research InstitutionKyushu University

Principal Investigator

安浦 寛人  Kyushu University, システムLSI研究センター, 教授 (80135540)

Co-Investigator(Kenkyū-buntansha) 佐藤 寿倫  九州大学, システムLSI研究センター, 教授 (00322298)
松永 裕介  九州大学, システム情報科学研究院, 准教授 (00336059)
井上 創造  九州大学, 附属図書館, 准教授 (90346825)
池田 大輔  九州大学, システム情報科学研究院, 准教授 (00294992)
馬場 謙介  九州大学, システム情報科学研究院, 助教 (70380681)
Keywordsディペンダブル / LSI設計フロー / ICカード / 人為的な誤り / 悪意ある攻撃
Research Abstract

ディペンダビリティを阻害する要因について、産業界および学会の関係者と種々の議論を行った。雑音や経年変化、製造揺らぎによる自然現象からの脅威、設計・製造・検査・運用の各ステージにおける人為的な誤り、悪意ある攻撃による脅威などの要因の分類と対策および問題点などを整理した。特に、ソフトエラーに関して、メモリや論理回路に関する現状と研究動向の調査を重点的に行った。タイミングエラーについてもカナリアFFを用いたディペンダビリティの向上策を考案し、その評価を行った。また、テスト容易化設計のために導入されるスキャンパス設計を対象として、スキャンパスを利用した暗号などの鍵に対する攻撃可能性の解析とそれに対する対策の検討を行った。具体的には、DES暗号に関する複号化回路のテスト容易性とセキュリティの強度のトレードオフについて検討し、新しい知見を得た。
「価値」や「信用」を搭載するLSIに対する阻害要因を明確にするために、電子マネーと認証機構について議論した。「価値」や「信用」を取り扱う情報システムの理論的なモデルを構築し、その中におけるLSIの役割を考える過程から、LSI設計法に求められる要求を明確にした。また、九州大学全学共通ICカード導入推進プロジェクトにおいて、独自に考案した独自のID体系であるMIIDによるシステムを商用のICカードや携帯電話に搭載して、建物の入退館、図書館の利用、電子マネーサービスに試験的に利用し、実用レベルにおいても問題点の解明と改良を行った。MIIDは、従来の認証を中心にした仕組みから、より一般的な権利権限管理の仕組みへと拡張し、「価値」や「信用」を一元的に扱えるシステムへと展開させた。

  • Research Products

    (68 results)

All 2008 2007

All Journal Article (67 results) (of which Peer Reviewed: 29 results) Book (1 results)

  • [Journal Article] A Parallel Computation for Shift-Add Algorithm2008

    • Author(s)
      Kensuke Baba, Hanmei E, and Yunqing Yu
    • Journal Title

      DOI Technical Report 230(in press)

  • [Journal Article] SNS(Social Networking Service)における信頼と図書館における応用2008

    • Author(s)
      井上 創造, 堀 優子, 池田 大輔
    • Journal Title

      ディジタル図書館ワークショップ (in press)

  • [Journal Article] ディペンダビリティに配慮する可変レイテンシ演算器のためのスケジューリング方式2008

    • Author(s)
      佐藤 寿倫, 渡辺 慎吾
    • Journal Title

      情報処理学会研究報告 2008-ARC-176 2008(1)

      Pages: 47-52

  • [Journal Article] Folding Active List for High Performance and Low Power2008

    • Author(s)
      Yuichiro Imaizumi and Toshinori Sato
    • Journal Title

      High-Performance Computing, 4759

      Pages: 33-42

    • Peer Reviewed
  • [Journal Article] Dependability, power, and Performance Trade-Off on a Multicore Processor2008

    • Author(s)
      Toshinori Sato and Toshimasa Funaki
    • Journal Title

      13th Asia and South Pacific Design Automation Conference

      Pages: 714-719

    • Peer Reviewed
  • [Journal Article] Typical-case Design Methodology:Concept, Challenge, and Case Study2008

    • Author(s)
      Yuji Kunitake
    • Journal Title

      Student Forum at 13th Asia and South Pacific Design Automation Conference (in press)

    • Peer Reviewed
  • [Journal Article] A Multi-Application Smart Card System with Authentic Post-Issuance Program Modification2008

    • Author(s)
      Mohammad Mesbah Uddin, Yasunobu Nohara, Daisuke Ikeda, and Hiroto Yasuura
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A(1)

      Pages: 229-235

    • Peer Reviewed
  • [Journal Article] A Framework for Evaluating Privacy Protection of Authentication Systems2008

    • Author(s)
      Toru Nakamura, Shunsuke Inenaga, Daisuke Ikeda, Kensuke Baba, and Hiroto Yasuura
    • Journal Title

      The Abstracts of the 2008 Symposium on Cryptography and Information Security(SCIS 2008)

      Pages: 236-241

  • [Journal Article] An Efficient Performance Improvement Method Utilizing Specialized Functional Units in Behavioral Synthesis2008

    • Author(s)
      Tsuyoshi Sadakata and Yusuke Matsunaga
    • Journal Title

      Proceedings of 13th Asia and South Pacific Design Automation Conference(ASP-DAC 2008)

      Pages: 32-35

    • Peer Reviewed
  • [Journal Article] Trustworthy SNS for Institutional Repositories2008

    • Author(s)
      井上 創造, 堀 優子, 池田 大輔
    • Journal Title

      デジタルリポジトリ連合国際会議 (in press)

  • [Journal Article] Nハミング距離テストパターン圧縮に基づくテストパターン数削減指向テスト.ポイント挿入法2008

    • Author(s)
      齊藤 善洋, 湯本 仁高, 細川 利典, 吉村 正義
    • Journal Title

      第58回FTC研究会 (in press)

  • [Journal Article] マルチサイクルキャプチャテストを用いたフルスキャン設計回路のテスト生成2008

    • Author(s)
      大森 悠翔, 小河 宏志, 細川 利典, 吉村 正義, 山崎 浩二
    • Journal Title

      第58回FTC研究会 (in press)

  • [Journal Article] スキャンパス攻撃を考慮した 暗号LSIのテスタビリティ評価2008

    • Author(s)
      伊藤 侑磨, 吉村 正義, 安浦 寛人
    • Journal Title

      電子情報通信学会技術研究報告DC2007-76 107(482)

      Pages: 57-62

  • [Journal Article] マルチサイクルキャプチャテストを用いたフルスキャン設計回路の縮退故障テスト生成2008

    • Author(s)
      大森 悠翔, 小河 宏志, 細川 利典, 吉村 正義, 山崎 浩二
    • Journal Title

      電子情報通信学会技術研究報告 DC2007-71 107(482)

      Pages: 19-24

  • [Journal Article] 信頼性と性能のトレードオフ評価指標の提案とそのマルチコアプロセッサへの適用2008

    • Author(s)
      舟木 敏正, 佐藤 寿倫
    • Journal Title

      情報処理学会研究報告 2008-ARC-177

      Pages: 49-54

  • [Journal Article] 性能歩留まり改善を目的とする演算器カスケーディングの提案2008

    • Author(s)
      渡辺 慎吾, 橋本 昌宜, 佐藤 寿倫
    • Journal Title

      情報処理学会研究報告2008-ARC-177

      Pages: 43-48

  • [Journal Article] A Secure High-Speed Identification Scheme for RFID Using Bloom Filters2008

    • Author(s)
      Yasunobu Nohara, Sozo Inoue, and Hiroto Yasuura
    • Journal Title

      Proc.of 3rd International Conference on Availability, Security and Reliability (ARES2008)

      Pages: 717-722

    • Peer Reviewed
  • [Journal Article] Instruction Scheduling for Variation-originated Variable Latencies2008

    • Author(s)
      Toshinori Sato and Shingo Watanabe
    • Journal Title

      9th International Symposium on Quality Electronic Design

      Pages: 361-364

    • Peer Reviewed
  • [Journal Article] A Simultaneous Module Selection, Scheduling, and Allocation Method Considering Operation Chaining with Multi-Functional Units2007

    • Author(s)
      Tsuyoshi Sadakata and Yusuke Matsunaga
    • Journal Title

      IEICE Transactions on Fundamentals E90-A(4)

      Pages: 792-799

    • Peer Reviewed
  • [Journal Article] 専用演算器と演算のチェイニングのトレードオフを考慮した動作合成手法2007

    • Author(s)
      貞方 毅, 松永 裕介
    • Journal Title

      第20回回路とシステム軽井沢ワークショップ

      Pages: 655-660

    • Peer Reviewed
  • [Journal Article] Parallel Prefix Adder合成を用いた乗算器の最適化手法について2007

    • Author(s)
      松永 多苗子, 松永 裕介
    • Journal Title

      第20回回路とシステム軽井沢ワークショップ

      Pages: 349-354

    • Peer Reviewed
  • [Journal Article] データの重要度を利用したキャッシュメモリの省電力化2007

    • Author(s)
      千代延 昭宏, 藤井 誠一郎, 佐藤 寿倫
    • Journal Title

      情報処理学会論文誌:コンピューティングシステム 48

      Pages: 114-126

    • Peer Reviewed
  • [Journal Article] カナリア・フリップフロップを利用する省電力マイクロプロセッサの評価2007

    • Author(s)
      佐藤 寿倫
    • Journal Title

      先進的計算基盤システムシンポジウム(SACSIS)

      Pages: 227-234

    • Peer Reviewed
  • [Journal Article] マルチコアプロセッサ向けオンチップキャッシュにおける配線遅延の影響2007

    • Author(s)
      伊藤 義崇, 千代延 昭宏, 佐藤 寿倫
    • Journal Title

      先進的計算基盤システムシンポジウム(SACSIS)

      Pages: 152-153

    • Peer Reviewed
  • [Journal Article]2007

    • Author(s)
      佐藤 寿倫, 国武 勇次
    • Journal Title

      情報処理学会研究報告2007-ARC-173 55

      Pages: 43-48

  • [Journal Article] 社会システムを支えるディペンダブルコンピューティング2007

    • Author(s)
      安浦 寛人
    • Journal Title

      電子情報通信学会誌 90(5)

      Pages: 399-405

    • Peer Reviewed
  • [Journal Article] 消費電力を考慮したprefix graph合成手法について2007

    • Author(s)
      松永 多苗子, 松永 裕介
    • Journal Title

      情報処理学会研究報告2007-SLDM-130

      Pages: 63-68

  • [Journal Article] DAGカバリング問題の下限とそれを用いた厳密アルゴリズムについて2007

    • Author(s)
      松永 裕介
    • Journal Title

      情報処理学会研究報告2007-SLDM-130

      Pages: 39-44

  • [Journal Article] Timing-constrained Area Minimization Algorithm for Parallel Prefix Adders2007

    • Author(s)
      Taeko Matsunaga and Yusuke Matsunaga
    • Journal Title

      International Workshop on Logic and Synthesis(IWLS)

      Pages: 150-157

    • Peer Reviewed
  • [Journal Article] 非接触ICカード技術の概要と展望2007

    • Author(s)
      井上 創造, 安浦 寛人
    • Journal Title

      情報処理 48(6)

      Pages: 551-555

  • [Journal Article] 全学共通ICカードの学内実証実験報告とその基盤技術について2007

    • Author(s)
      池田 大輔, 安浦 寛人
    • Journal Title

      九州大学情報統括本部ITマガジン 1(1)

      Pages: 13-21

  • [Journal Article] Realizing Energy-Efficient MultiCore Processors by Utilizing Speculative Thread-Level Parallelism2007

    • Author(s)
      Toshinori Sato, Yuu Tanaka, Hidenori Sato, Toshimasa Funaki, Takenori Koshiro, and Akihiro Chiyonobu
    • Journal Title

      International Journal of Computers and their Applications 14(2)

      Pages: 79-91

    • Peer Reviewed
  • [Journal Article] 各種システムLSIと先導的アプリケーション2007

    • Author(s)
      安浦 寛人
    • Journal Title

      映像情報メディア学会誌 61(7)

      Pages: 918-921

  • [Journal Article] 権利管理システムへの権利貸与機能の適用について2007

    • Author(s)
      山崎 知美, 井上 創造, 中村 徹, 野原 康伸, 安浦 寛人
    • Journal Title

      マルチメディア,分散,協調とモバイル(DICOMO2007)シンポジウム

      Pages: 251-257

    • Peer Reviewed
  • [Journal Article] タイミング制約違反を利用する設計手法とコ・シミュレーション環境による評価2007

    • Author(s)
      国武 勇次, 千代延 昭宏, 田中 康一良, 佐藤 寿倫
    • Journal Title

      電子情報通信学会技術研究報告 DC2007-11 107(174)

      Pages: 31-36

  • [Journal Article] スクラッチパッドメモリを考慮したコード配置最適化による組込みシステムの低消費エネルギ-化2007

    • Author(s)
      石飛 百合子, 石原 亨, 安浦 寛人
    • Journal Title

      情報処理学会DAシンポジウム

      Pages: 85-90

  • [Journal Article] 非順序式バックトラック手法を用いたテストパタン生成における矛盾の解析2007

    • Author(s)
      吉村 正義, 松永 裕介
    • Journal Title

      DAシンポジウム2007 2007(7)

      Pages: 211-214

  • [Journal Article] Exploiting Input Variations for Energy Reduction2007

    • Author(s)
      Toshinori Sato and Yuji Kunitake
    • Journal Title

      17th International Workshop on Power and Timing Modeling, Optimization and Simulation

      Pages: 384-393

    • Peer Reviewed
  • [Journal Article] 命令カスケーディングを利用する耐ばらつきアーキテクチャにおける命令の重要度2007

    • Author(s)
      渡辺 慎吾, 佐藤 寿倫
    • Journal Title

      情報処理学会九州支部若手の会セミナー講演論文集

      Pages: 21-26

  • [Journal Article] マルチ・クラスタ型コア・プロセッサにおける信頼性と性能のトレードオフ2007

    • Author(s)
      舟木 敏正, 佐藤 寿倫
    • Journal Title

      情報処理学会九州支部若手の会セミナー講演論文集

      Pages: 15-20

  • [Journal Article] A Door Access Control System with Mobile Phones2007

    • Author(s)
      Tomomi Yamasaki, Toru Nakamura, Kensuke Baba, and HirotoYasuura
    • Journal Title

      Personal Wireless Communications, IFIP International Federation for Information Processing 245

      Pages: 230-240

    • Peer Reviewed
  • [Journal Article] 製造後に性能補償可能なオンチップバスアーキテクチャ2007

    • Author(s)
      山口 聖貴, 室山 真徳, 石原 亨, 安浦 寛人
    • Journal Title

      2007年電気関係学会九州支部連合大会 09-1P-03

      Pages: 208

  • [Journal Article] 組込みシステムの低消費エネルギー化を目的としたコード配置最通化とそのILPモデルの提案2007

    • Author(s)
      石飛 百合子, 石原 亨, 安浦 寛人
    • Journal Title

      2007年電気関係学会九州支部連合大会

      Pages: 206

  • [Journal Article] 小容量オンチップメモリの有効利用による組込みシステムの低消費エネルギー化2007

    • Author(s)
      山口 誠一朗, 室山 真徳, 石原 亨, 安浦 寛人
    • Journal Title

      平成19年度電気関係学会九州支部連合大会講演論文集

      Pages: 207

  • [Journal Article] 九州大学の全学共通ICカード導入プロジェクト2007

    • Author(s)
      安浦 寛人, 池田 大輔
    • Journal Title

      大学と学生 45

      Pages: 24-30

  • [Journal Article] Architecture Challenge on SoC Design with Unreliable Transistors2007

    • Author(s)
      Toshinori Sato
    • Journal Title

      International SoC Design Conference

      Pages: 25-30

  • [Journal Article] Critical lssues Regarding A Variation Resilient Flip-Flop2007

    • Author(s)
      Toshinori Sato and Yuji Kunitake
    • Journal Title

      14th Workshop on Synthesis and System Integration of Mixed Information Technologies

      Pages: 280-286

    • Peer Reviewed
  • [Journal Article] Indirect Tag Search Mechanism for Instruction Window Energy Reduction2007

    • Author(s)
      Shingo Watanabe, Akihiro Chiyonobu, and Toshinori Sato
    • Journal Title

      7th International Conference on Computer and Information Technology

      Pages: 841-846

    • Peer Reviewed
  • [Journal Article]2007

    • Author(s)
      Hiroto Yasuura
    • Journal Title

      International SoC Design Conference

      Pages: 72-76

  • [Journal Article] 性能・消費電力・信頼性の間のトレードオフを考慮出来るマルチ・クラスタ型コア・プロセッサ2007

    • Author(s)
      佐藤 寿倫, 舟木 敏正
    • Journal Title

      電子情報通信学会技術研究報告CPSY2007-31 107(276)

      Pages: 39-44

  • [Journal Article] Code palcement for Reducing the Energy Consumption of Embedded Processors with Scratchpad and Cache Memories2007

    • Author(s)
      Yuriko Ishitobi, Tohru Ishihara, and Hiroto Yasuura
    • Journal Title

      Proc.of 2007 1EEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia

      Pages: 13-18

    • Peer Reviewed
  • [Journal Article]2007

    • Author(s)
      Toshimasa Funaki and Toshinori Sato
    • Journal Title

      4th International Workshop on Dependable Embedded Systems

      Pages: 1-5

    • Peer Reviewed
  • [Journal Article] A Hybrid Memory Architecture for Low Power Embedded System Design2007

    • Author(s)
      Tadayuki Matsumura, YrikoIshitobi, Tohru Ishihara, Maziar Goudarzi, and Hiroto Yasuura
    • Journal Title

      Proceedings of the Workshop on Synthesis And System Integration of Mixed Information Technologies

      Pages: 56-62

    • Peer Reviewed
  • [Journal Article] コード配置変更によるハイブリッドローカルメモリの消費エネルギー最小化2007

    • Author(s)
      松村 忠幸, 石飛 百合子, 石原 亨, 安浦 寛人
    • Journal Title

      情報塑理学会研究報告2007-SLDM-131

      Pages: 25-30

  • [Journal Article] ブルームフィルタを用いた高速RFID識別方式2007

    • Author(s)
      野原 康伸, 井上 創造, 安浦 寛人
    • Journal Title

      コンピュータセキュリティシンポジウム2007(CSS2007)予稿集 2007(10)

      Pages: 301-306

  • [Journal Article] プライバシ保護技術の評価のための権限認証モデル2007

    • Author(s)
      中村 徹, 稲永 俊介, 馬場 謙介, 池田 大輔, 安浦 寛人
    • Journal Title

      コンピュータセキュリティシンポジウム2007(CSS2007) 2007(10)

      Pages: 405-410

  • [Journal Article] Performance Improvement Methods Utilizing Complex Functional Units in Behavioral Synthesis2007

    • Author(s)
      Tsuyoshi Sadakata and Yusuke Matsunaga
    • Journal Title

      Proceedings of 2007 1FIP International Conference on Very Large Scale Integration(VLSI-SoC 2007)

      Pages: 6-7

    • Peer Reviewed
  • [Journal Article] Power-Conscious Synthesis of Parallel Prefix Adders under Bitwise Timing Constraints2007

    • Author(s)
      Taeko Matsunaga, Shinji Kimura, and Yusuke Matsunaga
    • Journal Title

      The 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI)

      Pages: 7-14

    • Peer Reviewed
  • [Journal Article] マルチタスク組込みアプリケーションの低消費エネルギー化のためのメモリ管理技術2007

    • Author(s)
      山口 誠一朗, 室山 真徳, 石原 亨, 安浦 寛人
    • Journal Title

      電子情報通信学会技術研究報告 107(334)

      Pages: 25-29

  • [Journal Article] 組込みプロセッサのエネルギ門消費を最小化するコード配置最適化問題のILPモデル2007

    • Author(s)
      石飛 百合子, 石原 亨, 安浦 寛人
    • Journal Title

      電気情報通信学会技術研究報告 VLD2007-75 107(334)

      Pages: 31-36

  • [Journal Article] 製造後にタイミング補正可能なオンチップバスアーキテクチャ2007

    • Author(s)
      山口 聖貴, 室山 真徳, 石原 亨, 安浦 寛人
    • Journal Title

      電子情報通信学会技術研究報告 VLD2007-79 DC2007-34

      Pages: 55-60

  • [Journal Article] LUT型FPGA向けテクノロジ・マッピングにおける深さ制約下のLUT数削減手法2007

    • Author(s)
      高田 大河, 松永 裕介
    • Journal Title

      電子情報通信学会技術研究報告 VLD2007-101

      Pages: 73-78

  • [Journal Article] 専用演算器の使用を考慮した効率的な動作合成手法2007

    • Author(s)
      貞方 毅, 松永 裕介
    • Journal Title

      電子情報通信学会技術研究報告 VLD2007-89

      Pages: 55-59

  • [Journal Article] Lingのキャリー計算に基づくparallel prefix adder合成について2007

    • Author(s)
      松永 多苗子, 木村 晋二, 松永 裕介
    • Journal Title

      情報処理学会研究報告2007-SLDM-132

      Pages: 163-168

  • [Journal Article] Power-Performance Trade-off of a Dependable Multicore Processor2007

    • Author(s)
      Toshinori Sato and Toshimasa Funaki
    • Journal Title

      13th IEEE Pacific Rim International Symposium on Dependable Computing

      Pages: 268-271

    • Peer Reviewed
  • [Journal Article] Tim-Constrained Area Minimization Algorithm for parallel Adders2007

    • Author(s)
      Taeko Matsunaga and Yusuke Matsunaga
    • Journal Title

      IEICE Trans.Fundamentals E90-A(12)

      Pages: 2770-2777

    • Peer Reviewed
  • [Journal Article] 新個人認証システムPersonalIDが変える図書館の個人情報管理-個人情報やプライバシーに配慮した一歩先行く図書館サービスとは-2007

    • Author(s)
      安東 奈穂子, 池田 大輔
    • Journal Title

      大学図書館研究 No.81

      Pages: 26-41

    • Peer Reviewed
  • [Book] Rfid Handbook:Applications, Technology, Security, and Privacy(Chapter27)2008

    • Author(s)
      Yasunobu Nohara, Kensuke Baba, Sozo Inoue, and Hiroto Yasuura
    • Total Pages
      485-498
    • Publisher
      CRC Press

URL: 

Published: 2010-02-04   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi