2011-0928-01
情報通信
掲載日：2011/09/28
高信頼ソフトウェアシステムの高効率な開発技術
鷲崎 弘宜 教授 (理工学術院 基幹理工学部)
トラブルを未然に防ぐためにはソフトウェアの信頼性の向上が必要不可欠である。ソフトウェアの開発は基本設計から実装まで複数の段階を経ることなり、徐々に信頼性が失われて行く。これに対して段階ごとの処理過程によって、過去の開発事例を参考にパターン化・抽象化を行い形式検証を行うことで、...
2011-0908-02
情報通信
掲載日：2011/09/08
ICカードの脆弱性の解明とその対策手法の構築
戸川 望 教授 (理工学術院)
スキャンパス設計はLSI内部をランダムに張り巡らされているため本来であれば、設計者のみが知り得ることのできる秘匿情報であった。
それに対して、スキャンチェインを構成するFF(フリップフロップ)が、ランダムに接続されていてもその相対位置は変化せず、出力されるデータ順序が一定であるという...
2011-0908-01
情報通信
掲載日：2011/09/08
極低エネルギー化を実現する統合化システムLSI設計技術
戸川 望 教授 (理工学術院)
LSIを構成する3つの要素である機能モジュール・記憶要素・制御要素に対して、「強結合」ならびに「弱結合」という新規概念による抽象化モデルを構築することで、上位工程から下位工程までを一貫した緩やかなルールを導入する。
さらに、従来の階層的な設計工程にとらわれず、導入したルールに従って...
