24/7 Space News
Security considerations in flight launcher software
illustration only
Security considerations in flight launcher software
by Sophie Jenkins
London, UK (SPX) May 21, 2024

When Latitude began creating their small satellite launcher, Zephyr, they recognized the importance of selecting the correct programming language and development tools to support their efforts. They chose to work with high-integrity software experts AdaCore.

Latitude, who closed a Series B funding round in January of 2024 is currently preparing the first flight of Zephyr that will occur late 2025.

In this article, Jose Ruiz, a Product Manager at AdaCore, explores two essential factors to consider when selecting secure software for your space industry projects: the use of memory-safe languages and formal verification.

In the competitive New Space industry, ingenuity, reliability, and cost-effectiveness are paramount. When developing new projects, the correct choice of programming language is critical.

Selection of Memory-Safe Programming Languages
Memory safety is a crucial concept in software development. It addresses how an application handles memory operations such as reading, writing, allocation, and deallocation. A memory-safe application operates within the bounds of its allocated memory (it doesn't access or modify memory locations that it's not allowed to access).

Improper memory management can result in severe problems in software reliability. Languages that aren't memory-safe also negatively impact stability, developer productivity, and application performance. Organizations can substantially diminish software vulnerabilities by leveraging languages engineered to preempt memory safety issues, such as buffer overflows and use-after-free errors.

Introducing Formal Verification
Formal verification frameworks are instrumental in assessing the correctness of hardware and software design operations by applying formal mathematical proofs. These frameworks ensure the correctness of underlying algorithms within a system.

Despite adopting memory-safe programming languages, vulnerabilities persist in software systems. Testing alone is insufficient to comprehensively address these vulnerabilities due to the inherent complexities of code. Formal methods offer a systematic approach to demonstrating correctness and integrate verification into the development process.

Additionally, formal verification facilitates compliance with regulatory requirements and industry standards by providing concrete evidence of software correctness and security. Whether adhering to data privacy regulations, cybersecurity protocols, or quality assurance benchmarks, formal verification offers a robust framework for meeting and exceeding regulatory expectations.

Latitude and Zephyr
Latitude judged Ada and SPARK to have the best support for sound software engineering practice for their 200kg capacity launcher in LEO, thus reducing life cycle costs while meeting real-time embedded systems performance and predictability requirements.

By prioritizing memory safety and embracing formal verification, organizations can enhance their software's resilience against vulnerabilities and demonstrate compliance with regulatory expectations.

Related Links
Space Technology News - Applications and Research

Subscribe Free To Our Daily Newsletters

The following news reports may link to other Space Media Network websites.
Where is the Best Place to Buy Used Books?
Los Angeles CA (SPX) May 13, 2024
An average student's battle to acquire a textbook at a reasonable price is the hardship he/she has to go through every day. Baffling if it is possible to get the textbooks for the semester without any fortune to waste. There is no doubt in my mind that the top spot of receiving money is not the most expensive one and it helps you to start the year off smoothly with no financial troubles. ... read more

NASA and Boeing Advance Starliner Tests with Crew at Space Station

Human bodies mostly recover from space, tourist mission shows

Ohio State students to test space food solutions for NASA

US and Germany double down on space exploration

Ariane 6 to launch RAMI Deployer for interplanetary missions

FAA seeks public input on SpaceX Starship's environmental impact in Florida

European Consortium Receives euro 15M for Inflatable Heat Shield Development

Boeing Starliner spacecraft springs more leaks on way to ISS

Water frost discovered on Mars' tallest volcanoes

Frost discovered on top of giant Mars volcanoes

NASA Observes Mars Illuminated During Major Solar Storm

New analysis suggests lack of subglacial lake on Mars

Hainan Launch Center Completes Construction for First Mission

Ten make the cut for China's fourth batch of astronauts

China announces first astronaut candidates from Hong Kong, Macau

China sees commercial sector as next frontier in US space race

Apex secures $95M in Series B Funding to Scale Satellite Bus Production

Satellite megaconstellations could impact ozone hole recovery

Yahsat Contracts Airbus for New Al Yah Satellites

Fired SpaceX workers sue Elon Musk over workplace abuses

Blue Canyon to supply spacecraft buses for NASA's PolSIR mission

10 Benefits of Using 360Learning for Your Company's Learning Needs

Where is the Best Place to Buy Used Books?

Security considerations in flight launcher software

Laser tests reveal new insights into key mineral for super-Earths

NASA and ESA explore habitability of exoplanets with Chandra and XMM-Newton

NASA satellite detects smaller object in black hole pair for the first time

ISS 90th spacewalk will retreive microorganisms from exterior of space station

Understanding Cyclones on Jupiter Through Oceanography

Unusual Ion May Influence Uranus and Neptune's Magnetic Fields

NASA's Europa Clipper Arrives in Florida for Launch Preparation

New Earth-Based Telescope Images of Jupiter's Moon Io Match Spacecraft Quality

Subscribe Free To Our Daily Newsletters

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.