Flight Software Programming Language Selection: A Security Perspective
Carnegie Mellon University Software Engineering Institute Pittsburgh United States
Pagination or Media Count:
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.
- Computer Programming and Software