LASP
Raising the Reliability of Scientific Space Exploration
Case Study_
Raising the Reliability of Scientific Space Exploration
How Ada is helping the Laboratory for Atmospheric and Space Physics minimize risk, reduce cost, and assure reliable control of software used for spacecraft and instrument operations.
Download
Proven in Practice_
Customer success: real results with AdaCore technologies
Customer
The Laboratory for Atmospheric and Space Physics (LASP) at the University of Colorado Boulder (CU Boulder)
Challenge
Upgrading and maintaining a mission-critical command and control system for scientific instruments aboard spacecraft
Solution
The Ada programming language, AdaCore's GNAT Pro Ada development environment, and AdaCore technical support
Results and Benefits
LASP’s highly reliable and maintainable OASIS-CC command and control system has stood the test of time for over 35 years and should continue to do so for decades to come
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.