Fielding Faster: Removing Time and Cost Barriers to Software Certification Using Qualifiable Code Generators

As avionics systems become increasingly complex, the demand for faster and cost-effective software development and certification processes has never been higher. This paper introduces a pioneering approach to software development in the avionics sector through the development of the first Tool Qualification Level (TQL)-1 qualifiable code generator for middleware binding code. Our tool, designed to support the Object Management Group^®(OMG®) Data Distribution Service (DDS™) middleware, addresses one of the critical hurdles to fielding systems faster in avionics systems, including flight control, navigation, sensor, weapon, and communication systems. By automating the generation of application-middleware binding code, the tool significantly reduces the manual review workload, streamlines the certification process, and promises substantial cost savings for both the Department of Defense (DoD) and commercial aviation sectors. Funded by DARPA and internal investment, and starting with an ISO 26262 qualification for automotive applications, our work demonstrates a strategic pathway toward achieving DO-178C DAL A certification. This advancement not only represents a significant leap in avionics software development but also sets a new standard for safety and reliability in critical systems. Results demonstrate that our code generator significantly streamlines the software certification process by reducing both the time and cost associated with certifying middleware binding code. It reduced the required certification artifacts and manual review workload by automating the generation of binding code and associated compliance evidence. Initial testing indicates a potential reduction in certification efforts by up to an order of magnitude, suggesting substantial cost savings and efficiency improvements for both DoD and commercial aviation sectors.