セーフティクリティカルな組込み制御ソフトウェア開発支援ツール
『Ansys SCADE Suite』は、モデルベース開発手法によるセーフティクリティカルな 組込み制御ソフトウェア開発支援ツールです。 厳格なセマンティクスを持つグラフィカル言語を使用して、 「ソフトウェア設計、検証(セマンティックチェック、要件ベーステスト、 モデルテストカバレッジ解析、形式検証、最悪実行時間解析、 スタックサイズ解析)、自動Cコード生成」までの一貫したソフトウェアの 開発工程を、1つのツール環境で実現します。 【特長】 ■ソフトウェア開発に適した統合開発環境 ■エディタ環境の充実した機能 ■セーフティクリティカルな業界で認証可能な自動Cコード生成 ■マルチレートソフトウェアに対応 ■マルチ・メニーコアECUに対応 など ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
この製品へのお問い合わせ
基本情報
【機能(一部)】 ■制御モデル設計 ・ブロックダイアグラムによるデータフロー設計 ・設計モデルの静的な検証 ■シミュレーション ・1ステップ、複数ステップ、連続ステップモードでの実行 ・ブロック単位でのシミュレーション実行 ■安全性プロパティの形式検証 ・安全性プロパティのグラフィカルな記述と検証の自動実行 ・検証用ライブラリの提供 ■Cコード生成 ・インライン、コールモードでのコード生成 ・ASAP2ファイルの生成 ■モデリングツールインターフェース ・“モジュラー”方式によるインポート ・SCADEモデルのS-function化 ■コンパイラ検証キット ・KCGからの自動Cコードをターゲットコンパイラで正しくコンパイルされたかを検証するためのテストセット ・KCGのサブセットとモデルパターンに対するCサンプルコードとテストケース ■コードパフォーマンス解析 ・ターゲットCPUとクロスコンパイラの組み合わせに対して、生成されたコードのワーストケース実行時間の見積りと、 スタック最大使用量の計算 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
価格帯
納期
用途/実績例
※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
カタログ(2)
カタログをまとめてダウンロード企業情報
常に最先端のデジタル・エンジニアリングによるバーチャル・プロダクトおよび協調設計プロセスを構築する技術を我々の範疇としながら、MBD・CAE技術とその周辺技術領域へフォーカスしています。 時代をリードする最先端のSWベンダーとパートナーシップを結び、熱流体解析から構造解析、電磁場解析、音響解析、システムシミュレーション、最適化技術、組込みソフトウェア開発環境、解析利用技術を支えるシミュレーション・プロセス・データ・マネジメント(SPDM)ソリューション等、国内トップレベルのデジタル・エンジニアリング技術で、多様化・複合化するお客様の課題を解決するために必要なエンジニアリング環境をトータルでご提案します。 公式ブログ https://www.idaj.co.jp/blog/ IDAJ Youtube Channel https://www.youtube.com/channel/UCGCd8pB5Lwq_noIoxpgJrrw/featured X https://twitter.com/IDAJ_CAE Facebook https://www.facebook.com/IDAJ.CAE