Sustainability of Flight Software for Multi-Generational Time Periods

NASA and other organizations are beginning to seriously consider missions that will extend over such long periods of time that the teams that develop, maintain, and operate their assets will have a complete replacement of staff over the life of the mission. What are the impacts on sustaining and maintaining flight software (FSW) over long time periods? FSW development already suffers from staffing shortages because the programming languages taught in schools are not typically used for FSW; thus, new graduates tend to have limited exposure. Furthermore, languages such as C are now sufficiently out of vogue that new graduates may see investing time to become proficient using them as undesirable in the long run for their career. Staffing is only one concern. A related concern is sustainability of the development and test environment. Languages and operating systems are replaced over time. What if the FSW development environment is no longer supported in a few years? This situation is exacerbated by current cybersecurity practices, a fundamental tenant of which is tools no longer supported must not be used by the organization. Another area of concern is the design of the FSW itself. What will be the necessary practices to make the software flexible, reliable, and maintainable for decades? What might be the role of artificial intelligence? Many current missions tend to see the number of updates fall off dramatically after the primary mission ends in a few years to a decade. This approach seems untenable for a primary mission lasting many decades. We explore these various concerns and suggest ways to deal with each. Finally, we will include early, middle, and late career perspectives from our authors.

Authors

Institutions

Publication Details

Published
2025-03-01
DOI
https://doi.org/10.1109/aero63441.2025.11068404
Primary Topic
Formal Methods in Verification
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Sustainability of Flight Software for Multi-Generational Time Periods

Paul B. Wood, M. Piquette, Robert Klar, Austin Dempsey
Formal Methods in Verification
article

Sustainability of Flight Software for Multi-Generational Time Periods

Paul B. Wood, M. Piquette, Robert Klar, Austin Dempsey
article en

Abstract

NASA and other organizations are beginning to seriously consider missions that will extend over such long periods of time that the teams that develop, maintain, and operate their assets will have a complete replacement of staff over the life of the mission. What are the impacts on sustaining and maintaining flight software (FSW) over long time periods? FSW development already suffers from staffing shortages because the programming languages taught in schools are not typically used for FSW; thus, new graduates tend to have limited exposure. Furthermore, languages such as C are now sufficiently out of vogue that new graduates may see investing time to become proficient using them as undesirable in the long run for their career. Staffing is only one concern. A related concern is sustainability of the development and test environment. Languages and operating systems are replaced over time. What if the FSW development environment is no longer supported in a few years? This situation is exacerbated by current cybersecurity practices, a fundamental tenant of which is tools no longer supported must not be used by the organization. Another area of concern is the design of the FSW itself. What will be the necessary practices to make the software flexible, reliable, and maintainable for decades? What might be the role of artificial intelligence? Many current missions tend to see the number of updates fall off dramatically after the primary mission ends in a few years to a decade. This approach seems untenable for a primary mission lasting many decades. We explore these various concerns and suggest ways to deal with each. Finally, we will include early, middle, and late career perspectives from our authors.

Southwest Research Institute (US), Laboratory for Atmospheric and Space Physics (US)
Responsible consumption and production
Openalex Percentile: Top 82%
Formal Methods in Verification
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.