JAXAがシステム設計環境セミナーを開催>>和製ESL環境「ELEGANT」を紹介

2006年3月22日（水）に品川の東京コンファレンスセンターにて、JAXA（宇宙航空研究開発機構）が主催する「システム設計環境セミナー」が開催される。

関連情報：
http://www.interdesigntech.co.jp/modules/news/article.php?storyid=50（?インターデザイン・テクノロジー）

「システム設計環境セミナー」は、JAXAが研究開発を進めていたシステムレベル設計ツール「ELEGANT」の研究成果発表として、その機能および適用事例がJAXAをはじめとした関連各社によって紹介される。

「ELEGANT」は、宇宙開発の分野において高機能なデジタル回路の開発を行っているJAXAが、その設計および検証に関する工数の削減を目的として開発を進めてきたシステムレベルの設計ツールで、その中には、システムの仕様モデルをTLMや動作合成可能なモデルに自動変換するシステム合成、HW/SW協調検証、動作合成、フォーマル検証といった各機能が含まれているという。

セミナーでは、それら各機能に関する説明の他に、平成18年度に実施する「ELEGANT」の第三者評価に関する公募要領についても発表される予定。

「システム設計環境セミナー」の開催概要は以下の通り。

1．開催日時：平成18年3月22日(水) 13:30?17:45
2．開催場所：東京コンファレンスセンター・品川　大ホールB　
3．発表内容(予定)：

13:00 　受付開始

13:30-13:40 開会挨拶 宇宙航空研究開発機構　情報・計算工学センター長 藤井孝藏氏　

13:40-14:10 [基調講演]　C 言語ベース設計技術の動向?真のシステムレベル設計からの支援をめざして?
　　　　　　　 東京大学 大規模集積システム設計教育センター 藤田昌宏教授

14:10-14:30 ELEGANTの概要について　宇宙航空研究開発機構　情報・計算工学センター　中川敬三氏

14:30-15:00 ELEGANTでのシステムレベル合成について (株) インターデザイン・テクノロジー　中村敦資氏

15:00-15:15 休憩

15:15-15:45 ELEGANTでのシミュレーションについて (株) インターデザイン・テクノロジー 荒木　大氏

15:45-16:15 ELEGANTでの動作合成について　日本電気株式会社　若林一敏氏

16:15-16:45 ELEGANTでの形式的検証について 富士通株式会社 高山浩一郎氏

16:45-17:15 衛星搭載用時刻比較装置への適用例
　　　　　　　 宇宙航空研究開発機構　情報・計算工学センター 山本徹也氏

17:15-17:45　データ伝送規格SpaceWireへの適用例 NEC東芝スペースシステム株式会社　檜原弘樹氏

4.セミナーへのご出席について

本セミナーへの出席は無料です。ご出席される方は、2006年3月20日(月)までに、所属機関/会社名、部署名、役職、お名前、連絡先(電子メールアドレス)を、事務局(ELEGANT-SEMINAR＠jaxa.jp)まで、電子メールにてお知らせ下さい。
※上記メールアドレスは＠とｊｐが全角になっています。メール送信の際には半角にしてください。

これらの申込み時に登録いただく情報は、個人情報として取扱い、本セミナー及び今後のJAXA主催の同種のセミナーのご案内以外には使用いたしません。