厳密なScade言語（形式記述）による安全要件を満たすためのモデル設計

機能安全対応の自動Cコード生成

Scade言語によるコード品質の保証

Simulinkモデルの取り込みによる資産の再利用化

安全特性に特化した検証・解析機能を提供

モデルメトリクスとモデルチェックによる設計モデル確認

• ● 厳密なScade言語（形式記述）による安全要件を満たすためのモデル設計
• 　・これまでコード生成後に検査が必要であったなエラーケースをモデルベースでチェック
• 　・エラーケース（データ型の定義違い、メモリ不足、ルート演算子の未指定、初期化の未実施、ループの実行順序の未定義など）が
  　　排除されるまでCコード生成ができない仕組み
• 　・モデルベース設計に不慣れな担当者でも特別なガイドラインなしでの設計が可能
• 　・複雑なモデル設計に対応するため、データフローやステートマシン混在が可能

※クリックすると拡大画像が表示されます。

ページトップへ戻る

• ● 機能安全対応の自動Cコード生成
• 　・機能安全認証可能な自動Cコード生成（DO-178C-A, IEC61508 SIL3, EN 50128 SIL4, ISO 26262 ASIL-D, IEC 60880）
• 　・データフローの依存関係を保ったままCコード生成が可能でマルチレートおよびマルチ・メニーコアにも対応

※クリックすると拡大画像が表示されます。

ページトップへ戻る

• ● Scade言語によるコード品質の保証
• ・Scade言語によるコード品質の保証
• ・従来、モデルとコードの等価性を確認するために必要としていた静的チェックやBack-To-Backテストの工程が不要

※クリックすると拡大画像が表示されます。

※クリックすると拡大画像が表示されます。

ページトップへ戻る

• ● Simulinkモデルの取り込みによる資産の再利用化
• 　・準形式言語のSimulinkモデルをSCADEモデルとして取り込めるSimlink Importer機能を装備
• 　・Simulinkブロック記述をSCADEブロック記述へ自動変換することでモデル取り込みを実施
• 　・JMAABの制御モデリングガイドラインで記述されたモデルの自動変換率は約80％
• 　・自動変換に未対応なケースは変換ルールを手動定義することにより対応可能
• 　・SCADEモデルへ自動変換して再利用性の高い機能安全対応モデルとして資産化することで安全機能側の設計を効率化

※クリックすると拡大画像が表示されます。

ページトップへ戻る

• ● 安全特性に特化した検証・解析機能を提供
• 　・モデルの安全性を証明するための形式検証機能（Design Verifier）を装備
• 　・モデルの安全特性について全状態を自動検証（形式検証）
• 　・故障ケースに対する反例テストケースを自動生成
• 　・安全性のリスクを検出（ゼロ除算、オーバーフローなど）
• 　・WCET解析、スタック使用量解析による実行Cコード性能見積り

※クリックすると拡大画像が表示されます。

ページトップへ戻る

• ● モデルメトリクスとモデルチェックによる設計モデル確認
• 　・SCADEモデルのメトリクス情報や制約チェック結果をレポート出力
• 　・算出メトリクス情報や制約チェック内容はカスタマイズ可能

※クリックすると拡大画像が表示されます。

以下より、リーフレットをダウンロードいただけます。