ガイオ・テクノロジー(株)

  • 【展示会】
    第3回【関西】組込みシステム開発技術展
  • 【小間番号】 10-30
  • MBD / Safety&Security Tool Developer
  • 2018年11月にリリースしたばかりの新製品、Shared Variable Checker2をはじめとして、合計4製品を出展致します。 当日はデモンストレーションを行いながら、ご紹介させて頂きます。

製品・サービス一覧

  • Shared Variable Checker2

    Cソースを静的解析し、変数の競合状態や関連性を図表で生成し、お客様のレビューの効率化や、品質向上、不具合リスクの特定に貢献致します。ポインタ関数/変数、マルチコア・排他制御にも対応しております。

  • SecuLia

    脅威分析手法として広く使われているアタックツリーを中心とした脅威分析手法を採用したセキュリティ分析ツールです。

  • MC-Verifier

    モデル、ソフトウエア、ターゲットコード間の動作一致性を、様々な開発 フェーズで確認することができます。 マイコンシミュレータを内蔵し、実機コードを用いたPILシミュレーションを 標準機能で実行できます。

  • カバレッジマスター winAMS

    機能安全規格ISO26262 / IEC61508に準拠し、ステートメント、ブランチ、MC/DC、関数コールなどのコードカバレッジ計測可能な、組込みソフト向けC/C++ソフトウエア単体テストツールです。

ロード中です

ロード中です

プレスリリース

※上記の情報は来場ユーザーから出展社への事前アポイント申請用に公開しています。
それ以外の目的(セールスなど)で無断に使用・転載することを固く禁じます。

当ウェブサイトは、運営と効用の改善のためにクッキーを利用しています。クッキーについての詳細、利用目的や管理方法は、プライバシー&クッキーをお読みください。尚、このサイトを利用するにあたり、あなたはクッキーの使用に同意していることになりますのでご留意ください。