「SecuLia」は、セキュア開発プロセスにおけるセキュリティ脅威分析を支援するツー...
EVITAで採用されたAttack Treeを採用しており、EVITA流の脅威分析支援、直感的操作でAttack Tree(AT)やFault Tree(FT、故障木)を編集・作成でき、リスクアセスメントを部分的にも、全体に対しても可能とします。FT図の...
T1は、欧州で多数の導入実績を持つ実ECUを使ったタイミング解析ツールです。
ソフトウェア制御のクリティカルなタイミングの動的検証が容易に可能で、実機に搭載したソフトウェアの問題をいち早く発見する事ができます。 ※T1は GLIWA GmbH が企画・開発、ガイオ・テクノロジー(株)が販売を行っています。 ◆詳細はカタログ...
Cソースを静的解析し、変数の競合状態を図表で生成、不具合リスク箇所の特定に寄与
■製品概要 Cソースを静的解析し、変数の競合状態や関連性を図表で生成し、お客様のレビューの効率化や、品質向上、不具合リスクの特定に貢献致します。 ポインタ関数/変数、マルチコア・排他制御にも対応しております。 ■製品特徴 ・ガイオ・テクノロジ...
2020年4月正式リリース予定の新製品です。
単体テストのテストデータを使用し、関数単体の実行速度を検証できます。 RAMやROM、IOレジスタ等のアクセスに対するレーテンシーを設定することで、メモリアクセスの計測結果を出力します。 弊社ブース内体験コーナーにて、本製品を含む、6製品のデモを...