(toppers-users 4396) SESSAME～最新の組込みテスト技術を学ぼう～第2回のご案内

[YOKOI Naoko]

TOPPERSプロジェクト会員，関係者の皆様

TOPPERSプロジェクト事務局の横井です．
お世話になっております．
関連団体のSESSAMEから，2月に開催した，最新の組込みテスト技術に関する
セミナーの第2回開催のご案内です．
開催日が近づいてまいりましたので，再度ご案内させていただきます．
ご希望の回のみの参加も可能です．
ご興味のある方，ぜひご参加ください．

　　　　＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
　　　　　　　　　　SESSAMEセミナー
　　　　　　〜最新の組込みテスト技術を学ぼう〜　
　　　　　　　第2回（全4回開催予定）のご案内
　　　　＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

東京大学　VLSI設計教育研究センター (VDEC)で研究をされている
藤田昌宏先生をお迎えし，組込みソフトウェア技術者を対象とした
組込みCプログラムの試験に関する講座を開催しています．

テーマは，新しいプログラムテスト技術です．

組込みソフトウェアの領域では，MCDCカバレッジを好例として従来
から半導体の開発技術をプログラムテストに応用してきました．
藤田先生は，VLSIのテスト技術の延長として組込みソフトウェアの
テスト技術を研究されています．
今回、形式検証やHW/SW協調テストなど、今後の組込みソフトウェアに
必要となる先端のテスト技術を学ぶよい機会となることでしょう．


【講義プラン】
2015年に4回の講義を計画しています．
最先端の組込みソフトウェアテスト技術の中から，テーマを選んで
講義いただく予定です．
初回は，ソフトウェアを実行して検査を行う，ソフトウェアのテスト
技術の解説でした．
第2回となる今回は，形式的解析技術に基づくソフトウェアコードの
解析手法についての解説です．

全4回の内容は、以下の通りとなる予定です．
　１．導入とソフトウェアの自動テスト（前回）
　２．形式的解析手法（今回）
　３．プログラム合成・デバッグ
　　　−仕様からの生成、実行例からの生成
　　　−ルールベースプログラミング
　　　−プログラム間の差異検出
　４．C言語解析・検証・デバッグのための「新」ツール
各回の詳細については，事務局にお問い合わせください．
ご希望の回のみご参加いただけます．

【開催概要】
セミナー名称：最新の組込みテスト技術を学ぼう（2）
主催：特定非営利活動法人
　　　組込みソフトウェア管理者・技術者育成研究会(SESSAME)
　　　（http://www.sessame.jp/ ）
日時：6月30日(火)13:30〜17:00　受付開始13:00
　　　＾＾＾＾＾＾＾＾＾＾＾＾
　　　開始時刻が前回と異なっておりますのでご注意ください！
会場：株式会社東陽テクニカ
           テクノロジーインターフェースセンター 8階セミナー室
　　　〒103-0021　東京都中央区日本橋本石町1-1-2
　　　http://www.toyo.co.jp/spirent/access.html
講師：東京大学大規模集積システム設計教育研究センター
　　　教授　藤田昌宏氏
受講料：第2回の受講料は30,000円(資料代、消費税込)です
募集人員：40名
プログラム：
　　　・モデルチェッキングに代表される形式的ソフトウェア解析・検証
　　　　手法の基本について
　　　・自動抽象化やpartial order reduction 等について
　　　・プロパティの自動生成手法や，チェック技術について
　　　・形式的等価性検証技術について
　　　・等価でない場合の，差異を説明する新規技術について
　　　・ハードウェア設計の形式的検証技術やツールの現状について
　　　・因果関係解析技術について
　　　・ソフトウェア検証に関連する定理自動証明技術について
　　　　など

申込み方法：本メール末尾の申込書により，メールにてお申込みください．
　　　　・お申し込み頂きますと、折り返し『参加案内、請求書』を
　　　　　お送りいたします．
　　　　・請求書にしたがって銀行振込をお願いいたします．
　　　　　振込手数料は貴社にてご負担ください．
　　　　・参加費は、欠席されても原則としてお返しいたしかねます
　　　　　のでご了承ください．
　　　　・申込書に記載いただいた情報は，本人確認、本セミナに関
　　　　　する連絡のほか，SESSAMEに関する各種ご案内のみに利用し，
　　　　　適切な管理を行うよう努めます．
　　　　　　

-----------------------------------------------------------------
申し込み、問い合わせ先
　　　組込みソフトウェア管理者・技術者育成研究会　横井
　　　　〒103-0007　東京都中央区日本橋浜町1-8-12-8F
　　　　　　　　　　一般社団法人組込みシステム技術協会内
　　　　　　　　　　電話:(03)3865-1730/FAX:(03)3865-5616
　　　　　　　　　　e-mail：secretariat ＠ sessame.jp
-----------------------------------------------------------------
　
To:secretariat ＠ sessame.jp
Subject: 最新の組込みテスト技術セミナー（２）参加申込書

=== 最新の組込みテスト技術セミナー（２）参加申込書 ===

■会社
会社名　　　　：
会社の郵便番号：〒
　　　所在地　：
　　　電話番号：

■受講者
氏名　　　　　：
ふりがな　　　：
所属部署・役職：
電子メール　　：


■請求書の送付先
　(受講者以外への送付をご希望の場合はご記入ください)

■備考 (その他の希望などがあればお書きください)

-- 
−−−−−−−−−−−−−−−−−−−−−−−
横井尚子（YOKOI Naoko)  secretariat ＠ toppers.jp
NPO法人TOPPERSプロジェクト事務局
　〒103-0007　東京都中央区日本橋浜町1-8-12
　　　　　　　（一社）組込みシステム技術協会内
　TEL＆FAX: 03-3865-5616
−−−−−−−−−−−−−−−−−−−−−−−