CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

System Design Verification Technique Research Consortium

システム設計検証技術研究会 平成18年度第4回講演会

平成18年度第4回目のシステム設計検証技術研究会は、 国立情報学研究所アーキテクチャ科学研究系の米田友洋教授をお招きしご講演いただきました。27名の皆様にご参加いただきました。

日 時:   
2006年10月06日(金)16:00〜18:00

講演者:  
国立情報学研究所 アーキテクチャ科学研究系 教授 米田友洋氏

演 題: 
「ディペンダブルシステム − 高信頼システム実現のための耐故障技術 」
内 容 :
ディペンダビリティの基本的な考え方であるフォ−ルトモデルの設定と多重化による冗長性の概念を紹介した後、冗長化に基づく耐故障技術および分散環境における合意問題について解説する。

会 場:   
産業技術総合研究所 システム検証研究センター 千里オフィス6F会議室

Prof.Nakajima
米田教授
Lecture
講演風景



産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2009 AIST Research Center for Verification and Semantics, All Rights Reserved.