組込みソフト開発検証ツール

組込みソフト開発検証ツール ISO26262ツール認証取得

自社開発ツールと他社ツールをグローバルに連携し 包括的なソリューションを提供

クロスコンパイラの自社開発からスタートしたガイオは、コアテクノロジーであるマイコンコード生成、ソースコード解析、マイコン/システムシミュレーション技術をベースにした、オリジナルの組込み開発・検証ツールを提供する、国内で数少ないツールベンダーです。 ガイオの「自社開発ツール」と開発検証サービスを補完する「他社ツールとグローバル連携」を行うことで、組込み開発者の皆様の課題に対して、モデルベース開発における開発プロセス全体にわたる包括的な解決策を提供致します。

自社開発ツールと他社ツールをグローバルに連携し 包括的なソリューションを提供 Safilia 製品情報 CasePlayer2製品情報 SecuLia製品情報 HighTec社 TriCoreコンパイラ シミュレータベーストファミリ仮想検証ツール リアルタイムファンクションテスター MC-Verifier製品情報 カバレッジマスター winAMS製品情報

組込みソフト 検証・開発ツール パッケージ製品

製品名 概要 詳細
カバレッジマスター winAMS 機能安全規格ISO26262 / IEC61508に準拠し、ステートメント、ブランチ、MC/DC、関数コールなどのコードカバレッジ計測可能な、組込みソフト向けC/C++ソフトウエア単体テストツールです。マイコンシミュレータを内蔵し、コンパイルされたオブジェクトコードを実行して単体テストを行います。一般の単体テストツールにありがちなCソースの論理レベルでの単体テストに留まらず、組込み特有のマイコンへの実装に依存した問題点を含めた、マイコンコードに最も忠実で信頼性の高い単体テストを実施します。
MORE
MC-Verifier モデルベース開発におけるBack-to-Backテストのための統合テストツールです。モデル、ソフトウエア、ターゲットコード間の動作一致性を、様々な開発フェーズで確認することができます。マイコンシミュレータを内蔵し、実機コードを用いたPILシミュレーションを標準機能で実行できます。機能安全(ISO26262 / IEC61508)ツール認証を取得しており、厳しい車載ソフト検証の要求に応えます。
MORE
CasePlayer2 CasePlayer2 は、ANSI準拠C言語、C++、組み込み向けC言語(非ANSI)を解析して、フローチャートなどのプログラム仕様書を作成するツールです。過去のソースコードのロジック解析や、仕様書作成作業を強力に支援します。C言語コーディング規約「MISRA-C」のルールチェック機能を搭載しています。
MORE

自動車機能安全ISO26262ツール認証取得について

製品名 概要 詳細
自動車機能安全ISO26262ツール認証取得について 自動車機能安全規格(ISO26262)に準拠した車載ソフトの開発を行っていただくために、ガイオのテストツール、「カバレッジマスターwinAMS」、「CasePlayer2」、「MC-Verifier」は、ドイツの第三者認証機関であるTUV SUDよりツール認証を取得済みです。
MORE

HighTec社 TriCore/Power Architecture クロスコンパイラ

製品名 概要 詳細
HighTec社 TriCore 開発プラットフォーム HighTec社 TriCore 開発プラットフォームは、強力なウイザード機能を持つEclipseベースの統合開発環境です。TriCoreやAurix マルチコアをサポートします。プロジェクトの設定や、コンパイラ、アセンブラ、リンカを使用するビルドプロセス全体の管理を行います。
MORE
HighTec社 Power Architecture 開発プラットフォーム HighTec社 Power Architecture 開発プラットフォームUAD2のコンパイラ、デバッガは、フリースケール製 MPC57xx、MPC 551x、MPC553x、MPC555x、MPC556x、MPC560x、MPC563x、MPC564x、MPC567x、STマイクロ製 SPC560、SPC563、SPC564、SPC56ELをサポートしています。
MORE

シミュレータベーストファミリ仮想検証ツール ・ 実機テストソリューション

製品名 概要 詳細
シミュレータベーストファミリ仮想検証ツール シミュレータベーストファミリ(SBF)は、一般的な組込みシステム、自動車制御、メカ制御、SoC(システムオンチップ)の開発早期でのソフト検証を可能にする、組込みシステムシミュレーション環境です。柔軟な接続インタフェースを持ち、自動車モデルベース開発向けのMATLAB/Simulinkを始め、3Dメカシミュレータ、ASICシミュレータとのシステム動作シミュレーションを行うことができます。
MORE
リアルタイムファンクションテスター ガイオは、制御対象の外部ハードウエアを使用せず、制御ソフトの実機テストを可能とする、外部ハードウエアエミュレーションシステムを提案しています。制御対象(マイコン基板に接続される他の基板、操作パネル、メカなど)の動作を、専用のシナリオエディタで定義し、FPGAによりシナリオをリアルタイム実行することで、制御対象のエミュレーションを実現します。
人海による実機テストの工数削減、複数ユニット並行開発時の検証の前倒し、試作機の制作が困難なメカを制御するソフト検証など、様々な実機検証に対する課題を解決します。
MORE