ENSOFT helps companies develop and modernize high-assurance software. Today our products and services are used by over 450 companies worldwide including every major automotive, aerospace, and defense company in North America, Europe, and Asia. ENSOFT’s clients also include companies in construction, energy, healthcare, media, consumer electronics, and finance. Our research portfolio spans cybersecurity, program analysis, algebra, and graph theory. ENSOFT has executed multiple high-profile DARPA research projects, as well as aided in clients’ internal research projects.

Services

Products

Everything you need to collaborate on Simulink models.

Integrates Simulink into modern DevOps.

Convert C code to Simulink models.

Automatically transforms Simulink models for standards compliance, modernization, and more.

Analysis and visualization platform for understanding software systems.

Build highly-scalable solutions to graph alignment problems.

ENSOFT’s Customers

Airbus
Bae Systems
Boeing
Lockheed Martin
Northrop Grumman
Raytheon
NASA
John Deere
Daimler
Honda
Ford
General Motors
Mazda
Nissan
Subaru
Toyota
Volkswagen
Continental
Denso
Hyundai Mobis
ZF Friedrichshafen AG
Honeywell
Caterpillar
Sony
Toshiba
Panasonic
Siemens
ABB
Fujitsu
Bosch