DO-254の10年間を祝福します。アルデックの研究開発、営業・マーケティングと技術サポートのチームは10年間DO-254の製品に取り組み、DO-254の認証を取りたいお客様をサポートしてきました。今回はこのチームをねぎらいます。HDLシミュレーション、コードカバレッジ、DO-254テンプレート・チェックリスト、ターゲットFPGAのテストシステム、およびツール認証データパッケージなどの機能が盛り込まれてきました。Lunaのコメント:「お客様からDO-254について問い合わせが来るようになったのは2007年の初めの頃でした。リリースされていました。弊社はDO-254/CTSTMの最初のバージョンを2007年の後半にリリースしました。採用してくださいました。その時から、弊社はより専門性の高い製品の開発を続け、北米で3日間のDO-254講座も開設し、お客様がDO-254について学び、新しい検証の課題を克服するお手伝いをしてきました。」2015年までに、アルデックはDO-254/CTSターゲットFPGAシステムを応用して、設計保証レベル(DAL)A・BのFPGAのDO-254プロジェクトを50件以上成功させてきました。国際的な航空システムメーカーによるツールの採用が増えていきました。FPGA内部のFPGAファブリックを検証するためのテストベクタとして提案します。FPGAを検証する新手法を研究しています。1つ大きな問題として、デバイスのピンレベルでAXI/AHBのメインインタフェースにアクセスできないことがあり、このために要求ベースのテスト手法をFPGAファブリックに適用するのが難しくなっています。CTICでのアルデックの技術プレゼンテーションでは、オープンソースのエミュレータQEMUとトランザクションレベル検証用のバスファンクショナルモデルを使った新手法を紹介します。Active-HDL、DO-254/CTSなどのアルデックのFPGA設計・検証用ツールは、お客様の生産性を高め、DO-254準拠を達成するための近道です。アルデックのツールは大手航空関連会社に採用された実績があり、認証機関も認めており、FPGA設計・検証工程を数ヶ月から数週間へと短縮できることが証明されています。航空関連事業に関わり、認証に課題を抱える会社同士の交流を促進するための会議です。この会議の利点は、国際的に認知された臨界系認証の専門会社の専門性を活かせることです。アルデックについて米国ネバダ州ヘンダーソンに本社を置くアルデックは、エレクトロニクス・デザイン検証のインダストリ・リーダです。RTL設計、RTLシミュレータ、ハードウエア・アシステッド・ベリフィケーション、SoC/ASICプロトタイピング、デザインルールチェック、CDC検証、IPコア、要求ライフサイクル管理、DO-254機能検証、組込みソリューションおよび軍事/航空宇宙向けソリューションといったパテントを取得したテクノロジを提供しています。