「さつき」無料講習会 モデル検査(SMV)編
開催のご案内
| 開催日時 | 2011年3月18日（金） 13：30～17：00 （以降、随時開催） |
|---|---|
| 開催場所 | 産業技術総合研究所 臨海副都心センター 別館 8階 コラボレーションルーム （ゆりかもめテレコムセンター駅 徒歩5分） |
| 定員 | 8名程度（先着順） |
| 募集締切 | 3月11日（木） |
| 主催 | 組込みシステム産業振興機構 産業技術総合研究所 組込みシステム技術連携研究体 |
開催内容
1. 入門モデル検査
モデル検査の概要、使用する利点、仕様の記述法の初歩などを解説します。
2. 「さつき」を使ってみよう
リモートから「さつき」にアクセスし、形式処理システムの利用や、複数ノード上で多数のプロセスを実行する体験をしていただきます。
3. 実習モデル検査
簡単な仕様の作成、検査の実行などモデル検査の体験をしていただきます。
意見交換会
講習会終了後、意見交換会をいたします。
対象者
- モデル検査に興味のある開発者の方。
- ある程度のプログラムが書ける方。
- ログインサーバーとクラスターノードのOS はLinux ですので、コマンドラインから簡単な操作ができる方。
申込方法
お申込みは、e-mailにて、お名前・機関名・所属・役職・連絡先（電話・mailアドレス）をご記入の上、3月11日(木)までにesip_info@kansai-kumikomi.netへお送りください。
形式手法、「さつき」へ興味はあるけど、使う手掛かりを探している方・躊躇されている方、まずは使ってみましょう。そのための入門研修をご提供します。
ダウンロード
ご案内は以下よりダウンロード出来ます。
 |