組込み制御ソフトウェア開発支援ツール SCADE Suite
最終更新日2012/04/04
- カタログ
組込み制御ソフトウェア開発支援ツール SCADE Suite 基本情報
信頼性の高いソフトウェアをモデルベース環境で設計するために、以下の設計コンセプトを特徴としています。
・構造化手法によるソフトウェアモデル設計(完全なモジュール化、階層化、再利用性、保守性)
・強い型付けや強いセマンティックによる確定的な振舞いモデルの記述
・安全な言語構文だけで振舞いを記述する
これらのコンセプトを背景に、データフロー・状態遷移表記によってリアクティブシステムの振舞いモデルをエディタ環境で記述していきます。設計モデルはセマンティックチェックによって、データ型の一貫性、代数ループ、初期値不定、未定義の型・変数の存在などが静的に検証され、設計で発生する曖昧な表記や矛盾を未然に防ぐことができます。これは、グラフィカルなSCADE言語が、LUSTREという形式言語上に構築されているため図の意味が一意に確定するからです。
| 価格 | ※ お気軽にお問い合わせください。 |
|---|---|
| 価格帯 | その他 |
| 納期 |
※ お気軽にお問い合わせください。 |
| 発売日 | 取扱い中 |
| 型番・ブランド名 | SCADE |
| 用途／実績例 | ■航空宇宙業界 フライト・制御、ブレーキ、コックピットディスプレイ、バイワイヤー など ■自動車業界 ブレーキ、サスペンション、ボディーエレクトロニクス、バイワイヤー など ■エネルギー・交通システム業界 リアクター制御、信号制御 ★その他適用事例は多数あります。お気軽にお問い合わせください。 |
- イプロス製造業分類カテゴリ:
- IT・ネットワーク>
- 組込みシステム>
- 開発支援ツール（ICE・エミュレータ・デバッガ等）
- イプロス製造業分類カテゴリ:
- IT・ネットワーク>
- 組込みシステム>
- 組込みシステム設計受託サービス
組込み制御ソフトウェア開発支援ツール SCADE Suite 関連ダウンロード
カタログ一覧
上記では、電子ブックの一部をご紹介しております。
クリティカルなシステム・ソフトウェアの統合開発環境 SCADE
SCADEは、セーフティクリティカルなシステムのシステム設計から組込みソフトウェア開発、組込みディスプレイ開発、アプリケーションライフサイクル管理に至る一貫したプロセス構築を可能にする製品群です。
■SCADE System
SysMLを用いて、システムアーキテクチャを設計し、その設計モデルをシームレスにSCADE Suite、SCADE Displayに取り込む
■SCADE Suite
形式言語SCADEによって、ソフトウェアの詳細モデルを設計し、検証。モデルの正しさが確認できれば、認証可能な自動コード生成によって、正しく安全なコードを生成。
■SCADE Display
ディスプレイ画面仕様の設計、アニメーションによる検証を実施。画面仕様の正しさが確認できれば、認証可能な自動コード生成によって、正しく安全なコードを生成。
■SCADE LifeCycle
システム設計からソフトウェア開発・ディスプレイ開発に至る工程で発生する成果物間のトレーサビリティを、SCADE LifeCycleによって管理。また、各設計情報からドキュメントを自動生成する作業も支援。
