CVS

center-name

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

System Design Verification Technique Research Consortium

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

平成18年度第一回目となりますシステム設計検証技術研究会は、34名に参加していただき、開催いたしました。今回は、早稲田大学理工学部コンピュータ・ネットワーク工学科の中島教授に講演をしていただきました。

日 時:   
2006年7月6日(木)16:00〜18:00

講演者:  
早稲田大学理工学部コンピュータ・ネットワーク工学科 教授 中島達夫氏

演 題: 
「次世代組込みシステムのためのソフトウェアプラットフォーム」
内 容 :
組込みシステムのコード量は年々増大している。そのため、システム全体の信頼性を向上する基盤ソフトウェアが必要不可欠となってきている。本講演では、組込みシステムの現状を概観した後、次世代の組込みシステムがどのように進化していくかについて述べる。次に、そのような次世代の組込みシステムを構築するために我々が開発中の基盤ソフトウェアに関して紹介する。

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

Prof.Nakajima
中島氏
Lecture
講演風景



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