Innovation and certification in aviation software
JD Kennedy, M Towhidnejad - … , Navigation and Surveillance …, 2017 - ieeexplore.ieee.org
Software safety is of critical importance to the ongoing success of the aviation industry. The
DO-178 standard is the de-facto standard for safe aviation software across different …
DO-178 standard is the de-facto standard for safe aviation software across different …
Risk-based alternatives to the DO-178C software design assurance process
EA Lester - 2015 IEEE/AIAA 34th Digital Avionics Systems …, 2015 - ieeexplore.ieee.org
RTCA Document DO-178C, Software Considerations in Airborne Systems and Equipment
Certification, and its predecessor DO-178B are regarded as the “gold standard” for aviation …
Certification, and its predecessor DO-178B are regarded as the “gold standard” for aviation …
Challenges and opportunities for software development and verification on military aircraft systems
SP Cook, G Haverkamp - AIAA Scitech 2020 Forum, 2020 - arc.aiaa.org
Software development and verification has become increasingly important for all aerospace
systems. The number of software lines of code in aerospace systems continues to increase …
systems. The number of software lines of code in aerospace systems continues to increase …
Dependability of Software of Unknown Pedigree: Case studies on unmanned aircraft systems
SP Cook, J Angermayer, A Lacher… - 2015 IEEE/AIAA 34th …, 2015 - ieeexplore.ieee.org
The use of Software of Unknown Pedigree (SOUP) in aviation systems presents uncertainty
about its dependability to perform a critical function safely and securely. While some …
about its dependability to perform a critical function safely and securely. While some …