Flight Software for the LADEE Mission

Cannon, Howard N.

Home/Archive/NASA NTRS

NASA NTRS · 20160000569

Flight Software for the LADEE Mission

Cannon, Howard N.

View original source ↗Export metadata ↓

Abstract

The Lunar Atmosphere and Dust Environment Explorer (LADEE) spacecraft was launched on September 6, 2013, and completed its mission on April 17, 2014 with a directed impact to the Lunar Surface. Its primary goals were to examine the lunar atmosphere, measure lunar dust, and to demonstrate high rate laser communications. The LADEE mission was a resounding success, achieving all mission objectives, much of which can be attributed to careful planning and preparation. This paper discusses some of the highlights from the mission, and then discusses the techniques used for developing the onboard Flight Software. A large emphasis for the Flight Software was to develop it within tight schedule and cost constraints. To accomplish this, the Flight Software team leveraged heritage software, used model based development techniques, and utilized an automated test infrastructure. This resulted in the software being delivered on time and within budget. The resulting software was able to meet all system requirements, and had very problems in flight.

Explore related subjects

LADEE spacecraft software

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Cannon, Howard N.. 2015-10-13. Flight Software for the LADEE Mission. https://ntrs.nasa.gov/citations/20160000569

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

NASA NTRS2020

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con-trol its next near term behavior. We present a high-level view of the automated flight rule checker FRC for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there-fore be verified with a trace analysis tool. FRC is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con-text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

LADEE↗

NASA NTRS2015

LADEE Science Results and Implications for Exploration

NASA's Lunar Atmosphere and Dust Environment Explorer, LADEE, concluded a fully successful investigation of the Moon's tenuous gas and dust atmosphere on April 18, 2014. LADEE hosted three science instruments to address atmospheric and dust objectives, and a technology demonstration of deep-space optical communication. The three science instruments were an ultraviolet-visible spectrometer (UVS), a neutral mass spectrometer (NMS), and a lunar dust experiment (LDEX). All data acquired by these instruments have been submitted to the Planetary Data System. A mission overview and science instrument descriptions are readily available. LADEE inserted into a low-altitude, retrograde lunar orbit optimized for observations at the sunrise terminator, where surface temperatures rise abruptly. LADEE also carried out observations over a wide range of local times and altitudes. Here we describe some of the initial results.

LADEE↗

NASA NTRS2015

Early Operations Flight Correlation of the Lunar Laser Communications Demonstration (LLCD) on the Lunar Atmosphere and Dust Environment Explorer (LADEE)

The Lunar Atmosphere and Dust Environment Explorer (LADEE) mission launched on September 7, 2013 with a one month cruise before lunar insertion. The LADEE spacecraft is a power limited, octagonal, composite bus structure with solar panels on all eight sides with four vertical segments per side and 2 panels dedicated to instruments. One of these panels has the Lunar Laser Communications Demonstration (LLCD), which represents a furthering of the laser communications technology demonstration proved out by the Lunar Reconnaissance Orbiter (LRO). LLCD increases the bandwidth of communication to and from the moon with less mass and power than LROs technology demonstrator. The LLCD Modem and Controller boxes are mounted to an internal cruciform composite panel and have no dedicated radiator. The thermal design relies on power cycling of the boxes and radiation of waste heat to the inside of the panels, which then reject the heat when facing cold space. The LADEE mission includes a slow roll and numerous attitudes to accommodate the challenging thermal requirements for all the instruments on board. During the cruise phase, the internal Modem and Controller avionics for LLCD were warmer than predicted by more than modeling uncertainty would suggest. This caused concern that if the boxes were considerably warmer than expected while off, they would also be warmer when operating and could limit the operational time when in lunar orbit. The thermal group at Goddard Space Flight Center evaluated the models and design for these critical avionics for LLCD. Upon receipt of the spacecraft models and audit was performed and data was collected from the flight telemetry to perform a sanity check of the models and to correlate to flight where possible. This paper describes the efforts to correlate the model to flight data and to predict the thermal performance when in lunar orbit and presents some lessons learned.

LADEE↗