CVS

center-name

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

System Design Verification Technique Research Consortium

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

平成21年度第4回目のシステム設計検証技術研究会を終了いたしました。講演者、そしてご参加いただきました20名の皆様にお礼申し上げます。

●日 時:12月21日(月)16:00-18:00
●演 題(1):「モデル検査の普及活動と実践向64bitモデル検査器の開発」
●講演者:早水公二氏(メルコ・パワー・システムズ株式会社 技術本部 品質保証推進室 モデル検査担当)
     《後半部分》篠崎孝一氏(関西電力)との連名発表。発表は早水氏による。
●概 要:
前半では、組込みソフト産業推進会議において開発支援事業として検討されている検証サービストライアルについて、実際にモデル検査を担当した状況も合わせ紹介し、第3者によるモデル検査サービスの有用性の検証、サービスの事業化に向けた課題について整理する。
後半では、自社内でのモデル検査適用の様子から「実践!ソフトウェアモデル検査」Webページを運営している「モデル検査によるソフトウェアテストの実践研 究会」での普及活動、さらに実践適用での問題意識から関西電力と開発を行ったモデル検査支援ソフトウェアや最新の大規模システム検証用64bitモデル検 査器について紹介する。
●演 題(2):「産総研連携検証施設≪さつき≫の概要」
●講演者:尾崎弘幸(組込みシステム技術連携研究体研究員)
●会 場: 産業技術総合研究所 システム検証研究センター 千里オフィス6F会議室

Mr.Hayamizu
早水 氏
Mr.Ozaki
尾崎 研究員
Lecture
講演風景



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