アルデック、Certification Together International ConferenceでDO-254への取組の10周年を祝賀Date: 2017/03/15 Type: ReleaseToulouse, France – 2017年3月15日 – FPGA/ASICのHDL混合言語シミュレーションとハードウェア・アシステッド・ベリフィケーションのパイオニアである Aldec, Inc. （以下「アルデック」）は、フランスのトゥールーズで2017年3月21～23日に開催される Certification Together International Conference (CTIC) で、DO-254の10年間を祝福します。 アルデックの研究開発、営業・マーケティングと技術サポートのチームは10年間DO-254の製品に取り組み、DO-254の認証を取りたいお客様をサポートしてきました。今回はこのチームをねぎらいます。アルデックが開発してきた専門の検証ツールには、要求管理、トレーサビリティ、影響分析、HDLリントツール、クロックドメイン交差解析、混合言語HDLシミュレーション、コードカバレッジ、DO-254テンプレート・チェックリスト、ターゲットFPGAのテストシステム、およびツール認証データパッケージなどの機能が盛り込まれてきました。 アルデックのDO-254プログラムマネージャLouie De Lunaのコメント:「お客様からDO-254について問い合わせが来るようになったのは2007年の初めの頃でした。その数か月前に FAA AC 20-152 がリリースされていました。弊社はDO-254/CTS™の最初のバージョンを2007年の後半にリリースしました。その直後、2008年に、 Thales が採用してくださいました。その時から、弊社はより専門性の高い製品の開発を続け、北米で3日間のDO-254講座も開設し、お客様がDO-254について学び、新しい検証の課題を克服するお手伝いをしてきました。」 2015年までに、アルデックはDO-254/CTSターゲットFPGAシステムを応用して、設計保証レベル（DAL）A・BのFPGAのDO-254プロジェクトを50件以上成功させてきました。 Elbit Systems などの国際的な航空システムメーカーによるツールの採用が増えていきました。 今年、FAA、EASA、Airbus、Rockwell Collins、Thalesなど航空法規を熟知する大手企業とともに、アルデックは「SoC FPGAの物理テスト: HW/SW協調検証手法 “Physical Testing of SoC FPGAs: A HW/SW Co-Verification Approach” 」というプレゼンテーションを発表し、DO-178の指針に従って完全検証済みのソフトウェアを利用する新しい手法を、 ARM® プロセッサコアを組み込んだSoC FPGA内部のFPGAファブリックを検証するためのテストベクタとして提案します。 アルデックのハードウェアベリフィケーションプロダクトマネージャKrzysztof Szczurのコメント:「航空業界の顧客の中には、DAL A/B DO-254プロジェクトのSoC FPGAを検証する新手法を研究しています。1つ大きな問題として、デバイスのピンレベルでAXI/AHBのメインインタフェースにアクセスできないことがあり、このために要求ベースのテスト手法をFPGAファブリックに適用するのが難しくなっています。CTICでのアルデックの技術プレゼンテーションでは、オープンソースのエミュレータQEMUとトランザクションレベル検証用のバスファンクショナルモデルを使った新手法を紹介します。」 アルデックのDO-254ソリューションについてSpec-TRACER, ALINT-PRO, Active-HDL、DO-254/CTSなどのアルデックのFPGA設計・検証用ツールは、お客様の生産性を高め、DO-254準拠を達成するための近道です。アルデックのツールは大手航空関連会社に採用された実績があり、認証機関も認めており、FPGA設計・検証工程を数ヶ月から数週間へと短縮できることが証明されています。 Certification TogetherについてCertification Together International Conference は航空関連事業に関わり、認証に課題を抱える会社同士の交流を促進するための会議です。この会議の利点は、国際的に認知された臨界系認証の専門会社の専門性を活かせることです。 アルデックについて米国ネバダ州ヘンダーソンに本社を置くアルデックは、エレクトロニクス・デザイン検証のインダストリ・リーダです。RTL設計、RTLシミュレータ、ハードウエア・アシステッド・ベリフィケーション、SoC/ASICプロトタイピング、デザインルールチェック、CDC検証、IPコア、要求ライフサイクル管理、DO-254機能検証、組込みソリューションおよび軍事／航空宇宙向けソリューションといったパテントを取得したテクノロジを提供しています。http://www.aldec.com/
