AdaCore: Build Software that Matters
Request Pricing

Tools

  • Compilation Toolchain
  • GNAT Pro
  • GNAT Pro for Ada
  • GNAT Pro for C/C++
  • GNAT Pro for Rust
  • Formal Proof
  • SPARK Pro
  • Static Analysis
  • GNAT Static Analysis for Ada
  • CodeSonar for C/C++
  • Dynamic Analysis
  • GNAT Dynamic Analysis Suite

    • Services

  • Training & Services
  • Enterprise Training
  • Public Training
  • Mentorship

    • Get an Overview

    Explore All Offerings

    Ready To Go?

    Contact a Technical Expert

    Languages

  • Ada
  • C/C++
  • Rust
  • SPARK

    • Ready To Go?

    Contact a Technical Expert

    Industries

  • Avionics
  • Automotive
  • Defense
  • Medical
  • Rail
  • Security
  • Space
    • NVIDIA case study

    Learn how NVIDIA Adopted SPARK for Security-Critical Software Development

    View Case Study

    Company

  • About AdaCore
  • Careers
  • Partners

    • Careers

    View Opportunities

    Explore Resources

  • Publications
  • Papers
  • Books
  • Videos
  • AdaCore Digest
  • More Resources
  • Newsroom
  • Blog
  • Case Studies
  • Events
  • AdaCore's GitHub

    • The AdaCore Blog

    Explore

    Learn Ada & SPARK

    Explore

    Community

  • Academia
  • Download
    • Ada

    Get Started with Ada

    Learn More

    Support

  • GNAT Tracker Login
  • Cybersecurity Center
  • Release Notes
  • Documention
  • Development Logs
    • Fpo main nav bg 02

    Product Roadmap

    Learn More

    Screenshot 2022 09 07 at 21 46 26
    IPESOFT

    IPESOFT: Delivering reliable, long-lived energy and industrial systems with Ada and AdaCore

    222231 adacore ipesoft case study v7 Page 1 2022 09 06 102555 axtu
    Case Study_

    IPESOFT: Delivering reliable, long-lived energy and industrial systems with Ada and AdaCore

    When IPESOFT was looking to develop its core real-time D2000 industrial automation platform, it knew that choosing the right development language and software tools would be crucial to the success of the platform and the company’s overall business growth. The solution needed to be reliable, secure, high performance, and easy and efficient to maintain over the long-term. Ultimately, IPESOFT chose AdaCore’s GNAT Pro and the Ada language to develop its D2000 platform. As a result, the company has successfully completed D2000 implementations in over 2,000 successful projects and has expanded into six countries.
    Download
    Proven in Practice_

    Customer success: real results with AdaCore technologies

    Customer

    IPESOFT - a leading developer of real-time management and production systems for manufacturing and energy facilities.

    Challenge

    To identify a reliable, scalable software programming language and development environment to produce IPESOFT’s core D2000 industrial automation platform, which is used to build longlived, real-time management and production systems.

    Solution

    The Ada programming language, AdaCore’s GNAT Pro Ada development environment, and AdaCore technical support.

    Results and Benefits

    Since 2002, IPESOFT has completed D2000 implementations in over 2,000 successful projects, comprising more than 23 million lines of code, and has expanded into six countries.

    Binary code
    Built for High-Integrity Success_

    Ready to achieve the same results?

    Discover how AdaCore can help you build safe, secure, and high-integrity software tailored to your project’s needs. Speak with our team to explore solutions, pricing, and long-term support options.

    Contact Sales