How to Develop Reliable Spacecraft Systems at Lower Cost with the Ada Programming Language
How to Develop Reliable Spacecraft Systems at Lower Cost with the Ada Programming Language
Customer success: real results with AdaCore technologies
Customer
SEAKR Engineering is a leading supplier of state-of-the-art spacecraft electronics and a pioneer in the development of solid-state data recorders for satellites.
Challenge
They needed to port their data recorder application software in Ada to a more modern hardware platform and to restructure it using object-oriented techniques.
Solution
SEAKR selected AdaCore’s GNAT Pro as their new integrated Ada development environment for its robust and efficient GNAT compiler, its comprehensive, easyto-use toolset, and its support for bare metal configurations.
Results and Benefits
The transition to the new hardware platform was smooth and efficient. SEAKR has been extremely pleased with the performance of the GNAT Pro compiler and toolset and with AdaCore’s support services. They are saving money through early detection and correction of errors, thanks to Ada and GNAT Pro.
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.