SimDiff 4
Simulinkモデルにおける使用に必要な全機能

SimDiff は、2005 年に初リリースを発表して以来、Simulink モデルの先導的な比較・マージツールとして知られています。SimDiff の正確さ、スピード、安定性は、世界中の自動車業界、航空宇宙業界、そして軍需産業の大企業の信頼を維持してきました。
Stateflow, dSPACEブロックセット, RTW, Xilinx 等の全主要ブロックセットに対応しています。WindowsやLinuxにおいて作動し、MATLAB全版に対応しています。

Simhance
Simulink モデルを規格標準や最新仕様に合わせるなど、自動的に変換します

Simhance は、標準準拠、最新化、または他のチームからモデルを取り込む際に、モデルを自動的に変換します。Simhance の標準バージョンは、JMAAB 6 ガイドライン違反を自動的に検出して修正することができますが、弊社 EnSoft は最新化やその他のプロジェクトのニーズに合わせてお客様にカスタムバージョンをご案内できます。

Modelify
C 言語のコードから Simulink モデルへの変換

Modelifyは、C 言語のレガシーコードを Simulink モデルに変換する新しいツールです。Modelify では、文字通りにコードの変換を実行するのではなく、C 言語の低レベルのロジックから Simulink における高度なモデルに転換します。これによって、モデルが維持可能で MAAB モデリングガイドラインに厳密に準拠することとなり、Simulink での使用に適した状態になります。

Atlas
ソフトウェアシステムを理解するための分析・可視化プラットフォーム

Atlasには、把握し難いバグの検索、スマートクオリティ保証チェックのスクリプティング、新しいコードの理解、膨大なコード変更の評価、その他多数を含む数多くの一般的な適用性があります。