SEAKR Engineering uses AdaCore technologies to develop software for spacecraft systems

When SEAKR Engineering decided to upgrade its mission-critical space data recorder applications to a new hardware platform, they kept their software in Ada.

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. SEAKR's products are on the International Space Station, on satellites orbiting the earth, and on probes that have travelled to Jupiter. They help explore Earth's atmosphere and relay climate and operational weather data critical to global climate science. They fortify U.S. intelligence and contribute to improving the U.S. battle network by advancing its space-based capabilities.

SEAKR had been using Ada on its data recorders since the late 1980s and they needed to transfer older software baselines to new embedded platforms. First, they needed to port over their Ada code from the previous platform and restructure it, but they also needed a new integrated development environment (IDE), Ada compiler, and toolset to help them do the restructuring with greater efficiency.

To improve their Ada code's efficiency and reliability, they upgraded their development environment to GNAT Pro, AdaCore's complete solution for producing space critical software systems where high assurance (reliability, safety, security), efficiency, and long-term maintainability are essential.

Mike Jelks, staff engineer at SEAKR, who has been programming in Ada for over 30 years, understands the benefits of Ada's strong typing, tasking, protected objects, and object-oriented features. "By using strong typing properly, you can reduce your errors and catch them at compile time rather than later on in the development process," says Jelks. "Ada discourages or prevents many of the bad programming practices that typically cause problems in C and C++. Common errors that you'd make in a language like C, you're much less likely to make in Ada."

SEAKR has been extremely pleased with the performance of the GNAT Pro compiler, toolset and with AdaCore's customer support services. They are saving money through early detection and correction of errors, thanks to Ada and GNAT Pro. Jamie Ayre, Commercial Director at AdaCore, highlighted, "Ada saves money through early detection and correction of errors that are typical in C and C++.

The GNAT Pro compiler detects the vast majority of coding errors during compilation. Others are caught with standard Ada run-time checks, and GNATcheck helps to eliminate additional potential errors by enforcing project-specific Ada coding standards. Combined with AdaCore's industry-renowned expert support, customers benefit from a complete software development package that allows them to efficiently build critical software platforms."

Jelks notes that "companies who create critical applications for the space sector, with a low tolerance for risk, would do well to use Ada, even if they're more familiar with other languages."

AdaCore has a long history of providing tools and expertise to the Space industry, helping developers build mission critical applications. AdaCore has years of experience working with Space customers

and has a deep understanding of the software standards involved and the tools and services needed to ease the workflow and manage costs.

Find further information about how SEAKR Engineering uses Ada and AdaCore technologies to develop software for spacecraft systems in the full case study here.

Related Links
AdaCore
Space Technology News - Applications and Research

Tweet

Thanks for being there;
We need your help. The SpaceDaily news network continues to grow but revenues have never been harder to maintain.

With the rise of Ad Blockers, and Facebook - our traditional revenue sources via quality network advertising continues to decline. And unlike so many other news sites, we don't have a paywall - with those annoying usernames and passwords.

Our news coverage takes time and effort to publish 365 days a year.

If you find our news sites informative and useful then please consider becoming a regular supporter or for now make a one off contribution.

SpaceDaily Monthly Supporter
$5+ Billed Monthly

paypal only

SpaceDaily Contributor
$5 Billed Once

credit card or paypal

Laser communications powers more data than ever before
Greenbelt MD (SPX) May 13, 2021
Launching this summer, NASA's Laser Communications Relay Demonstration (LCRD) will showcase the dynamic powers of laser communications technologies. With NASA's ever-increasing human and robotic presence in space, missions can benefit from a new way of "talking" with Earth. Since the beginning of spaceflight in the 1950s, NASA missions have leveraged radio frequency communications to send data to and from space. Laser communications, also known as optical communications, will further empower missi ... read more