クリティカルなシステム・ソフトウェアの統合開発環境 SCADE クリティカルなシステム・ソフトウェアの統合開発環境 SCADE System®：SysMLベースのシステム設計ツール SCADE Suite®：SCADE言語に基づくソフトウェア設計・検証・コード生成ツール SCADE Display®：組込みディスプレイの画面仕様・検証・コード生成ツール SCADE TestTM：ソフトウェアのテストケース作成と管理、 カバレッジ計測とテストの実行ツール SCADE LifeCycle®：SCADE製品を適用しているアプリケーションのライフサイクル管理ツール 効率的なモデルベースシステム・ ソフトウェアエンジニアリング SCADEは、Esterel Technologies社によって開発された、セーフティクリティカルな システムのシステム設計から組込みソフトウェア開発、テスト、組込みディスプレイ 開発、 アプリケーションライフサイクル管理に至る一貫したモデルベース開発プ ロセスの構築を可能にする製品群です。 SCADE Systemでシステムの機能やシステム構成をモデリングし、 そのモデル情報をシームレスにSCADE Suite、SCADE Displayに取 り込みます。 システム設計 SCADE Suite上では、グラフィカル表記のSCADE言語によって詳細 設計をし、SCADE Testによって要件ベースのテストを行います。 よって、正しく安全なコードを生成します。 HMI ソフトウェア開発 制御ソフトウェア 開発 モデルの正しさが確認できれば、認証可能な自動コード生成に 組 込 SCADE Display上では、ディスプレイ画面仕様の設計、アニメーション による検証を行います。画面仕様の正しさが確認できれば、認証 可能な自動コード生成によって、正しく安全なコードを生成します。 み シ ス テ ム ＆ソ フト ウェ ア テスト環境 この開発プロセスで設計されたモデルをドキュメント化し、要件に 対するトレーサビリティをSCADE LifeCycleによって管理します。 SCADE はEsterel Technologies社により開発されました。 本文中に記載の会社名、製品名、サービス名等は、 それぞれ各社の商標または登録商標です。 理 管 ル ク イ サ フ イ ラ クリティカルなシステム・ソフトウェアの統合開発環境 SCADE System SCADE Display SysMLベースのシステム設計 ディスプレイ仕様の設計 SysML表記に基づく機能定義、 システムアーキテクチャ設計 モデリングルールに対するチェックとモデルディフ機能によるシステム設計の差分比較 SCADE Suite・SCADE Displayと同期（ポート情報を含めたエクスポート） コンフィギュレータによるSysML言語構文の拡張 ツリー構造によるデザインの容易な管理(サ ブツリーの再利用、描画順序) 模様マッピング、ハロー効果、アンチエイリア ス、αブレンド属性のサポート インタラクティブな振舞いの設計(マウス、 キーボード、SCADE Suiteモデルの取込み) 繰返し描画指定のシンボル、Cコードインポー ト用オブジェクト 日本語フォントにも対応した様々なフォントの インポートとフォントエディタによる作成支援 ディスプレイデザインの検証 ディスプレイシミュレータによるテスト SCADE Suiteと共通のテストシナリオ書式を サポート SCADE Suiteのシミュレータとの協調シミュレー ション オブジェクト名、変数名の付け方などのデザ インルールに対するチェックと代替案の提示 SCADE Suite 制御ソフトウェアモデルの設計 デザインから自動Cコード生成 厳格なセマンティクスを持つSCADE言語に よる詳細設計 データフローとステートマシンのネスト化 による直感的なモデリング 完全なモジュラー方式による設計 モデルディフによる設計モデルの差分比較 認証可能なCコード生成（DO-178CレベルA、IEC 61508 SIL3、EN 50128 SIL4、ISO 26262 ASIL D） による単体テストの省略 OpenGL SC/ESに準拠したコード生成 SCADE Test 制御ソフトウェアモデルの検証 セマティックチェックによる整合性の検証 シミュレータ上での要件ベーステスト （シナリオによる自動実行、ログ出力、終了条件設定など） 他ツールとの協調シミュレーションビルド（Simulink、GT-SUITE） 形式検証による安全性プロパティの検証（ゼロ割発生、オーバーフロー発生） ワーストケース実行時間解析、 スタック使用量の解析（モデル構造、 コード生成オプション、 コン パイラオプションの違いによる実行コードの性能比較） SCADEテスト環境 CSVからテストケースの自動生成とテスト手 続きの管理 SCADEモデルに対するテストとカバレッジ 解析（モデル・コードレベル）の自動実行 テスト結果・カバレッジ解析結果のレポート 生成 ターゲット上のテスト用にテストハーネス生 成（テスト管理ツールと連携） SCADE LifeCycle ドキュメントの自動生成 モデルから自動Cコード生成 認証可能なCコード生成（DO-178CレベルA、IEC 61508 SIL3、EN 50128 SIL4、ISO 26262 ASIL D、IEC-60880）による単体テストの省略 安全な構文に限定（Cサブセット）、副作用が発生しないコーディングスタイル（MISRA準拠）を満 たすコードの生成 各 種 R T O S へ のラッピングを含 むコード生 成（ウィンドリバー社 製 V x - W o r k s、G H S 社 製 INTEGRITY、OSEK準拠RTOS） 既存環境への統合とカスタマイズ性 Simulink/Stateflow：ウィザードによるSimulink/StateflowモデルのSCADEへのインポート Tclスクリプト、Eclipse APIによるSCADEモデルへのアクセスとツール環境のカスタマイズ システム設計モデル、制御ソフトウェアモデル、ディスプレイデザインからドキュメントの自動 生成 RTF、HTML出力形式でのレポート生成 要件管理によるトレーサビリティソリューション Word、Excel、pdf、Visioなどの要件ドキュメント、SCADE 製品のデータ、テスト設計・データ・結果間のトレーサビ リティ構築と管理 トレーサビリティマトリックス・インパクト解析・カバレッ ジ解析のレポート出力 SCADEの適用産業界 動作環境 航空・宇宙業界：フライト制御、ブレーキ、コックピットディスプレイ、エンジン制御など エネルギー・交通システム業界：リアクター制御、計装システム、鉄道信号制御、列車制御など 自動車業界：ブレーキ、サスペンション、ボディーエレクトロニクス、電気自動車、ハイブリッド自動車など PC：Windows7 SP1、Windows8.1 【製品・サービスに関するお問い合せ先】 株式会社 IDAJ w w w . id a j. co . j p [email protected] ●SCADE はEsterel Technologies社により開発されました。 ●本文中に記載の会社名、製品名、サービス名等は、 それぞれ各社の商標または登録商標です。 本 社 ／ TEL：045-683-1990 FAX：045-683-1999 中部支社 ／ TEL：052-569-2581 FAX：052-569-2582 関西支社 ／ TEL：078-384-5325 FAX：078-384-5336 15.08-1,000
© Copyright 2024 ExpyDoc
