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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Pazandak, Paul (Autor:in) / Bertocci, Fabrizio (Autor:in) / Razet, Benoit (Autor:in) / Senese, Brian (Autor:in)


    Erscheinungsdatum :

    29.09.2024


    Format / Umfang :

    422033 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Towards a Qualifiable Space Cloud Approach

    Kosmidis, Leonidas / Trompouki, Matina Maria / Sole, Marc et al. | IEEE | 2024


    Self-contained space qualifiable optical contamination monitor

    Jarratt, R. V., Jr. / Flint, B. K. / Fancy, R. D. et al. | NTRS | 1987



    Self-Contained Space Qualifiable Optical Contamination Monitor

    Jarratt, R. V. / Flint, B. K. .. / Fancy, R . D. et al. | SPIE | 1987


    Space-qualifiable six-axis fiber alignment technique

    Mulder, J. / Asbury, C. / Gogna, P. | NTRS | 2003