HOME > イベントスケジュール > 第7回「さつき」無料講習会

第7回「さつき」無料講習会

組込みシステム産業振興機構では、開発サービスの一環として 第7回「さつき」無料講習会 モデル検査(SMV)編を 下記の要領で開催いたします。

「さつき」、「モデル検査」に関心をお持ちの方は、是非お申込みください。

第7回「さつき」講習会 モデル検査(SMV)編 開催要項

形式手法や検証クラスタ「さつき」への興味はあるけれど、使う手掛かりを探している方・躊躇されている方、まずは使ってみましょう。今回は、大規模な検証に適したモデル検査器 SMV を使用した入門研修をご提供します。

開催日時 2012年3月27日(火) 13:30~17:30
開催場所 産業技術総合研究所 関西センター 尼崎支所(阪急園田駅 徒歩15分)
http://cfv.jp/cvs/access/index.html
定員 10名程度
主催 組込みシステム産業振興機構
産業技術総合研究所 組込みシステム技術連携研究体
内容 ・「さつき」を使ってみよう
リモートから「さつき」にアクセスし、形式処理システムの体験をしてい
ただきます。

・入門モデル検査
モデル検査の概要、使用する利点、仕様の記述法の初歩などを解説します。

・実習モデル検査
簡単な仕様の作成、検査の実行などモデル検査の体験をしていただきます。
対象者 * モデル検査に興味のある方。
* ある程度のプログラムが書ける方。
* ログインサーバーとクラスターノードの OS は Linux ですので、
コマンドラインから簡単な操作ができる方。
申込み方法 お申込みは、e-mailにて
参加者の

氏名:
会社名:
所属・役職:
連絡先
 電話:
 E-Mailアドレス:

をご記入の上
3月21日(水)までに、
E-Mail:esip_info@kansai-kumikomi.netへご送付願います。

お問合せ

組込みシステム産業振興機構

FAX:06-6494-7386
電子メール:esip_info@kansai-kumikomi.net

ダウンロード

申込書

↑ページトップへ