Based on needs specified by companies, EnSoft designs and develops tools that make it easier for the companies to manage complex software and improve its reliability and performance. Examples of our projects include:

• Avionics Company in USA: Tools for auditing avionics software for compliance with the Federal D0178B Standard for the safety-critical avionics software
• Avionics Company in USA: A translator for conversion between a Rhapsody models and the standard AADL XML format used by OSATE and other open-source tools
• Avionics Company in USA: Application-specific improvements in Eclipse-based Open Source AADL Tool Environment (OSATE) to handle large AADL models
• Automobile Company in Japan: A tool-chain driver for Model Based Development process with Simulink, SimDiff, and other tools
• Financial Services Company in USA: A tool for dissecting COBOL software
• Insurance Company in USA: A tool for mining COBOL software

These tools have helped companies in automating significant parts of tedious and time consuming manual work. For example, the customized auditing tool for auditing safety-critical avionics software has now been qualified and the avionics company uses the tool to conduct code audits for FAA certification. Volumes of code can be audited in matter of minutes as opposed to manual inspections that took hours.

• SimDiff Pro
• SimDiff LT
• SimMerge
• Services

• Overview
• Custom Tools
• Software Architecture Reports
• Program Comprehension Training