宇宙航空研究開発機構（JAXA）では、来る3月22日（水）に、「システム設計環境セミナー」を開催しシステムレベル設計ツール「ELEGANT」の研究開発成果発表を行います。

弊社提携パートナーである株式会社インターデザイン・テクノロジーは、ELEGANT 開発プロジェクトに参画し、システム合成ツール及びシミュレーションツールの開発を担当致しました。 シミュレーションツールには、弊社取扱製品であるハードウェア・ソフトウェア協調検証フレームワーク「FastVeri 」が採用されております。
「システム設計環境セミナー 」では、システムレベル設計ツール「ELEGANT」を構成するツール群の適用事例とその成果を発表致します。
是非この機会にご出席頂きたくご案内申し上げます。

　我々の身の回りにある情報機器等の機能は年々高まり、便利になるとともに複雑化しています。 宇宙開発の分野においても、人工衛星等の機能が高度化し、搭載機器のデジタル回路はますます複雑になってきています。 その結果、こうした高機能のデジタル回路の設計と検証にかかる人手と時間はますます増大し、設計誤りのないシステムを短期間に作ることが難しくなってきています。

　この問題を解決するため、宇宙航空研究開発機構では、システムレベル設計ツール　− ELEGANT −　の研究開発を進めてきました。 ELEGANT では、設計者が抽象度の高いシステムレベルで設計作業を行い、それを計算機上でデジタル回路として詳細化しながら、 ハードウェアとソフトウェアの協調シミュレーションによりその動作を確認することができ、従来よりも早く、正確なシステム設計が可能になります。

　ここに、ELEGANT が完成しましたので、本セミナーを開催し、その機能と適用例を発表いたします。 また、宇宙航空研究開発機構では、ELEGANT の第三者評価を平成18年度に実施することを計画しており、評価者を一般から公募する予定です。 本セミナーの中で、公募の要領に関し、ご案内する予定です。

• 所属機関/会社名：
• 部署名：
• 役職：
• お名前：
• 連絡先(電子メールアドレス)：

・静的検証と動的検証
検証を行うタイミングやフェーズによって大別される静的検証と動的検証の解説

・検証の基本はレビューとテスト
検証手法の基礎であるレビューとテストの解説

・モデル・ベースの検証手法
形式検証技術を利用したモデル検査手法と、モデルの構文と整合性を静的にチェックするモデル解析手法の解説

・コード解析とアサーション
ソース・コードを基にした検証手法の解説