|
|
モデルベースのソフトウェア統合開発環境 |
航空宇宙・防衛業界におけるセイフティ・クリティカルな組込みシステム

・モデルベースのソフトウェア統合開発環境
– デザイン、検証ツール分野で世界有数
– ソフトウェア開発サイクルを50%削減
・DO-178B レベルA品質保証(航空宇宙&防衛)
・エアバス社最新鋭機A380 FCGUシステム他多数の実績
・精密なデザインセマンティック
– デザインプロセスをグラフィカルに表記
– 既存デザインフローのシームレスな統合・体系化– ノード演算単位による多重構造
– 入出力明示型インタフェース
– ステートマシン起動制御フローモデリング
– 機能豊富なライブラリ群
・確かなプロダクションコードの生成
– KCG品質のCコード自動生成
– グラフィカルなデバッグ、シミュレーション、シナリオ記録再生
![]()
・高品質、低フットプリントの組込みグラフィックデザインツール
・DO-178B レベルA品質保証
– IEC61508(輸送産業)、EN50128(鉄道)、IEC60880(原子力)の国際安全基準に沿った認定・品質保証
・エアバス社A350コックピットディスプレイシステム他多数の実績
・高度なグラフィックプロトタイピング、仕様性能
– 人間工学チェッカーによるデザイン効率チェッカー表示
– SGL&OpenGLグラフィックライブラリ
– WYSIWYG(ウィジウィグ)編集
– XML、PNG、JPG、HTML規格準拠
– シナリオに基づいた埋込み変数のアニメーション化
– シンボロジー描画
・KCG品質のCコード自動生成
・SCADE Suiteモデラーとのダイレクトマッピング
SCADE = セイフティ・クリティカルな、アプリケーション開発環境




