制御モデル設計 |
- ブロックダイアグラムによるデータフロー設計
- 状態遷移による制御フロー設計
データフローと制御フローのネストモデル構造
- 設計モデルの静的な検証
- インポートノードによるC関数のインテグレーション
- 固定小数点実装ライブラリの提供
|
Suite
Advanced
Modeler Seat |
シミュレーション |
- セマンティックチェッカーによる構文、意味づけの解析実行
- シナリオベースでのシミュレーション
- 1ステップ、複数ステップ、連続ステップモードでの実行
- ブロック単位でのシミュレーション実行
- デバッグ機能(ブレークポイント、終了条件)
- データロギング(CSVファイル形式)
- シミュレーション結果のグラフ表示、数値表示
- Functional Mock-up Interfaceのサポート
- GT-SUITE、Simulink、LabVIEW向け協調シミュレーションビルド
|
安全性プロパティの形式検証 |
- 安全性プロパティのグラフィカルな記述と検証の自動実行
- 検証用ライブラリの提供
- 反例の表示、反例シナリオの再生
- ゼロ割検証・オーバーフロー/アンダーフロー検証
※Design Verifierには、SCADE Suite Advanced Modeler Seatが必要です。
|
Design Verifier |
Cコード生成 |
- MISRA-C:2004準拠のCコード生成
- IEC 61508 SIL3 認証可能なコード生成
- EN 50128 SIL4 認証可能なコード生成
- DO-178B/CレベルA 認証可能なコード生成
- ISO 26262 ASIL D 認証可能なコード生成
- OSに独立で、静的なメモリアロケーション
- インライン、コールモードでのコード生成
- リアルタイムOSへのラッピングコード生成(OSEK、INTEGRITY、VxWorksなど)
- AUTOSAR Wrapper Codeの生成
- マルチ・メニーコア向けのコード生成
- ASAP2ファイルの生成
※SCADE Suite KCG Code Generatorには、SCADE Sutie Advanced Modeler Seatが必要です。
|
SCADE Suite KCG Code Generator |
モデリングツールインターフェース |
- 離散Simulink®モデルとM-fileの直接インポート
- "モジュラー"方式によるインポート
- Ansys SCADEモデルのS-function化
- 協調シミュレーション(White-boxシミュレーション)
※Gateway for Simulinkには、SCADE Sutie Advanced Modeler Seatが必要です。
|
Gateway for Simulink |
コンパイラ検証キット |
- KCGからの自動Cコードをターゲットコンパイラで正しくコンパイルされたかを検証するためのテストセット
- KCGのサブセットとモデルパターンに対するCサンプルコードとテストケース
※CVKには、SCADE Sutie KCG Code Generatorが必要です。
|
CVK |
コードパフォーマンス解析 |
- ターゲットCPUとクロスコンパイラの組み合わせに対して、生成されたコードのワーストケース実行時間の見積りと、スタック最大使用量の計算
- 解析結果のレポート生成
※Timing and Stack Verifierには、SCADE Sutie Advanced Modeler SeatおよびSCADE Suite KCG Code Generatorが必要です。
|
Timing
and
Stack Verifier |