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

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

SimDiff Automation
は、Simulink を最新の DevOps に統合します

SimDiff Automation は、Simulink を最新の DevOps ワークフローに統合し、比較、マージ、バージョン管理などのモデルベースの設計タスクを簡素化します。このデモでは、コラボレーションを強化してプロセスを合理化するように設計されたコア機能の概要を説明します。自動車や航空宇宙などの業界に最適な SimDiff Automation は、チームが Simulink モデルをより効率的に使用できるようにします

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

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

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

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

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

Atlas は、ソフトウェア分析の問題に対し、高速で拡張性の高いソリューションを構築するための最先端のプラットフォームです。Atlasは、数千万行に及ぶ大規模なレガシーソフトウェアの分析に使用されています。アプリケーション分野には、自動移植、バイナリ解析、マルウェア検出、最小限のパッチ生成などがあります。EnSoft は、Atlas を使用して、米国国防総省及び民間顧客向けのカスタムソリューションを構築しています。