開発支援ツール - 企業ランキング(全7社)
更新日: 集計期間:2025年07月30日〜2025年08月26日
※当サイトの各ページの閲覧回数を元に算出したランキングです。
企業情報を表示
会社名 | 代表製品 | ||
---|---|---|---|
製品画像・製品名・価格帯 | 概要 | 用途/実績例 | |
【機能(一部)】 ■制御モデル設計 ・ブロックダイアグラムによるデータフロー設計 ・設計モデルの静的な検証 ■シミュレーション ・1ステップ、複数ステップ、連続ステップモードでの実行 ・ブロック単位でのシミュレーション実行 ■安全性プロパティの形式検証 ・安全性プロパティのグラフィカルな記述と検証の自動実行 ・検証用ライブラリの提供 ■Cコード生成 ・インライン、コールモードでのコード生成 ・ASAP2ファイルの生成 ■モデリングツールインターフェース ・“モジュラー”方式によるインポート ・SCADEモデルのS-function化 ■コンパイラ検証キット ・KCGからの自動Cコードをターゲットコンパイラで正しくコンパイルされたかを検証するためのテストセット ・KCGのサブセットとモデルパターンに対するCサンプルコードとテストケース ■コードパフォーマンス解析 ・ターゲットCPUとクロスコンパイラの組み合わせに対して、生成されたコードのワーストケース実行時間の見積りと、 スタック最大使用量の計算 | |||
【機能(一部)】 ■グラフィックス設計 ・直観的なGUIによる設計環境 ・ツリー構造による再利用性のある設計方法 ■インタラクティブなデザイン ・マウス/キーボード操作イベントオブジェクトのサポート ・アクティブエリアオブジェクトのサポート ■シミュレーション/アニメーション ・GUI操作による簡単なアニメーション動作 ・SCADE Suiteとの協調シミュレーション ■エルゴノミックチェッカー ・全体設計、ネーミング、グラフィカル設計に関するルールの自動チェックと訂正案の提示 ・手動チェックルールに対するチェックリスト ■Cコード生成 ・DO-178BレベルA、DO-178C TQL1、IEC 61508 SIL3、EN 50128 SIL4、ISO 26262 ASIL D 認証可能なコード生成 ・ターゲットに非依存なCコード生成 | |||
---
--- |
--- | --- |
-
- 代表製品
-
開発支援ツール『Ansys SCADE Suite』
- 概要
- 【機能(一部)】 ■制御モデル設計 ・ブロックダイアグラムによるデータフロー設計 ・設計モデルの静的な検証 ■シミュレーション ・1ステップ、複数ステップ、連続ステップモードでの実行 ・ブロック単位でのシミュレーション実行 ■安全性プロパティの形式検証 ・安全性プロパティのグラフィカルな記述と検証の自動実行 ・検証用ライブラリの提供 ■Cコード生成 ・インライン、コールモードでのコード生成 ・ASAP2ファイルの生成 ■モデリングツールインターフェース ・“モジュラー”方式によるインポート ・SCADEモデルのS-function化 ■コンパイラ検証キット ・KCGからの自動Cコードをターゲットコンパイラで正しくコンパイルされたかを検証するためのテストセット ・KCGのサブセットとモデルパターンに対するCサンプルコードとテストケース ■コードパフォーマンス解析 ・ターゲットCPUとクロスコンパイラの組み合わせに対して、生成されたコードのワーストケース実行時間の見積りと、 スタック最大使用量の計算
- 用途/実績例
開発支援ツール『Ansys SCADE Display』
- 概要
- 【機能(一部)】 ■グラフィックス設計 ・直観的なGUIによる設計環境 ・ツリー構造による再利用性のある設計方法 ■インタラクティブなデザイン ・マウス/キーボード操作イベントオブジェクトのサポート ・アクティブエリアオブジェクトのサポート ■シミュレーション/アニメーション ・GUI操作による簡単なアニメーション動作 ・SCADE Suiteとの協調シミュレーション ■エルゴノミックチェッカー ・全体設計、ネーミング、グラフィカル設計に関するルールの自動チェックと訂正案の提示 ・手動チェックルールに対するチェックリスト ■Cコード生成 ・DO-178BレベルA、DO-178C TQL1、IEC 61508 SIL3、EN 50128 SIL4、ISO 26262 ASIL D 認証可能なコード生成 ・ターゲットに非依存なCコード生成
- 用途/実績例
-
すべてを閲覧するには会員登録(無料)が必要です。
すでに会員の方はこちら