D-19
ガイオ・テクノロジー株式会社
ブース内プレゼン
モデルベース開発Back-to-Backテスト統合ツール「MC-Verifier」のご紹介
モデルベース開発におけるBack-to-Backテストのための統合テストツールです。モデル、ソフトウエア、ターゲットコード間の動作一致性を、様々な開発フェーズで確認することができます。マイコンシミュレータを内蔵し、実機コードを用いたPILシミュレーションを標準機能で実行できます。機能安全(ISO26262 / IEC61508)ツール認証を取得しており、厳しい車載ソフト検証の要求に応えます。
15日 | 随時 |
---|---|
16日 | 随時 |
17日 | 随時 |
ISO26262版 SCDL安全コンセプト設計ツール「Safilia」のご紹介
安全コンセプト設計を支援し、設計者、開発者間の情報共有を円滑に進めるためのモデリングツールです。「安全コンセプト記法研究会 SCN-SG 」が策定する、仕様・規格に基づいた、安全コンセプト記述言語 Safety Concept Description Language(SCDL)を採用しています。ブロックダイアグラムによるエディタで安全コンセプトを記述し、共通の合意形成、共有を促進することができます。
15日 | 随時 |
---|---|
16日 | 随時 |
17日 | 随時 |
高品質単体テストサービス「テストパートナーSQV」のご紹介
組込みソフトの単体テストを中心としたテストサービスです。言語解析&テストツールメーカーとしての知見をベースに 品質の高い検証サービスを提供します。自動車機能安全ISO26262が要求するテスト水準のエビデンス、テストレポートの作成にも対応します。
お客様からの要求に従い、短納期のテストに対応するための柔軟&迅速なグローバルリソース調達体制を持っています。テスト結果を納品するだけではなく、テストパートナーとして、お客様のテスト設計/コード設計の改善アドバイスを実施することも可能です。
15日 | 随時 |
---|---|
16日 | 随時 |
17日 | 随時 |
デモ情報
モデルベース開発Back-to-Backテスト統合ツール「MC-Verifier」デモ
モデルベース開発におけるBack-to-Backテストとして、モデル、ソフトウエア、ターゲットコード間の動作一致性をマイコンシミュレータを使用し、実機コードを用いたPILシミュレーションのデモでご覧いただきます。
15日 | 随時 |
---|---|
16日 | 随時 |
17日 | 随時 |
ISO26262版 SCDL安全コンセプト設計ツール「Safilia(セイフィリア)」デモ
ハザード分析より導出されるセーフティゴールからISO26262 Part3、Part4に基づき、効率的に安全コンセプト図を設計、レビューするデモをご紹介いたします。 安全コンセプトのアイテム定義からデコンポジションまでの一連の設計内容を説明いたします。
15日 | 随時 |
---|---|
16日 | 随時 |
17日 | 随時 |
ISO26262対応 キュリティ脅威分析支援ツール「Seculia」デモ
脅威分析手法として広く使用されている、アタックツリーを中心とした脅威分析手法を採用したセキュリティ分析ツールです。 デモでは、EVITA流のアタックツリー分析、最小カットセット、リスクマネジメントの機能を紹介いたします。
15日 | 随時 |
---|---|
16日 | 随時 |
17日 | 随時 |