. 24/7 Space News .
SEAKR Engineering uses AdaCore technologies to develop software for spacecraft systems
by Staff Writers
London, UK (SPX) May 17, 2021

stock illustration only

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
Space Technology News - Applications and Research

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

Comment using your Disqus, Facebook, Google or Twitter login.

Share this article via these popular social media networks
del.icio.usdel.icio.us DiggDigg RedditReddit GoogleGoogle

Boeing's troubled Starliner capsule now aiming for July launch

Space aged: wine matured aboard ISS expected to sell for $1mn

NASA, Axiom Agree to First Private Astronaut Mission on Space Station

Blue Origin will fly first crew to space in July

Touchdown! SpaceX successfully lands Starship rocket

First Ariane 6 fairing at Europe's Spaceport

SpaceX signs deal with Google Cloud for satellite broadband

SpaceX to launch lunar mission paid with cryptocurrency Dogecoin

Seeing NASA's Ingenuity Mars Helicopter Fly in 3D

Perseverance's Robotic Arm Starts Conducting Science

Perseverance rover captures sound of Ingenuity flying on Mars

Volcanoes on Mars could be active, raise possibility of recent habitable conditions

China wants to send spacecraft to edge of solar system to mark 100th year of PRC

'Nihao Mars': China's Zhurong rover touches down on Red Planet

China's space station takes shared future concept to space

China launches space station core module Tianhe

Xplore opens 22,000 sq ft satellite manufacturing facility to advance satellite production

Spacecraft magnetic valve used to fill drinks

SpaceX launches 60 Starlink satellites from Florida

Egos clash in Bezos and Musk space race

Laser communications powers more data than ever before

Large Chinese rocket segment disintegrates over Indian Ocean

3D printing could be used in search for black holes

US watching Chinese rocket's erratic re-entry: Pentagon

How planets form controls elements essential for life

UBCO researcher uses geology to help astronomers find habitable planets

Hubble Watches How a Giant Planet Grows

First ever discovery of methanol in a warm planet-forming disk

Juice arrives at ESA's technical heart

New Horizons reaches a rare space milestone

New research reveals secret to Jupiter's curious aurora activity

NASA's Europa Clipper builds hardware, moves toward assembly

The content herein, unless otherwise known to be public domain, are Copyright 1995-2024 - Space Media Network. All websites are published in Australia and are solely subject to Australian law and governed by Fair Use principals for news reporting and research purposes. AFP, UPI and IANS news wire stories are copyright Agence France-Presse, United Press International and Indo-Asia News Service. ESA news reports are copyright European Space Agency. All NASA sourced material is public domain. Additional copyrights may apply in whole or part to other bona fide parties. All articles labeled "by Staff Writers" include reports supplied to Space Media Network by industry news wires, PR agencies, corporate press officers and the like. Such articles are individually curated and edited by Space Media Network staff on the basis of the report's information value to our industry and professional readership. Advertising does not imply endorsement, agreement or approval of any opinions, statements or information provided by Space Media Network on any Web page published or hosted by Space Media Network. General Data Protection Regulation (GDPR) Statement Our advertisers use various cookies and the like to deliver the best ad banner available at one time. All network advertising suppliers have GDPR policies (Legitimate Interest) that conform with EU regulations for data collection. By using our websites you consent to cookie based advertising. If you do not agree with this then you must stop using the websites from May 25, 2018. Privacy Statement. Additional information can be found here at About Us.