テーマ:高信頼システムの実現 ー ディペンダブルコンピューティングシステム
コンピュータは家電製品や自動車などに組込みシステムとして広く利用されるようになり、その役割は単に生活を便利にするだけでなく、経済や生命にも大きく関わるものとなっています。そのようなコンピュータシステムを信頼して安全に利用できる、すなわち「頼れる(ディペンダブル)」ものにするには、耐故障性やフェールセーフなどの設計が必要です。
研究室では、小さい費用で設計可能な高信頼システムを設計するための手法を研...
[記事全文を表示]