第55回 SEA関西プロセス分科会のご案内
SMVで学ぶモデル検査入門
講師 ：早水 公二（(株)フォーマルテック）
主催 ：ソフトウェア技術者協会 関西支部 プロセス分科会
日時 ：2014年2月22日(土) 13:00〜17:00 (12:30 開場)
会場 ：株式会社SRA 関西事業部 会議室
〒541-0058 大阪市中央区南久宝寺町3-1-8 本町クロスビル2F
内容：
近年，産業界で注目を集めている形式手法の１つであるモデル検査の入
門講座です．モデル検査はシステムが取り得る全状態を網羅的に検査す
るため，要求された性質や挙動を満たさない状態が1つでもあれば，その
状態に至るまでのパスを発見することができます．微妙なタイミングや
多くの条件が重なることで発生する不具合の発見・解析に非常に有効です．
本セミナーでは，モデル検査の概要に加えて，実際の事例に基づいた
デモ，多くの例題を交えながら初心者の方にも分かりやすく説明します．
また，演習問題も用意していますので，実際にモデル検査ツールSMVを
操作することで，より深い理解を得ることができます．
※ 当日は実際にSMVのコードを書きながらの演習を行いますので，日頃
お使いの開発環境を搭載したPCのご持参をお願いします．演習には
以下のモデル検査ツールを使用します．
Cadence SMV
演習に必要なソフトウェア環境については，以下のページを
ご参照の上，できるだけ事前にインストールをお願い致します．
http://w2.cadence.com/webforms/cbl_software/index.aspx
※ PCをご持参できない場合，演習は他の参加者とのペア作業，
または見学となりますので，ご了承下さい．
※ 会場にはインターネット接続の設備はありません．
プログラム ：
13:00〜13:30 モデル検査の概要とデモ
13:30〜14:30 モデル検査講習
14:30〜14:40 休憩
14:40〜17:00 モデル検査演習
講師紹介
早水公二（はやみず こうじ）
2002年 検査の実用化の研究を開始
2011年 検査の専門企業である(株)フォーマルテックを設立
(独)産業技術総合研究所の非常勤職員として研究を開始
トップエスイープロジェクト講師，東京工業大学非常勤講師，産総研
セミナー講師など，モデル検査の講義やセミナーの非常勤講師を兼任中．
参加費用：
SEA正会員： 1,000円
SEA賛助会員：1,000円
学生： 500円
一般： 1,500円
※ 懇親会参加費は別途実費負担
定員 ：20名
申込方法：
以下のペ‐ジからお申し込みの受付を行っております．
http://kokucheese.com/event/index/136515/
### 2/21(金)18:00までにお申し込みください ###
ご注意）
・受付は先着順で，定員になり次第〆切とさせていただきます．
・メール，FAXなどWebページ以外からの申し込みは受け付けておりません．
・お申し込みの受付け後，確認メールが自動的に返送されます．
確認メールを印刷し，当日受付時に持参ください．
・当日は休日につきビルの玄関が閉まっています．入館にはスタッフの
案内が必要ですので，12:30〜13:00の間に入館していただくようお願い
致します．万一，入館が遅れる場合は，必ず以下のメールアドレスまで，
入館予定時刻のご連絡をお願い致します．
seakansai-req [at-mark] sea.jp
・申し込み手続きについて不明点などございましたら下記までご連絡ください．
seakansai-req [at-mark] sea.jp
・参加費は当日会場受付にて現金でお支払いください．
・領収書が必要な方は，申し込み時に「領収書要」にチェックしてください．