CVS

center-name

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

System Design Verification Technique Research Consortium

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

平成17年度第2回目のシステム設計検証技術研究会は、株式会社シーディー・アダプコ・ジャパンの小西氏をお迎えし、講演会を開催しました。
45名がこの講演会を聴講されました。また、懇親会にも多数ご参加いただき活発な意見の交換が行われました。

日 時:   2005年7月28日(木)15:00〜17:00
講演者:  株式会社シーディー・アダプコ・ジャパン   複合解析技術室  小西晃輔
演 題:   「形式手法・形式検証を適用したセーフティークリティカルな組込み制御アプリケーションの開発事例紹介
内 容 :

欧州を中心に、形式手法・形式検証の組込み制御ソフトウェアへの適用が、安全性を重要視する産業分野(航空システム、交通システム、エネルギーシステムなど)において実プロジェクトベースで、盛んに行われています。また、欧州では自動車産業分野にも広がりつつあります。本講演では、安全性を重要視する産業分野で、形式手法・形式検証を適用したアプリケーション開発の事例について紹介致します。更に、安全なソフトウェアの開発プロセスと設計・検証技法の関係についても触れます。

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

Prof.Tamai Lecture Prof.Tamai Prof.Tamai


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