Accession Number:

AD1083847

Title:

Flight Software Programming Language Selection: A Security Perspective

Descriptive Note:

Technical Report

Corporate Author:

Carnegie Mellon University Software Engineering Institute Pittsburgh United States

Report Date:

2018-01-01

Pagination or Media Count:

11.0

Abstract:

The Department of Defense hoped to solve the Programming Language Problem once and for all with Ada. While Ada has experienced its fair share of success, it did not become the one language to rule them all. This is in part due to the realization that language selection is a nuanced decision with many dimensions, including cost, schedule, staff experience, hardware, andthe focus of this papersecurity. We propose a high-level approach for evaluating programming language security based on an international standard ISOIEC 247722013. Our discussion is focused specifically on flight software for space vehicles. We present experiences with a real flight software system, discussing how a better-defined process around language selection might have precluded certain threats to cyber-resilience.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE