CVS

center-name

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

System Design Verification Technique Research Consortium

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

平成19年度第1回目のシステム設計検証技術研究会を終了いたしました。講演者の山本訓稔様、服部彰宏様、そして、ご参加いただきました33名の皆様にお礼申し上げます。

日 時: 2007年07月20日(金) 16:00〜18:00
講演者: 山本訓稔氏、服部彰宏氏
(富士ゼロックス株式会社オフィスプロダクト事業本部コントローラーソフトウェア開発部)
演 題: Model Checkingを適用した実践的非同期制御検証
内 容: Executable UML(xUML) で記述された非同期システムの自動検証を実現するため、SPIN Model Checkerをベース
 とした技術獲得を行ってきた。xUMLからModel検証用言語への自動変換や、SPINの改造がこれに相当する。
 本発表では、獲得してきた技術の概略、適用事例、検証モデルを拡大させるための施策や、Model Checking と
 実機テストとの住み分けに対する指針等について報告する。

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

Mr.Yamamoto
山本氏
Mr.Hattori
服部氏
Lecture
講演風景



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