EnSoft

EnSoft, written ENSOFT on its site, develops tools and offers engineering services for high-assurance software. It was founded to deal with growing complexity in software systems. Its customers include major automotive, aerospace and defence companies in North America, Europe and Asia.

What EnSoft offers

• SimDiff — a comparison and merge tool for Simulink models, for Windows or Linux.
• Modify — converts large embedded C code bases into Simulink models.
• Atlas — a platform for analysing and visualising software systems, often used to understand code written by others.
• SimEngine — building blocks for graph alignment problems on large data sets.
• Engineering services — critical embedded applications, custom program analysis and process automation.
• Due diligence and integration — software assessment before acquisitions, and support after mergers.

Who it works with

More than 450 companies use its products, including firms in construction, energy, healthcare, media, consumer electronics and finance. It also runs training on configuration management for Simulink projects.

Key facts

• Founded: 2002
• Research areas: cybersecurity, program analysis, algebra and graph theory
• Research work: several DARPA projects