CVS

center-name

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

System Design Verification Technique Research Consortium

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

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

●日 時:7月30日(木)16:00-18:00
●講演者:小川 秀人氏(株式会社日立製作所 中央研究所 組込みシステム基盤研究所 ES612研究ユニット 主任研究員)
●演 題:「ソフトウェアのテスト・検証プロセスとモデル検査」
●概 要:
組込みシステム開発におけるソフトウェア品質向上策の1つとして、形式手法や、モデル検査技術が注目され、適用事例も発表されるようになってきている。しかし、企業における品質確保のためのアクティビティは様々な形態で実施されており、その中でのモデル検査の位置づけや利用プロセスが明確になっているとは言いがたい。講演者はソフトウェアのテスト・検証プロセスに広く関わった経験をふまえ、企業におけるモデル検査の意味や適用課題について問題提起する。また、それらの問題に対する解の1つとして、モデル検査における検査性質の導出に関して、国立情報学研究所と共同で行なった研究事例を紹介する。

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

Mr.Ogawa
小川 氏
Lecture
講演風景



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