世界最高峰の革新的な開発支援ツールの提供を通じて、日本の組込みシステム産業に貢献してまいりました。前例がないことにも挑戦する組織の一助になればとの思いで、製品サポートやセミナーをご提供しています。MHIエアロスペースシステムズ株式会社が、DO-178Cに準拠したソフトウェアを開発するためのプロセスを各機関等と連携して共同研究を推進し、関連技術を蓄積した成果が解説書として出版されました。国際スタンダード実績No1のLDRA社テストツールは、静的解析・単体テスト・システムレベルテスト・カバレッジ解析を、あらゆる実行環境下で、要件トレーサビリティに統合することで、認証プロセスの工数と費用を軽減します。モデルベースドテストツールであるT-VEC社ツールは、形式手法を活用して、モデル化した仕様上の矛盾・欠陥を検出(定理証明)します。Test)によるコード内のエラーの不在証明とトレーサビリティを支援します。製品系列などのドメインのルールやコンセプトを持つ、抽象度の高いモデルから、完全なコードやドキュメント、各種モデルに自動変換できるドメインスペシフィックモデリング言語を、実践的に開発できる唯一のメタモデリングツールです。システム、車載機器、防衛システムなど、あらゆる製品開発に採用され、近年では欧州発の車載システムモデリング言語にも活用されています。資産の体系的再利用で開発競争力を高める戦略であるプロダクトライン開発の秘訣は、製品間の違い(バリアント)に、バージョン管理ツールを用いないこと。製品系列の機能・課題をフィーチャ・モデルに、プラットフォームなどソリューションをファミリー・モデルに管理して統合させることで、体系的な資産管理体制を段階的に進化させることができます。バウンダリスキャンテストの敷居を下げるBGAを電気的に実装検査・解析できるXJTAG社バウンダリスキャンテスタは、JTAGデバイスピンをプローブとして操作・観測する高度なソフトウエアと再利用技術で、JTAGバウンダリスキャンテストのコストと導入障壁を飛躍的に下げるイノベーションを起こし、設計から製造、不良解析にまで一貫して活用されています。Flashメモリをサポートするローターバッハ社製品は、サクサクと軽快で安定した動作で、デバッガの悪い印象を払拭し、二度と手放せなくなると高い評判を得ています。本体は陳腐化しないので実はコスト効率も高く、またSimulinkやLDRAとも連携して活用される世界一のデバッガです。社のデバッガはARCコアや、NXP社スマートカード向けICEなど、他社には無い強みを持っています。高速インターフェイスにより、組み込みシステムのダウンロード、フラッシュプログラミング、デバッグ作業を効率化し、開発プロセスを支援します。社のSuperTestは、コンパイラテストと検証のためのテストスイートです。業界最大クラスのコンフォーマンステストが提供され、コンパイラの開発者のみならず、コンパイラを使用する組織が機能安全規格の要件を満たすことや、コンパイラによって間違ったコードが生成されることを未然に防ぐことを目的に活用しています。Reserved.ページトップへ。