株式会社IDAJ 開発支援ツール『Ansys SCADE Suite』

セーフティクリティカルな組込み制御ソフトウェア開発支援ツール

『Ansys SCADE Suite』は、モデルベース開発手法によるセーフティクリティカルな
組込み制御ソフトウェア開発支援ツールです。

厳格なセマンティクスを持つグラフィカル言語を使用して、
「ソフトウェア設計、検証(セマンティックチェック、要件ベーステスト、
モデルテストカバレッジ解析、形式検証、最悪実行時間解析、
スタックサイズ解析)、自動Cコード生成」までの一貫したソフトウェアの
開発工程を、1つのツール環境で実現します。

【特長】
■ソフトウェア開発に適した統合開発環境
■エディタ環境の充実した機能
■セーフティクリティカルな業界で認証可能な自動Cコード生成
■マルチレートソフトウェアに対応
■マルチ・メニーコアECUに対応 など

※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。

基本情報開発支援ツール『Ansys SCADE Suite』

【機能(一部)】
■制御モデル設計
・ブロックダイアグラムによるデータフロー設計
・設計モデルの静的な検証
■シミュレーション
・1ステップ、複数ステップ、連続ステップモードでの実行
・ブロック単位でのシミュレーション実行
■安全性プロパティの形式検証
・安全性プロパティのグラフィカルな記述と検証の自動実行
・検証用ライブラリの提供
■Cコード生成
・インライン、コールモードでのコード生成
・ASAP2ファイルの生成
■モデリングツールインターフェース
・“モジュラー”方式によるインポート
・SCADEモデルのS-function化
■コンパイラ検証キット
・KCGからの自動Cコードをターゲットコンパイラで正しくコンパイルされたかを検証するためのテストセット
・KCGのサブセットとモデルパターンに対するCサンプルコードとテストケース
■コードパフォーマンス解析
・ターゲットCPUとクロスコンパイラの組み合わせに対して、生成されたコードのワーストケース実行時間の見積りと、
スタック最大使用量の計算

※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。

価格帯 お問い合わせください
納期 お問い合わせください
用途/実績例 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。

カタログ開発支援ツール『Ansys SCADE Suite』

取扱企業開発支援ツール『Ansys SCADE Suite』

ximg03.jpg.pagespeed.ic.-DS_ZW3SjQ.jpg

株式会社IDAJ

■プロダクトの販売および技術サポート ・単独として魅力的でかつ将来性のある分野に属するプロダクト ・何らかの形で既存のプロダクトと連成・連結でき、お客様の問題に対してより良いソリューションを提供するプラットフォーム ・多分野間の連成・連結のためのプロダクト ・デジタルシステムに、シームレスにインテグレートするための必要な機能を有するプロダクト ・様々な解析技術やプロセス、データ群を複合的に活用できる環境:シミュレーション・プロセス・データ・マネジメント(SPDM)が実現できる ■エンジニアリングコンサルティング プロダクトの販売と共にエンジニアリングコンサルティングにも注力。様々な問題解決に必要なプロダクトの利用技術の移転、精度向上及び高速化のための物理モデル開発と組み込み、また、お客様の設計開発業務のプロセス改善と短縮のご提案といったコンサルティングサービスをご提供。 ■MBD・CAEを中心とするシステム構築と開発 長年蓄積してきた解析技術とノウハウ、お客様の課題に対する幅広い知識、様々なプロダクトを使いこなす経験とアクセス環境、これらとシステム開発の経験を統合した設計プロセスのご提案。

開発支援ツール『Ansys SCADE Suite』へのお問い合わせ

お問い合わせ内容をご記入ください。

至急度必須
ご要望必須

  • あと文字入力できます。

目的必須
添付資料
お問い合わせ内容

あと文字入力できます。

【ご利用上の注意】
お問い合わせフォームを利用した広告宣伝等の行為は利用規約により禁止しております。

はじめてイプロスをご利用の方 はじめてイプロスをご利用の方 すでに会員の方はこちら

イプロス会員(無料)になると、情報掲載の企業に直接お問い合わせすることができます。

※お問い合わせをすると、以下の出展者へ会員情報(会社名、部署名、所在地、氏名、TEL、FAX、メールアドレス)が通知されること、また以下の出展者からの電子メール広告を受信することに同意したこととなります。

株式会社IDAJ

開発支援ツール『Ansys SCADE Suite』 が登録されているカテゴリ