◆□◆GRACEメールマガジン2014/8/20 第40号◆□◆
————————–
GRACEメールマガジンは、GRACEセンターのセミナー、
イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールで
お届けするものです。
————————–
=========================================
◆◆GRACEセンター協力セミナーのご案内◆◆
=========================================
=========================================
━━セミナー開催のご案内━━━━━━━━━━━━━━━━━━
DESTECS/Crescendoセミナー：ソフトウェアとメカトロニクスとの
co-modeling/co-simulation(10/24開催)
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
■日 程：2014年10月24日(金) 10:00～17:30 (受付開始: 9:30)
■会 場：国立情報学研究所 19階 会議室（1901-1903）
〒101-8430 東京都千代田区一ツ橋２－１－２
http://www.nii.ac.jp/introduce/access1-j.shtml
■概 要：
組込みシステムの市場はますます活発になっており，賢く柔軟なソフトウェア制
御を通して新たな素材やセンサー，計算ハードウェアを活用する迅速なイノベー
ションが求められています．このためには，異なる工学分野それぞれのスペシャ
リストが協調し，分野間のギャップによる時間・費用の増大を防ぐことが求めら
れます．つまり，物理的な製品が構築されてから，ソフトウェアによる制御の失
敗，その根元となる誤解に気づくような事態を防がなければなりません．
DESTECSプロジェクトでは，制御デバイスやソフトウェアの離散的なイベントモ
デルと，制御されるデバイスや環境の連続的なモデルからなる”co-model”を，異
なるスペシャリストが協調的に構築し，シミュレーションする（”co-
simulation”）手法およびその支援ツールCrescendoの研究開発に取り組んでいま
す．これらにより，物理とソフトウェアの双方に関する設計空間を探索し，性
能，エネルギー消費やコストなどに影響する選択肢を追求することができるよう
になります．（プロジェクトWebサイト： http://www.destecs.org/ ）
本セミナーではDESTECSプロジェクトの中心となるFitzgerald 教授とLarsen 教
授を招き，co-modeling/co-simulationの原則や産業界での応用経験についてご
講演いただくとともに，Crescendoツールの体験・演習を行います．
【注意事項】
・ 本セミナーにおいては，講師プレゼンテーションなど英語にて実施されま
す．ただし，プレゼンテーションスライドの日本語版を配布するほか，日本人講
師が演習，質疑，議論時には日本語で対応します．
・ Crescendoツールは，ソフトウェア設計，メカトロニクス設計にそれぞれ
Overture（VDM-RT），20-simを用いています．これらに関する事前の知識・経験
は必須ではありません（もしあれば理解がより深まり，演習も円滑に進めやすい
と思います）．
【プログラム（予定）】
10:00-11:30 DESTECSプロジェクト・Crescendoツールの概要
11:30-12:30 VDM-RTによるソフトウェア設計記述の簡単な解説
12:30-13:30 休憩（昼食は各自とって下さい）
13:30-15:30 Crescendoツール体験・演習
15:30-16:00 休憩
16:00-17:30 産業界での応用経験・議論
■講 師：
・John Fitzgerald 教授（ニューカッスル大学・イギリス）
・Peter Gorm Larsen 教授（オーフス大学・デンマーク)
・石川 冬樹 准教授（国立情報学研究所）
■定 員：60名(先着順)
※NPO法人 トップエスイー教育センター会員および日本ソフトウェア
科学会会員の方は、優先的に受講いただけます。
■受講料金：
無料
■申込み方法:
下記サイトをご覧ください。
http://topse.or.jp/2014/08/2223
■主 催：NPO法人 トップエスイー教育センター
■協 力：国立情報学研究所 GRACEセンター
■協 賛：日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
■お問い合わせ先
NPO 法人 トップエスイー教育センター 事務局:
E-mail: inquiry@topse.or.jp
=========================================
□編集後記□
●GRACEメールマガジンの 第40号をお届けしました。
ご意見、ご感想は、GRACEセンター事務局 (secretariat@grace-center.jp)
までお願いいたします。
●GRACEメールマガジンの購読解除、バックナンバーに
ついては、下記のURLをご覧ください。
http://grace-center.jp/mailmagazine
