Webアプリケーション脆弱性テストツール『Burp Suite』

15,000以上の組織で使用されているWEBアプリケーションのセキュリ…

15,000以上の組織で使用されているWEBアプリケーションのセキュリティテスト実行のための統合プラットフォーム。 クロスサイトスクリプティング(XSS)やSQLインジェクションといった、OWASP Top 10に挙げられる脆弱性を含め、100以上のセキュリティ上の脆弱性をスキャンします。...【製品ラインアップ】 ■Burp Suite Enterprise BurpSuite Enterp...

メーカー・取り扱い企業： テガラ株式会社

開発支援ツール『Ansys SCADE Suite』

セーフティクリティカルな組込み制御ソフトウェア開発支援ツール

『Ansys SCADE Suite』は、モデルベース開発手法によるセーフティクリティカルな 組込み制御ソフトウェア開発支援ツールです。 厳格なセマンティクスを持つグラフィカル言語を使用して、 「ソフトウェア設計、検証(セマンティックチェック、要件ベーステスト、 モデルテストカバレッジ解析、形式検証、最悪実行時間解析、 スタックサイズ解析)、自動Cコード生成」までの一貫したソフトウ...

メーカー・取り扱い企業： 株式会社IDAJ

「Timing-Suite T1」

実機で「見える」タイミング解析

T1は、欧州で多数の導入実績を持つ、実ECUを使った動作タイミング解析ツールです。 ソフトウェア制御のクリティカルなタイミングの動的検証が容易に可能で、実機に搭載したソフトウェアの問題をいち早く発見する事ができます。 　※T1は GLIWA GmbH が企画・開発、ガイオ・テクノロジー（株）が販売を行っています。...　・ECUを動作させながら、タイミング解析が可能 　・タスクの状態遷移...

メーカー・取り扱い企業： ガイオ・テクノロジー株式会社

管理ツール『SCADE LifeCycle』

SCADE適用アプリケーションのライフサイクル管理を行うツールをご紹介

SCADE Architect、SCADE Suite、SCADE Displayを使用した アプリケーション開発では、設計のドキュメント化、要件・設計・実装・ テスト間のトレーサビリティ管理、プロジェクトの進捗や品質評価などの アプリケーションライフサイクルに関係した管理が必要となります。 『SCADE LifeCycle』は、SCADE製品を利用されているお客様に対して、 認証取...

メーカー・取り扱い企業： 株式会社IDAJ

テスト環境ツール『SCADE Test』

効率良く自動化！組込み制御ソフトウェアモデルのテスト環境ツール

『SCADE Test』は、SCADE Suiteで設計した組込み制御ソフトウェアモデルを、 テストエンジニアが独立してテストを行うための環境です。 テストシナリオ保存用のAPI（Test Services API）を使用することで、 ターゲット上で実行した結果をテストシナリオとして保存。これによって、 より実状に近いテストシナリオを作成することができます。 当製品は、テストケー...

メーカー・取り扱い企業： 株式会社IDAJ

開発支援ツール『Ansys SCADE Display』

ディスプレイ仕様レベルでの妥当性確認が可能！組込みディスプレイ開発支援…

『Ansys SCADE Display』は、組込みディスプレイシステムのディスプレイ 仕様設計と自動コード生成を支援するツール環境です。 OpenGL SC/ES標準をサポートし、ディスプレイ仕様設計、プロトタイピング、 シミュレーション、検証＆妥当性確認など、新しいディスプレイ開発の フレームワークを提供します。 ディスプレイ仕様レベルでの妥当性確認作業を可能にし、仕様設計や...

メーカー・取り扱い企業： 株式会社IDAJ

設計支援ツール『Ansys SCADE Architect』

クリティカルシステムのシステム設計・アーキテクチャ設計支援ツール

『Ansys SCADE Architect』は、システムエンジニアがより簡単に、システムや アーキテクチャ設計を行えるよう、SysMLをサポートしたモデル作成環境です。 また、アーキテクチャ設計からSCADE SuiteまたはSCADE Displayによる ソフトウェア設計、ディスプレイ設計にシームレスに進むために、 同期を取る仕組みを提供しています。 これによって、モデルベ...

メーカー・取り扱い企業： 株式会社IDAJ

【モデルベース開発】SCADEによるISO 26262取得支援

ISO 26262認証取得に対して効率的に組込みソフトウェアを開発可能…

「Ansys SCADE」は、ソフトウェア開発に関してISO 26262で規定される多くの 項⽬をツールレベルで満たしており、ISO 26262認証取得に対して 効率的に組込みソフトウェアを開発することができます。 「SCADE」で作成したモデルと⽣成されるCソースコードの⼀致性が認められており、 コードレベルの検証が省略できます。これにより、モデルレベルの検証に集中でき、 より⾼品...

メーカー・取り扱い企業： 株式会社IDAJ

シミュレーションと最適化技術を用いた機能安全コンセプト策定手法

自動運転車開発におけるシミュレーションや最適化技術利用の可能性をご提案…

そこで重要となるのが、シミュレーションの活用です。 【シミュレーション環境のご提案】 ■シミュレーションプラットフォーム「xMOD」 ■シミュレーションプラットフォーム「GT-SUITE」 ■システム・ソフトウェアの統合開発環境「SCADE」 ■多目的ロバスト設計最適化支援ツール「modeFRONTIER」 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下...

メーカー・取り扱い企業： 株式会社IDAJ

Software-Verify

Coverage Validator、Memory Validator…

『Software-Verify』は、ソフトウェア開発者がコードの品質を 向上させるのに役立つツールのレンジを提供します。 コードカバレッジを測定するのに役立つツールの「Coverage Validator」や メモリリークやその他のメモリ関連の問題を検出して修正するのに役立つ ツールの「Memory Validator」などをラインアップ。 ご用命の際は、お気軽にお問い合わせく...

メーカー・取り扱い企業： 株式会社B7