HOME > イベントスケジュール > 「さつき」無料講習会 モデル検査(SMV)編

「さつき」無料講習会 モデル検査(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へお送りください。

形式手法、「さつき」へ興味はあるけど、使う手掛かりを探している方・躊躇されている方、まずは使ってみましょう。そのための入門研修をご提供します。

ダウンロード

ご案内は以下よりダウンロード出来ます。

申込書

↑ページトップへ