^

Industries

Industries

Space industry

Space

Embedded software plays a critical role in space applications, where reliability, precision, and the ability to function in extreme conditions are paramount. These applications include control and navigation, payload operations, communications, collision avoidance, onboard diagnostics, and a host of other mission critical functionality.

For almost half a century, LDRA has been helping companies adhere to the best practices such as those laid down by the ECSS and NASA standards. Our tools ease the challenges of compliance by automating best practices from requirements traceability through static code analysis, software metrics, and coding standards adherence, to unit testing, integration testing, and structural coverage on host or target.

SPACE | ECSS | NPR (NASA) | MISRA | CERT | ISA/IEC 62443

What is the European Cooperation for Space Standardization (ECSS)?

The European Cooperation for Space Standardization (ECSS) is “an initiative established to develop a coherent, single set of user-friendly standards for use in all European space activities.”

It is a cooperative effort involving the European Space Agency (ESA), Eurospace representing the European space industry, and various space agencies. Its primary goal is to create and uphold a unified, easily accessible set of standards for use across all European space endeavours. This initiative was established in 1993 in response to Eurospace’s appeal for harmonizing space product assurance standards at a European level. On June 23, 1994, the ESA formally embraced it through resolution ESA/C/CXIII/Res.1, supplanting its existing Procedures, Specifications, and Standards (PSS) system.

The ECSS organization and processes document ECSS-D-00B explains how ECSS activities are organized through a number of bodies as defined through ECSS policy. This organization chart of the ECSS bodies is an extract from that document.

Which ECSS standards relate to embedded software?

ECSS standards cover a wide range of topics related to space activities, including engineering, quality assurance, safety, and more. The ECSS standards are designed to ensure consistency, reliability, and safety in European space missions.

The ECSS standards most pertinent to embedded software are:

  • ECSS-E-ST-40C: Software Engineering
  • ECSS-Q-ST-80C: Software Product Assurance
  • ECSS-E-ST-70-41C: Software Formal Verification
  • ECSS-Q-ST-80-02C: Software Product Assurance – Dependability
  • ECSS-M-ST-20C: Space Data Systems and Information Exchange Systems

What is NASA?

NASA, or the National Aeronautics and Space Administration, is the United States government agency responsible for the nation’s civilian space programme and for aeronautics and aerospace research.

How is NASA’s guidance on software development structured?

NASA guidance documents relating to the development of embedded software fall into two groups – standards and procedural requirements. The two groups are complementary, in that NPRs ensure that the processes and management aspects align with NASA’s goals, while STDs set the technical and engineering standards for achieving those goals.

Which of the NASA standards relate to embedded software?

The NASA standards most pertinent to embedded software are:

  • NASA-STD-8719.13: Software Safety
  • NASA-GB-8719.13-1: Supplementary guidance document associated with NASA‑STD-8719.13B
  • NASA-STD-8739.8: Software Assurance and Software Safety
  • NASA-STD-8739.7: Software engineering practices

Which of the NASA Procedural Requirements (NPRs) relate to embedded software?

The NPRs most pertinent to embedded software are:

  • NPR 7150.2D: Software Engineering Requirements
  • NPR 7123.1: Systems Engineering Processes and Requirements
  • NPR 8715.3: General Safety Program Requirements

How do NASA and ESA/ECSS software development standards compare?

While there are similarities in NASA and ESA/ESCC approaches to software development due to the nature of space missions, there are also some differences. Here are some comparisons:

  • Documentation Standards

NASA places a strong emphasis on extensive, standardised documentation throughout the software development lifecycle. Their Software Engineering Handbook provides guidelines for documentation.

The ESA Software Engineering Standards also value documentation but offer more flexibility and may be adapted to specific mission needs.

  • Verification and Validation

Both NASA and ESA have rigorous verification and validation processes, and both place a strong focus on software safety and reliability. However, there are variations between their specific procedures and criteria – for example, ESA requires evidence of source to object code traceability for the most critical applications, whereas NASA does not.

  • Software Assurance

Both agencies make software assurance a critical part of their standards. NASA’s Software Assurance (SA) process has similar aims to ESA’s Software Product Assurance (SPA) process. Both ensure that software products meet quality and safety standards and include audits, reviews, and independent assessments.

  • Open Source and Commercial Software

NASA occasionally uses open-source software but tends to rely more on custom-developed software due to its mission-specific requirements. Commercial off-the-shelf (COTS) software is also used when appropriate.

ESA may use a combination of open-source, commercial, and custom software, depending on the mission’s needs and budget constraints. They are typically required to adhere to the same high standards and procedures outlined in ESA’s software engineering standards.

  • International Collaboration

Both ESA and NASA often collaborate with international partners, including each other, on space missions. In such cases, software development standards may need to be harmonized to ensure compatibility and interoperability.

Which cybersecurity standards apply to space applications?

Although current NASA and ECSS standards make some passing reference to cybersecurity, neither offers detailed guidance on best practice. The draft document ECSS-E-ST-40C Rev1 does offer some promise of change in the future. In the meantime, it is generally acknowledged that the products of the industry represent critical infrastructure – for example, that is already acknowledged in the UK, while there are also moves towards the US taking a similar position.

Until more detailed, space-specific guidance is available, identifying appropriate best practices and adhering to them is likely the most pragmatic and prudent approach. The information relating to the Aerospace Security Framework and the generic cybersecurity advice offered by IEC 64443 may be helpful.

How do LDRA tools apply to space applications?

  • Requirements traceability. TBmanager supports bidirectional traceability of requirements, development, and verification artefacts and activities throughout the space application software development life cycle, facilitating impact analysis and the provision of evidential compliance artefacts.
  • Traceability to standards. TBmanager also provides for bidirectional traceability to space-related functional safety and cybersecurity standard objectives.
  • Coding standards compliance. Applicable to in-house, industry standard, or hybrid rule sets, TBvision’s static analysis simplifies the enforcement of the coding standards applicable to embedded systems for space.

  • Structural Coverage Analysis. The LDRA tool suite supports the rigorous coverage analysis requirements demanded by space-related functional safety and cybersecurity standards.
  • MC/DC  The structural coverage analysis capabilities of the LDRA tool suite includes Modified Condition/Decision Coverage
  • Source code to object code traceability. The TBobjectbox module provides an automated mechanism to achieve complete Object Code Verification (OCV) by relating code coverage at the source code level to that achieved at the object code level.
  • Tool Qualification. The LDRA Tool Qualification Support Packs (TQSPs) provide support for the qualification of its tool suite for both structural coverage analysis (SCA) and programming rules checking (PRC).
  • Integration with MBSE (Model Based Systems Engineering). There is increasing interest in MBSE in space systems. LDRA provides unique integrations with some of the market-leading model-based development environments including MATLAB/Simulink from the MathWorks, IBM Engineering Systems Design Rhapsody, and the Ansys SCADE Suite.

Additional Information

Space – free PDF downloads

Space – further information

FREE 30 Day
TRIAL

Email Us

Email: info@ldra.com

Call Us

EMEA: +44 (0)151 649 9300

USA: +1 (855) 855 5372

INDIA: +91 80 4080 8707

Connect with LDRA