仏 Esterel Technologies 社

モデルベースのソフトウェア統合開発環境
DO-178BレベルAに準拠
デザインフェーズで検証・評価
移植可能なプロダクションコードを生成
先進グラフィックプロトタイピング技術と仕様性能

航空宇宙・防衛業界におけるセイフティ・クリティカルな組込みシステム

・モデルベースのソフトウェア統合開発環境
  – デザイン、検証ツール分野で世界有数
  – ソフトウェア開発サイクルを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 = セイフティ・クリティカルな、アプリケーション開発環境